5 Ограничения целостности
В базе данных требуется зафиксировать
некоторое множество состояний как
отдельного отношения, так и некоторой
совокупности отношений, состояний,
адекватно отражающих сущности и связи
в предметной области. Это называется
«ограничением целостности» базы данных.
С алгебраической точки зрения
конкретное ограничение целостности
определяется алгебраическим тождеством:
A(R1,
R2,
… , Rm)=
«»
в данном случае это символ, обозначающий
пустое множество.
Примеры конкретных ограничений
целостности:
Nз
– ключ отношения
Студент:
Студент[Nз=Nз
& Фио#Фио & Nгр#Nгр]Студент
=
Целостность по
ссылкам:
Студент[Nгр]
\ Группа[Nгр] =
3. Целая гамма ограничений
целостности связана с запрещением каких
либо значений. Чаще всего это «NOT
NULL»:
Календарный_план[ВидОтч=””]
=
И так далее, т.е. любое структурное
ограничение может быть выражено
алгебраическим тождеством.
Щукин Б.А. Курс
«БД и ЭС: Теоретические основы баз
данных»