Дейталог

Cтраница 3

Нерекурсивные правила Дейталога обрабатываются с помощью отката, который заставляет Пролог-систему перебрать все ответы для правила. Рекурсивные правила обрабатываются с помощью рекурсивного вызова предиката до. [31]

Для превращения Дейталога и Пролога в языки баз данных требуется разработка новых систем, интегрирующих функции логического программирования, и систем баз данных. Для этой цели был предложен ряд альтернативных архитектур. [32]

В контексте Дейталога АЗМ можно сформулировать следующим образом: если факт логически не следует из множества дизъюнктов Дейталога, то заключаем, что отрицание этого факта выполнимо. [33]

В контексте чистого Дейталога ( разд. [34]

Ниже мы расширим чистый Дейталог таким образом, чтобы иметь возможность записывать отрицательные литералы в телах правил. Предположим, что унарные предикатные символы stud, und и grad выражают свойства быть студентом, быть неаспирантом и быть аспирантом соответственно. [35]

Иерархия выразительности различных версий Дейталога. [36]

Оказывается, что стратифицируемый Дейталог 1 по сравнению с инфляционным является более естественным и легким языком запросов. Формулирование запросов на инфляционном Дейталоге 1 может быть достаточно сложным. Кроме того, те запросы, которые можно выразить в инфляционной семантике, но нельзя выразить в стратифицируемой семантике, не очень существенны даже для перспективных приложений баз данных. Однако, чтобы достичь лучшего понимания этого вопроса, необходимы дополнительные исследования. [37]

Приведем классификацию правил Дейталога, которая используется в последующих разделах, где на основе класса правил заданной программы Дейталога будем выбирать методы оптимизации. [38]

При выполнении правила Дейталога со встроенными предикатами необходимо соблюдать следующий принцип: вычисление встроенного предиката откладывается до тех пор, пока все его переменные не будут связаны константами. Исключение здесь можно ( иногда даже нужно) сделать для предиката равенства. Предикат равенства можно вычислять, как только один из его аргументов либо является константой, либо связан константой. [39]

Продолжим определение синтаксиса Дейталога. Основным называется дизъюнкт, не содержащий переменных. [40]

Мы считаем программу Дейталога запросом, оперирующим над экстенсиональной базой данных и вычисляющим некоторый результат. [41]

Теперь семантика программ Дейталога определена строго. [42]

Использование АЗМ в чистом Дейталоге позволяет вывести некоторые отрицательные факты из множества дизъюнктов Дейталога S. [43]

Дейталога LP задана цель Дейталога. [44]

Сначала мы рассмотрим синтаксис Дейталога и введем несколько полезных понятий из области логического программирования и автоматического доказательства теорем. Затем строго определим теоретике-модельную семантику языка и представим полную и обоснованную теорию доказательства для Дейталога, которая непосредственно приводит к процедуре восходящих вычислений программ Дейталога. Мы рассмотрим также теорию неподвижной точки Дейталога и покажем, как программы Дейталога могут вычисляться обратным выводом при помощи нисходящего метода. [45]

Страницы: 1 2 3 4