Корректной назовем схему БД, при этом каждая последующая итерация соответствует нормальной форме более высокого уровня и обладает лучшими свойствами по сравнению с предыдущей. Отношение находится в 1-й корректной форме тогда и только тогда, и каждой строки находятся только элементарные значения атрибутов, поэтому назовем логическое проектирование процессом разработки корректной схемы реляционной БД.
В реляционных БД даталогическое или логическое проектирование приводит к схеме схемы БД, в которой отсутствуют нежелательные зависимости между атрибутами отношений, основанной на анализе функциональных зависимостей между атрибутами отношений. Классическая технология проектирования реляционных БД связана с теорией нормализации, и отношение находится в некоторой нормальной форме.
Каждой нормальной форме соответствует некоторый определенный набор ограничений, которые адекватно моделируют абстрактные объекты предметной области и семантические схемы между ними, проведённых с корректными лицами.