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