Cтраница 4
Строгое определение семантики программ Дейталога и различных алгоритмов вычислений дано в следующем разделе главы. [46]
При определении семантики программ Дейталога нас интересует не только абсолютная ( тавтологичная) истинность дизъюнктов и множеств дизъюнктов, нам необходимо установить обстоятельства, при которых некоторый факт F следует из множества S дизъюнктов Дейталога. Рассмотрим сначала следующее простое определение. [47]
При описании теоретико-модельной семантики чистого Дейталога мы использовали универсум Эрбрана, состоящий просто из символов констант ( гл. Для семантики LDL необходимо использовать обобщенный универсум Эрбрана U, который, кроме того, содержит сложные структуры с ограниченным уровнем вложенности без переменных и конечные множества таких структур. [48]
Теперь по аналогии с чистым Дейталогом ( разд. [49]
Безопасность общих запросов на Дейталоге рассматривается в [ Вап86Ь ], где программы, удовлетворяющие нашим достаточным условиям безопасности программ Дейталога ( разд. [50]
Отметим, что в чистом Дейталоге отсутствует возможность выражения арифметических операций. Поступая несколько вольно, для арифметических операторов и для операторов сравнения мы будем использовать встроенные предикаты ( гл. [51]
Дейталога, хотя трансляция из Дейталога в RA является более полезной. [52]