Дедуктивная база данных

— Дедуктивная база данных это система баз данных , которая может делать выводы (т. е. заключать дополнительные факты) на основе правил и фактов, хранящихся в ее базе данных. Журнал данных — это язык, который обычно используется для указания фактов, правил и запросов в дедуктивных базах данных. Дедуктивные базы данных возникли из-за желания объединить логическое программирование с реляционными базами данных для создания систем, которые поддерживают мощный формализм, при этом остаются быстрыми и способны работать с очень большими наборами данных. Дедуктивные базы данных более выразительны, чем реляционные базы данных, но менее выразительны , чем системы логического программирования, такие как Пролог . В последние годы дедуктивные базы данных нашли новое применение в интеграции данных , извлечении информации , работе в сети, анализе программ , безопасности и облачных вычислениях .

Дедуктивные базы данных повторно используют многие концепции логического программирования; правила и факты, указанные в Datalog, очень похожи на те, которые написаны на Прологе, но есть несколько важных отличий:

• Чувствительность к порядку и процедурность. В Прологе выполнение программы зависит от порядка правил в программе и порядка частей правил; эти свойства используются программистами для создания эффективных программ. Однако в языках баз данных (таких как SQL или Datalog) выполнение программы не зависит от порядка правил и фактов.
• Специальные предикаты. В Прологе программисты могут напрямую влиять на процедурную оценку программы с помощью специальных предикатов, таких как Cut . Это не имеет соответствия в дедуктивных базах данных.
• Функциональные символы. Языки логического программирования позволяют функциональным символам создавать сложные символы. Это не допускается в дедуктивных базах данных.
• Обработка, ориентированная на кортежи : в дедуктивных базах данных используется обработка, ориентированная на множества, тогда как языки логического программирования концентрируются на одном кортеже за раз.

Дальнейшее чтение

• Автор: Эрве Галлер, Джек Минкер , Жан-Мари Николя: Логика и базы данных: дедуктивный подход . Издательство: АКМ. дои: 10.1145/356924.356929
• Автор: Стефано Чери , Георг Готтлоб , Летиция Танка: Логическое программирование и базы данных . Издательство: Спрингер-Верлаг. ISBN   978-0-387-51728-5
• Автор: Рамез Эльмасри и Шамкант Навате: Основы систем баз данных (3-е издание). Издатель: Эддисон-Уэсли Лонгман. ISBN   0-201-54263-3