Исчисление - домен
Cтраница 1
Исчисления доменов и кортежей по своей сути - непроцедурные системы запросов: они выражают только то, каким должен быть ответ на запрос, а не то, как его вычислить. С другой стороны, алгебраические выражения можно вычислять непосредственно, если только существуют процедуры для каждой использованной операции. Таким образом, перевод запроса в алгебраическое выражение - это средство, позволяющее определить, каким образом должно вычисляться значение запроса. Отметим, что процессор запросов использует не те методы перевода, которые встречались в теоремах гл. [1]
Найдите выражения исчисления доменов, которые отвечают на вопросы из упр. [2]
Как показывает структура исчислений доменов и кортежей, имеется тесная связь между логикой предикатов и базами данных. Галлэр и Минкер редактировали сборник статей ( Gallaire, Minker [1979]), посвященный этой связи. Джекобе в работах Jackobs [ 1979, 1980а, 1980Ь) широко исследовал использование логики в теории баз данных. [3]
 |
Пары название части. - номер части.| Число используемых кресел. [4] |
Если х и у - переменные исчисления доменов, 9 - знак сравнения, ас - произвольная постоянная, то xQy, xQc и cQx - атомы. [5]
 |
Пары название части-номер части.| Число используемых кресел ( ТИП-САМОЛЕТА ЧИСЛО. [6] |
Если х и у - переменные исчисления доменов, в - знак сравнения, ас - - произвольная постоянная, то хВу, хбс и cQx - атомы. [7]
Определим также класс безопасных выражений исчисления доменов. [8]
Найдите выражения, эквивалентные выражениям исчисления доменов из упр. [9]
Для обсуждения понятия разрешенной формулы исчисления доменов необходимо ввести типы переменных. Тип переменной х в формуле / - это или домен из Ф, или неопределенная величина. Предположим опять для простоты изложения, что домены двух атрибутов не пересекаются или совпадают. Формально определять тип переменной и понятие разрешенной формулы мы не будем. Как и в исчислении кортежей, разрешенность - это просто требование согласования типов переменной в подформулах, а также требование, чтобы переменная, связываемая квантором, входила свободно в формулу, следующую за квантором. [10]
Определим также класс безопасных выражений исчисления доменов. [11]
Найдите выражения, эквивалентные выражениям исчисления доменов из упр. [12]
Для обсуждения понятия разрешенной формулы исчисления доменов необходимо ввести типы переменных. Тип переменной х в формуле / - это или домен из 2), или неопределенная величина. Предположим опять для простоты изложения, что домены двух атрибутов не пересекаются или совпадают. Формально определять тип переменной и понятие разрешенной формулы мы не будем. Как и в исчислении кортежей, разрешенность - это просто требование согласования типов переменной в подформулах, а также требование, чтобы переменная, связываемая квантором, входила свободно в формулу, следующую за квантором. [13]
Теорема 10.4. Для любого выражения Е исчисления доменов найдется безопасное выражение F этого исчисления, которое эквивалентно Е при ограниченной интерпретации. [14]
Лемма 10.2. Если Е - безопасное выражение исчисления доменов, то ограниченная и неограниченная интерпретации для Е совпадают. [15]
Страницы: 1 2 3