Искусственный интеллект

Язык любого исчисления, используемого для формальной постановки задачи запроса и дедуктивного вывода для получения ответа на запрос, обычно называют Дейталогом (Datalog), а описание на нем Дейталог-программой. Часть Дейталог-программы, не содержащую фактов, называют Дейталог-правилами. Теперь реляционной базой данных назовем пару, состоящую из множества таблиц (конкретизированных схем отношений) и Дейталог-правил. Приведем пример реляционной базы данных, содержащей одну таблицу пункты (табл. 2.9) и два Дейталог-правила. Таблица 2.9 пункт_отпра вленш пункт_назначения Москва Тула Тула Калуга Калуга Москва Дейталог-правила: пункты (пунктотправления, пункт_назначения) з z> маршрут (пунктотправления, пункт_назначения), пункты (пунктотправления, промежуточныйпункт) л 230 10.5. Переход от Дейталога к SQL л железнодорожный_маршрут (промежуточный_пункт, пункт_назначения) л л пункт_отправления * пункт назначения z> маршрут (пункт_отправления, пункт_назначения).