Adeductive database is adatabase system that can makedeductions (i.e. conclude additional facts) based onrules andfacts stored in its database.Datalog is the language typically used to specify facts, rules and queries in deductive databases. Deductive databases have grown out of the desire to combinelogic programming withrelational databases to construct systems that support a powerful formalism and are still fast and able to deal with very large datasets. Deductive databases are more expressive than relational databases but lessexpressive than logic programming systems such asProlog. In recent years, deductive databases have found new application indata integration,information extraction, networking,program analysis, security, andcloud computing.[1]
Deductive databases reuse many concepts from logic programming; rules and facts specified in Datalog look very similar to those written in Prolog,[2] but there are some important differences:
{{citation}}: CS1 maint: work parameter with ISBN (link) | This articleneeds additional citations forverification. Please helpimprove this article byadding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Deductive database" – news ·newspapers ·books ·scholar ·JSTOR(January 2009) (Learn how and when to remove this message) |
