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