Deductive Databases

Some articles on deductive databases, databases, deductive database, database, deductive:

Jack Minker - Career
... Minker is one of the founders of the area of deductive databases and disjunctive logic programming ... to semantic query optimization and to cooperative and informative answers for deductive databases ... He has also developed a theoretical basis for disjunctive databases and disjunctive logic programs, developing the Generalized Closed World Assumption (GCWA) ...
Deductive Database
... A Deductive database is a database system that can make deductions (i.e ... facts) based on rules and facts stored in the (deductive) database ... Datalog is the language typically used to specify facts, rules and queries in deductive databases ...
Deductive Databases and Logic Programming
... Deductive databases reuse a large number of concepts from logic programming rules and facts specified in the deductive database language Datalog look very similar to those in Prolog ... However, there are a number of important differences between deductive databases and logic programming Order sensitivity and procedurality In Prolog, program execution depends on the order of rules in the ... In database languages (like SQL or Datalog), however, program execution is independent of the order of rules and facts ...