Программа - дейталог - Большая Энциклопедия Нефти и Газа, статья, страница 1
Существует три способа сделать что-нибудь: сделать самому, нанять кого-нибудь, или запретить своим детям делать это. Законы Мерфи (еще...)

Программа - дейталог

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]



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