Исчисление - домен
Cтраница 3
 |
Пары название части. - номер части.| Число используемых кресел. [31] |
Если / - формула, то ух ( A) f тоже формула, где А - - атрибут из U, ax - переменная исчисления доменов. [32]
Если / - формула, то gx ( A) f тоже формула, где А - атрибут из U, а х - переменная исчисления доменов. [33]
Если / - формула, то jx ( A) f тоже формула, где А - атрибут из U, а х - переменная исчисления доменов. [34]
Подформула g есть атом вида х Q у, х Q x, х Q с или с 9 х, где х и у - переменные исчисления доменов, ас - постоянная из домена. [35]
Подформула g есть атом вида х Э у, х 9 х, х 6 с или с 0 х, где х и у - переменные исчисления доменов, ас - постоянная из домена. [36]
В этом разделе будет показано, что реляционная алгебра с дополнением не менее выразительна, чем исчисление доменов с неограниченной интерпретацией, а реляционная алгебра ( без дополнения) не менее выразительна, чем исчисление доменов с ограниченной интерпретацией. [37]
В тех случаях, когда переменные связываются кванторами, полезно использовать домены, а не атрибуты для обозначения типов. Однако впоследствии, когда исчисление доменов будет сводиться к реляционной алгебре, будет полезно работать с атрибутами. [38]
Хотя их выразительная сила не столь велика, как у выражений исчисления доменов, они все же могут выразить много полезных запросов. Кроме того, они встречаются как подвыражения в выражениях исчисления доменов. Причина интереса к ним, как и к табло запросов, кроется в том, что для них возможна эффективная оптимизация. [39]
Будет рассмотрено пять языков: ISBL - язык системы PR TV; QUEL-язык системы INGRES; SQL-язык системы System R; QBE, используемый как язык интерфейса высокого уровня в ряде систем управления базами данных; и, наконец, PIQUE - язык экспериментальной системы PITS. Язык ISBL основан на реляционной алгебре, QUEL и SQL - на исчислении кортежей, a QBE представляет собой язык, основанный на исчислении доменов, но с синтаксисом, напоминающим синтаксис табличных запросов. Язык PIQUE похож на исчисление кортежей, но обеспечивает интерфейс со схемой универсального отношения с помощью W-функций. [40]
Будет рассмотрено пять языков: ISBL - язык системы PRTV; QUEL-язык системы INGRES; SQL-язык системы System R; QBE, используемый как язык интерфейса высокого уровня в ряде систем управления базами данных; и, наконец, PIQUE - язык экспериментальной системы PITS. Язык ISBL основан на реляционной алгебре, QUEL и SQL - на исчислении кортежей, a QBE представляет собой язык, основанный на исчислении доменов, но с синтаксисом, напоминающим синтаксис табличных запросов. Язык PIQUE похож на исчисление кортежей, но обеспечивает интерфейс со схемой универсального отношения с помощью W-функций. [41]
В этом разделе будет показано, что реляционная алгебра с дополнением не менее выразительна, чем исчисление доменов с неограниченной интерпретацией, а реляционная алгебра ( без дополнения) не менее выразительна, чем исчисление доменов с ограниченной интерпретацией. Также окажутся одинаково выразительными реляционная алгебра и исчисления доменов и кортежей при ограниченной интерпретации, поэтому исчисления доменов и кортежей при ограниченной интерпретации полны. [42]
Страницы: 1 2 3