Формальный
аппарат ограничений на формирование отношений (таблиц), который позволяет
устранить дублирование, обеспечивает непротиворечивость хранимых в базе данных,
уменьшает трудозатраты на ведение (ввод, корректировку) базы данных называют….