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кт(ИИ) 
      Компьютерные науки
    Реферат-Т 
    В статье описаны дедуктивная БД, процесс вычисления запросов и оптимизация на
    базе модели логических программ. Рассмотрена проблема вычисления ответов на
    запросы в дедуктивных БД. Данная проблема сводится к построению моделей
    логических программ, содержащих набор логических правил, в формулировках
    которых отсутствуют функции, но могут использоваться отрицания, и набор фактов
    как область интерпретации для модели. Предложен способ оптимизации построения
    ответа, позволяющий избегать создания невозможных вариантов модели и выявлять
    лишь те ложные факты, которые существенны для построения окончательной модели.
    Обсуждена конкретная реализация этого способа оптимизации.