Дедуктивная база данных
-
Основы дедуктивных баз данных
- Дедуктивные базы данных — это системы, которые могут делать выводы на основе правил и фактов.
- Datalog — это язык для определения фактов, правил и запросов в дедуктивных базах данных.
- Дедуктивные базы данных объединяют логическое программирование с реляционными базами данных.
-
Применение дедуктивных баз данных
- В последние годы дедуктивные базы данных используются в интеграции данных, анализе программ и других областях.
-
Отличия от логического программирования
- В дедуктивных базах данных выполнение программы не зависит от порядка следования правил и фактов.
- В дедуктивных базах данных нет специальных предикатов и функциональных символов, как в Prolog.
- Обработка данных в дедуктивных базах данных ориентирована на множество, а не на отдельные кортежи.
-
Рекомендации и дополнительная литература
- Статья содержит рекомендации по дальнейшему чтению и список авторов и изданий.
- Статья также является заглушкой, и читатели могут помочь Википедии, расширив её.