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
ChronoLog
ChronoLog is an interval timestamped temporal deductive database system
running as a frontend to the commercial (relational) database system Oracle.
Temporal requests (i.e., ChronoLog-commands) are compiled into (sequences)
of SQL-commands that are executed by the commercial database backend. Special
care was given to the design of a user-friendly data manipulation language
that supports temporal counterparts of all relational algebra operators.
Furthermore, ChronoLog features
- ChronoLog, a logic-based data manipulation language
- facts, rules, and integrity constraints
- three time dimensions: valid time (vt), user-defined time (udt), and
transaction time (tt)
- temporal join, temporal negation, temporal disjunction, temporal
selection, and temporal projection
- enforcement of coalesced (i.e., maximal) valid-time intervals
- a temporally complete query language
- temporal update operations
- historical operations
- ChronoSQL, a SQL-based temporal query language
- a terminal interface
- a graphical interface (Tcl, Tk, and Tcl-DP based)
- full DBMS functionality (all data-related computations are performed
by Oracle)
visit
ChronoLog
ChronoLog was visited : 98 times
Loading .....