Deductive Databases
Deductive Database:
A deductive database system is a database system which can make deductions (ie: infer additional rules or facts) based on rules and facts stored in the (deductive) database.Deductive database systems:* Mainly deal with rules and facts.* Use a declarative language (such as prolog) to specify those rules and facts.* Use an inference engine which can deduce new facts and rules from those given.
From:en.wikipedia.org/wiki/Deductive_database
bddbddb
bddbddb stands for BDD-Based Deductive DataBase. It is an implementation of Datalog, a declarative programming language similar to Prolog for talking about relations. What makes bddbddb unique is that it represents the relations using binary decision diagrams (BDDs). BDDs are a data structure that can efficiently represent large relations and provide efficient set operations. This allows bddbddb to efficient represent and operate on extremely large relations - relations that are too large to represent explicitly.
visit
bddbddb
bddbddb was visited : 134 times
Loading .....