Deductive database là gì?

Cơ sở dữ liệu suy diễn (deductive database) là một hệ thống cơ sở dữ liệu (database) đưa ra kết luận về dữ liệu của nó dựa trên một tập hợp các quy tắc (rule) và dữ kiện (fact) được xác định rõ ràng. Loại cơ sở dữ liệu này được phát triển để kết hợp lập trình logic (logic programming) với các hệ quản trị cơ sở dữ liệu quan hệ (relational database management system). Thông thường, ngôn ngữ được sử dụng để xác định các quy tắc và dữ kiện là ngôn ngữ lập trình logic (logical programming language) Datalog.