Расширение реляционной модели для лучшего отражения семантики

Реляционная алгебра (без учета неопределенных значений)


Поскольку отношения являются множествами, здесь применимы обычные теоретико-множественные операции, такие как UNION (объединение), INTERSECTION (пересечение) и SET DIFFERENCE (вычисление разности множеств). Однако их применение ограничивается только парами отношений, совместимых по объединению (union-compatible), т.е. таких отношений, между атрибутами которых имеется взаимно-однозначное соответствие, причем соответствующие атрибуты определены на одном и том же домене. Благодаря этому ограничению гарантируется, что результат является отношением. Операция CARTESIAN PRODUCT (вычисление декартова произведение) применима без какого-либо ограничения.

Определим теперь операции специально для манипулирования n-арными отношениями. Далее R и S обозначают отношения; A, B1, B2 и C – совокупности атрибутов; c – кортеж соответствующей степени и с соответствующими доменами.



Содержание раздела