ВВЕДЕНИЕ В СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ



Отношение - часть 2


Во-вторых. За исключением крайнего случая, когда отношение есть само декартово произведение

, отношение включает в себя не все возможные кортежи из декартового произведения. Это значит, что для каждого отношения имеется критерий, позволяющий определить, какие кортежи входят в отношение, а какие - нет. Этот критерий, по существу, определяет для нас смысл (семантику) отношения.

Действительно, каждому отношению можно поставить в соответствие некоторое логическое выражение

, зависящее от n параметров (n-местный предикат) и определяющее, будет ли кортеж
принадлежать отношению
. Это логическое выражение называют предикатом отношения
. Более точно, кортеж
принадлежит отношению
тогда и только тогда, когда предикат этого отношения
принимает значение "истина". В свою очередь, каждый n-местный предикат задает некоторое n-арное отношение. Таким образом, существует взаимно однозначное соответствие между n-арными отношениями и n-местными предикатами.

Если это не вызывает путаницы, удобно и отношение, и его предикат обозначать одной и той же буквой. Например, отношение

имеет предикат
.




Содержание  Назад  Вперед