Cтраница 1
Дейталог возник как альтернатива языку Пролог в контексте дедуктивных баз данных, поскольку Пролог в качестве языка баз данных имеет ряд недостатков. [1]
Дейталог первоначально задуман как язык запросов. [2]
Дейталог сконструирован для использования в качестве языка баз данных. Он является непроцедурным, множественным, нечувствительным к порядку языком и не имеет специальных предикатов. [3]
Дейталог представляет собой сравнительно недавно разработанный язык логического программирования позволяющий выражать сложные запросы к базе данных. [4]
Дейталога из S он рассматривает каждую возможную комбинацию фактов и проверяет, совпадают ли ( унифицируются ли) эти факты с литералами в правой части правила. [5]
Дейталога требует построения дерева доказательств. Построение этого дерева можно выполнить двумя способами: 1) снизу вверх ( восходящий метод), начиная от существующих фактов и производя новые факты ( приходя, таким образом, к заключениям) и 2) сверху вниз ( нисходящий метод), пытаясь проверить истинность предпосылок, которые необходимы для проверки истинности заключения. Это различие введено в главе 7: алгоритм INFER, который вычисляет результат выполнения программы Дейталогас помощью прямого вывода, является примером восходящего метода, а процедуры резолютивного опровержения являются примерами нисходящего выполнения. Ниже мы обсудим особенности этих двух подходов с точки зрения оптимизации. [6]
Дейталога, хотя трансляция из Дейталога в RA является более полезной. [7]
Дейталога 1: какую из минимальных моделей Эрбрана следует выбрать. [8]
Дейталога 1 ассоциируется специальная минимальная модель Эрбрана. Этот подход все еще очень близок к АЗМ, другими словами, он ее аппроксимирует. Мы также коротко обсудим другую семантику, не требующую минимальности модели. Этот подход, называемый инфляционной семантикой, меньше связан с АЗМ. [9]
Дейталога 1 S существует несколько минимальных моделей. [10]
Дейталога 1 теперь зависит от синтаксиса программы, а не исключительно от ее логической семантики. Для чистого Дейталога справедливо следующее утверждение: множества дизъюнктов, соответствующие эквивалентным логическим формулам, имеют идентичные минимальные модели Эрбрана. [11]
Дейталога наименьшие неподвижные точки для Т и Т совпадают. [12]
Дейталога 1 основаны на простой стратификации ( гл. В настоящее время локальная стратификация все еще является темой, открытой для исследований. Не исследована, в частности, эффективность алгоритмов стратификации и алгоритмов вычисления для локально - стратифицируемых программ. Скорее всего, эти алгоритмы гораздо менее эффективны, чем соответствующие алгоритмы для простой стратификации. [13]
Дейталога 1 этот подход является не вполне удовлетворительным. [14]
Дейталога 1 Р, которая не является локально стратифицируемой, но имеет совершенную модель. [15]