Дейталог

Cтраница 2

Дейталога из контекста всегда понятно, яляется ли данный символ предикатом или константой. Dn в множество значений истинности true, false, где п - положительное целое. [16]

Дейталога, используя модели Эрбрана. [17]

Дейталога OUTPUT: множество всех фактов, которые могут быть выведены за один шаг с помощью ЭП. [18]

Методы оптимизации. [19]

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

Дейталога Cond содержит только равенства. [21]

Дейталоге можно выразить невыразимые в RA рекурсивные запросы. Это справедливо для большинства рекурсивных программ Деиталога. [22]

Синтаксически Дейталог напоминает чистый Пролог. Все прологовские правила, приведенные в предыдущем разделе для представления запросов и ограничений, являются также правильными правилами Деиталога. [23]

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

Программа Дейталога, определяющая более одного интенсионального отношения, порождает систему уравнений реляционной алгебры. [25]

В чистом Дейталоге появление знака отрицания ( - 0 не допускается. Однако, приняв аксиому замкнутости мира ( АЗМ), можно вывести отрицательные факты из множества дизъюнктов чистого Дейталога. Заметим, что АЗМ не является универсальным логическим правилом, это всего лишь принцип, который можно использовать только в некоторых специальных ситуациях. [26]

Конечно, стратифицируемый Дейталог 1 строго более выразителен, чем чистый Дейталог. [27]

Поддерживается также чистый Дейталог. С вычислительной точки зрения оператор замыкания системы ALGRES-PREFIX имеет достаточную выразительную мощность для поддержки рекурсивных запросов Дейталога. Рассматривается включение множеств и отрицаний. [28]

Модифицируйте процессор Дейталога, построенный в соответствии с упр. [29]

Определите правила Дейталога, которые соответствуют следующей системе алгебраических уравнений. [30]

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