Алгоритмы обработки запросов к дедуктивным базам данных и реализация алгоритма
11
Рис. 4.
Функция обработки правила
Рис. 5.
Псевдокод реализации алгоритма QSQ
Сначала множества
Q
и
P
— пустые. Далее вызывается функция
QSQ для запроса
) ,(
Xap
. Так как
Q Xap
∉
) ,(
, начинается выполне-
ние алгоритма. Сначала в
Q
добавляется запрос, а в
P
— результа-
ты, уже хранящиеся в БД:
)} ,({
Xap Q
=
,
)} ,({
bap P
=
. Функция
getRules
возвращает единственное правило:
) , ( ), ,( :) ,(
YZpZap Yap
−
.
Начинается обработка правила.
Рассматриваем предикат
) ,(
Yap
. Данный предикат требует уточ-
нения, поэтому для него вызывается алгоритм QSQ, который сразу
же завершается, поскольку в
Q
уже содержится такой предикат.
Следовательно,
Q
и
P
— не изменились. Теперь, получив все факты
θ
(
)
p
⋅ θ
′θ
′θ
