Welcome to OpenDEN
Custom Search
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
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. .....
Loading .....
Recently Viewed Categories
File Viewers, Explorers
CASE Tools
News Aggregation, RSS (Handhelds)
Format Conversion, ETL
Flow Charting, Mind mapping
Recently Viewed Products
