Дедуктивная база данных является системой базы данных , которая может сделать выводы (т.е. заключить дополнительные факты) на основе правил и фактах , хранящихся в (дедуктивные) баз данных. Datalog - это язык, который обычно используется для определения фактов, правил и запросов в дедуктивных базах данных. Дедуктивные базы данных выросли из желания объединить логическое программирование с реляционными базами данных для создания систем, поддерживающих мощный формализм, но при этом быстрых и способных работать с очень большими наборами данных. Дедуктивные базы данных более выразительны, чем реляционные базы данных, но менее выразительнычем системы логического программирования. В последние годы дедуктивные базы данных, такие как Datalog, нашли новое применение в интеграции данных , извлечении информации , создании сетей, анализе программ, безопасности и облачных вычислениях. [1]
Дедуктивные базы данных повторно используют многие концепции из логического программирования; правила и факты, указанные в дедуктивном языке баз данных Datalog, очень похожи на таковые в Prolog . Однако важные различия между дедуктивными базами данных и логическим программированием:
- Чувствительность к порядку и процедурность: в Prolog выполнение программы зависит от порядка правил в программе и от порядка частей правил; эти свойства используются программистами для создания эффективных программ. Однако в языках баз данных (таких как SQL или Datalog) выполнение программы не зависит от порядка правил и фактов.
- Специальные предикаты: в Prolog программисты могут напрямую влиять на процедурную оценку программы с помощью специальных предикатов, таких как cut , это не имеет соответствия в дедуктивных базах данных.
- Функциональные символы: языки программирования логики позволяют функциональным символам создавать сложные символы. Это запрещено в дедуктивных базах данных.
- Кортеж ориентированных обработки: Дедуктивные базы данных используют установить ориентированную обработку в то время как языки программирования логики сосредоточиться на один кортеж , в то время.
Ссылки [ править ]
 | Эта статья требует дополнительных ссылок для проверки . ( январь 2009 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
Дальнейшее чтение [ править ]
- Автор: Эрве Галлер, Джек Минкер , Жан-Мари Николя: Логика и базы данных: дедуктивный подход . Издатель: ACM. DOI: 10.1145 / 356924.356929
- Автор: Стефано Чери , Георг Готлоб , Летиция Танка: логическое программирование и базы данных . Издатель: Springer-Verlag. ISBN 978-0-387-51728-5
- Автор: Рамез Эльмасри и Шамкант Навате: Основы систем баз данных (3-е издание). Издатель: Аддисон-Уэсли Лонгман. ISBN 0-201-54263-3
