Исчисление - домен
Cтраница 2
Перевод выражения Е исчисления кортежей на язык исчисления доменов будет проводиться прямолинейно. Каждая входящая в / переменная у исчисления кортежей соответствует некоторой схеме отношения S, причем либо у входит в ЗУ ( S) или W ( S), либо у х, a S R. At) Qa и аду ( At), где а или постоянная, или другая компонента исчисления кортежей на ytQa и aQyt соответственно. [16]
Поэтому условие s2 из определения безопасного выражения исчисления доменов выполнено для F. Аналогично может быть показано, что выполнены условия si и s3 этого определения. [17]
В следующей теореме используется некоторое обобщение выражений исчисления доменов с более широким множеством атомов, чем обычно. А именно, пусть г - отношение над схемой А. [18]
Лемма 10.2. Если Е - безопасное выражение исчисления доменов, то ограниченная и неограниченная интерпретации для Е совпадают. [19]
Перевод выражения Е исчисления кортежей на язык исчисления доменов будет проводиться прямолинейно. Каждая входящая в / переменная у исчисления кортежей соответствует некоторой схеме отношения 5, причем либо у входит в ЗУ ( S) или уУ ( S), либо у х, a S R. Заменим каждый атом г ( у) на г ( у у. Лг) Оа и аду ( Лг), где а или постоянная, или другая компонента исчисления кортежей на г / гва и а6г /; соответственно. [20]
Поэтому условие s2 из определения безопасного выражения исчисления доменов выполнено для F. Аналогично может быть показано, что выполнены условия si и s3 этого определения. [21]
В следующей теореме используется некоторое обобщение выражений исчисления доменов с более широким множеством атомов, чем обычно. [22]
Подстановка постоянной с из домена вместо переменной х исчисления доменов, свободно входящей в формулу /, результат которой обозначается как / ( с / х), определяется так же, как и в исчислении кортежей. Каждое свободное вхождение х заменяется на с, после этого атомы, целиком состоящие из постоянных, заменяются на булевы постоянные истина и ложь по известным правилам. [23]
Подстановка постоянной с из домена вместо переменной х исчисления доменов, свободно входящей в формулу f, результат которой обозначается как / ( с / х), определяется так же, как и в исчислении кортежей. Каждое свободное вхождение х заменяется на с, после этого атомы, целиком состоящие из постоянных, заменяются на булевы постоянные истина и ложь по известным правилам. [24]
Мы также коротко рассмотрим конъюнктивные запросы, которые образуют подкласс выражений исчисления доменов. Конъюнктивные запросы сходны с табло запросов и, так же как и табло, представляют собой прекрасное средство проверки эквивалентности и выполнения преобразований. [25]
Целевой список представляет собой последовательность компонент переменных, напоминающую ту часть выражения в исчислении доменов, что расположена слева от вертикальной черты. [26]
В этом разделе будет показано, что реляционная алгебра с дополнением не менее выразительна, чем исчисление доменов с неограниченной интерпретацией, а реляционная алгебра ( без дополнения) не менее выразительна, чем исчисление доменов с ограниченной интерпретацией. [27]
Теорема 10.5. Пусть Е - выражение исчисления кортежей, a F - полученное из Е указанным выше образом выражение исчисления доменов. [28]
 |
Пары название части. - номер части.| Число используемых кресел. [29] |
Если / - формула, то з ( Л) / тоже формула, где А - атрибут из U, а х - переменная исчисления доменов. [30]
Страницы: 1 2 3