DatabasesDeductive 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
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
6 products available, Sorted alphabetically
bddbddb
bddbddb stands for BDD-Based Deductive DataBase. It is an implementation of Datalog, a declarative programming language similar to .....
Platform : java
bddbddb stands for BDD-Based Deductive DataBase. It is an implementation of Datalog, a declarative programming language similar to .....
ChronoLog
ChronoLog is an interval timestamped temporal deductive database system running as a frontend to the commercial (relational) dat .....
Platform : Sun Solaris, DEC Ultrix
ChronoLog is an interval timestamped temporal deductive database system running as a frontend to the commercial (relational) dat .....
Coral
The objective of the CORAL project is to develop a robust and efficient deductive database system, and to investigate its use in v .....
Platform : Unix like
The objective of the CORAL project is to develop a robust and efficient deductive database system, and to investigate its use in v .....
DES
The Datalog Educational System (DES) is a free, multiplatform, Prolog-based implementation of a basic deductive database with stra .....
Platform : Win 32, Unix like
The Datalog Educational System (DES) is a free, multiplatform, Prolog-based implementation of a basic deductive database with stra .....
FLORID
FLORID (F-LOgic Reasoning In Databases) is a deductive object-oriented database system employing F-Logic as data definition and qu .....
Platform : Unix like
FLORID (F-LOgic Reasoning In Databases) is a deductive object-oriented database system employing F-Logic as data definition and qu .....
XSB
XSB is a Logic Programming and Deductive Database system for Unix and Windows. .....
Platform : Win 32, Unix Like
XSB is a Logic Programming and Deductive Database system for Unix and Windows. .....
A comparison between deductive and object-oriented database systems
comparing the deductive and object-oriented approaches to new database systems.
comparing the deductive and object-oriented approaches to new database systems.
The MYDDAS Project: Using a Deductive Database for Traffic Characterization
deductive database system by coupling Yap Prolog with MySQL[1].
deductive database system by coupling Yap Prolog with MySQL[1].
Deductive Databases using prolog
Shows how simple examples of deductive databases can be represented in Prolog, and the limitations of Prolog.
Shows how simple examples of deductive databases can be represented in Prolog, and the limitations of Prolog.
