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


Расширения алгебры, допускающие неопределенные значения - часть 4


Однако отождествление кортежей для удаления дубликатов является операцией более низкого уровня детализации, чем сравнение по равенству при вычислении условий выборки. Поэтому здесь можно принять иное правило. Следствия для UNION, INTERSECTION и DIFFERENCE иллюстрируются ниже.

 R   S  RS RS RS

ω ω ω ω ω ω ω ω u ω u ω u ω u ω u 1 u 1 u 1 u 1 ω 1 ω 1 ω 1

Рассмотрим теперь влияние этого типа неопределенного значения на остальные операции реляционной алгебры. Операция CARTESIAN PRODUCT (декартово произведение) этому влиянию не подвержена. Операция PROJECTION (проекция ) ведет себя, как и ожидалось, если помнить, как применяется правило отсутствия дубликатов к кортежам с компонентами, имеющими неопределенное значение. Следующие примеры иллюстрируют операцию проекции:

R R[B, C] R[C]  A B C    B C     C  

u ω ω ω ω ω

v 1 ω 1 ω

ω ω 1 ω 1 1 x 1 ω

y ω 1

Операция THETA-JOIN (тета-соединение) производит конкатенацию пар кортежей при условии, что удовлетворяется некоторое заданное условие θ, налагаемое на некоторые компоненты этих кортежей. При вычислении этого условие для любой возможной пары кортежей вырабатывается истинностное значение F, ω или T. Мы оставляем лишь операцию соединения, конкатенирующую только такие пары кортежей, для которых при вычислении условия вырабатывается значение T и называем его TRUE THETA JOIN (тета-соединение по "истине"). Кроме того, мы вводим операцию MAYBE THETA JOIN (тета-соединение "может быть"), конкатенирующую только те пары кортежей, для которых при вычислении заданного условия вырабатывается ω.

Версия MAYBE ("может быть") некоторой операции обозначается путем помещения символа ω после тета-символа (например, =ω) или символа операции (например, ÷ω).




Начало  Назад  Вперед



Книжный магазин