Leone N., Rullo P. Safe computation of the well-founded semantics of DATALOG queries // Information Systems.-1992.-v.17.-N 1.-P. 17-31.
РусНазваниеПубликации=Надежное вычисление точной семантики запросов в дедуктивных БД. РУБРИКИ
Интегрир.пакеты и СУБД Искусствен.интеллeкт(ИИ) Компьютерные науки
Реферат-Т
В статье описаны дедуктивная БД, процесс вычисления запросов и оптимизация на
базе модели логических программ. Рассмотрена проблема вычисления ответов на
запросы в дедуктивных БД. Данная проблема сводится к построению моделей
логических программ, содержащих набор логических правил, в формулировках
которых отсутствуют функции, но могут использоваться отрицания, и набор фактов
как область интерпретации для модели. Предложен способ оптимизации построения
ответа, позволяющий избегать создания невозможных вариантов модели и выявлять
лишь те ложные факты, которые существенны для построения окончательной модели.
Обсуждена конкретная реализация этого способа оптимизации.