Новая реляционная алгебра

Введение

В четвертой главе предлагается новая реляционная алгебра, которую Дейт и Дарвен (Д&Д) называют A - двойной рекурсивный акроним от ALGEBRA, что, в свою очередь, раскрывается в "A Logical Genesis Explains Basic Relational Algebra". Основная цель, которая преследовалась при разработке алгебры A, состояла в том, чтобы более четко показать связь этой дисциплины с логикой первого порядка.

Алгебра A отличается от оригинальной алгебры Кодда четырьмя основными аспектами:

Операция декартова произведения (TIMES) заменена операцией естественного соединения, которую, подчеркивая наличие двойника этой операции в логике предикатов, Д&Д называют просто >AND<. TIMES становится частным случаем >AND<. Замечание: имена операций алгебры A обрамляются символами ">" и "<", чтобы отличать их от соответствующих имен операций логики предикатов и Tutorial D. Имя >AND< не должно вводить в заблуждение, конечно, оно обозначает реляционную операцию (ее результатом является отношение), в то время как ее двойник из логики предикатов and является логической операцией (возвращает истинностное значение). Аналогичные замечания относятся и к операциям >OR< и >NOT<.

Операция UNION заменена более общей операцией >OR<, для применения которой не требуется совпадение заголовков отношений-операндов. UNION становится частным случаем >OR<.

В алгебру включена операция реляционного дополнения >NOT<. Наличие этой операции позволяет исключить операцию вычитания (MINUS), которая становится частным случаем комбинации >AND< и >NOT<.

Д&Д обходятся без операций restrict (WHERE), EXTEND и SUMMARIZE, поскольку эти операции являются частным случаем >AND<.

Кроме перечисленных трех операций в состав алгебры A входят операции >RENAME<, >REMOTE< и >COMPOSE<, а также операция транзитивного замыкания >TCLOSE<.

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