A deductive database is a database system that can make deductions (i.e. conclude additional facts) based on rules and facts stored in its database. Datalog is the language typically used to specify facts, rules and queries in deductive databases. Deductive databases have grown out of the desire to combine logic programming with relational databases to construct systems that support a powerful formalism and are still fast and able to deal with very large datasets. Deductive databases are more expressive than relational databases but less expressive than logic programming systems such as Prolog.
In recent years, deductive databases have found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.[1]
Deductive databases reuse many concepts from logic programming; rules and facts specified in Datalog look very similar to those written in Prolog, but there are some important differences:
Order sensitivity and procedurality: In Prolog, program execution depends on the order of rules in the program and on the order of parts of rules; these properties are used by programmers to build efficient programs. In database languages (like SQL or Datalog), however, program execution is independent of the order of rules and facts.
Special predicates: In Prolog, programmers can directly influence the procedural evaluation of the program with special predicates such as the cut. This has no correspondence in deductive databases.
Function symbols: Logic programming languages allow function symbols to build up complex symbols. This is not allowed in deductive databases.
Tuple-oriented processing: Deductive databases use set-oriented processing while logic programming languages concentrate on one tuple at a time.
^Datalog and Emerging applications
and 26 Related for: Deductive database information
A deductivedatabase is a database system that can make deductions (i.e. conclude additional facts) based on rules and facts stored in its database. Datalog...
available for further use. A deductivedatabase combines logic programming with a relational database. A distributed database is one in which both the data...
properties from Prolog. It is often used as a query language for deductivedatabases. Datalog has been applied to problems in data integration, networking...
Deductive reasoning is the process of drawing valid inferences. An inference is valid if its conclusion follows logically from its premises, meaning that...
for the Neo4j graph database; DMX is a query language for data mining models; Datalog is a query language for deductivedatabases; F-logic is a declarative...
"Outer Joins in a DeductiveDatabase System" (PDF). Lbd.udc.es. Retrieved 2017-01-16. Reinsch, R. (1988). "Distributed database for SAA". IBM Systems...
model theory, database design theory, dependency theory, foundations of concurrency control and database recovery, deductivedatabases, temporal and spatial...
inductive reasoning other than deductive reasoning (such as mathematical induction), where the conclusion of a deductive argument is certain given the...
to facilitate fast lookup of terms and clauses in a logic program, deductivedatabase, or automated theorem prover. Many operations in automatic theorem...
Science, vol. 1861 Sagonas; Swift; Warren (1994), "XSB as an efficient deductivedatabase engine", SIGMOD Philipp Körner; Michael Leuschel; João Barbosa; Vítor...
object database management systems, showing what fundamental object database features are implemented natively. Comparison of object–relational database management...
commercial, declarative, incremental logic programming language and deductivedatabase inspired by Datalog. The LogiQL programming language extends Datalog...
norms they employ and the certainty of the conclusion they arrive at. Deductive reasoning offers the strongest support: the premises ensure the conclusion...
schema". XML database – Flat file database – Deductivedatabase – database system that can make deductions. Document-oriented database – Object–relational...
been given. An example of a deductive language is Prolog, or its database-query cousin, Datalog. As the name implies, deductive languages are rooted in the...
Packard fellow, and has done pioneering research in the areas of deductivedatabases, data mining, exploratory data analysis, data privacy, and web-scale...
to implement the well-founded semantics and makes it suitable as a deductivedatabase engine. The open source XSB implementation includes an interface to...
and Zdonik, S., 1990. The object-oriented database system manifesto. In Deductive and object-oriented databases (pp. 223-240). North-Holland. Maier, D....
spreadsheets known as a Logical spreadsheet, and for optimizing queries in a deductivedatabase system. He invented the notion of Model-based Diagnosis as a contrast...
Swift, Terrance; Warren, David S. (1994-05-24). "XSB as an efficient deductivedatabase engine". ACM SIGMOD Record. 23 (2): 442–453. doi:10.1145/191843.191927...
[clarification needed] SemmleCode is an object-oriented query language for deductivedatabases developed by Semmle. It is distinguished within this class by its...
"formal" and "informal." A formal fallacy is a flaw in the structure of a deductive argument that renders the argument invalid, while an informal fallacy...
deductivedatabases. Work in this field became prominent around 1977, when Hervé Gallaire and Jack Minker organized a workshop on logic and databases...
path queries are a specific kind of recursive query in graph databasesDeductivedatabases Hierarchical model Reachability Transitive closure Tree structure...
April 2021) was a leading authority in artificial intelligence, deductivedatabases, logic programming and non-monotonic reasoning. He was also an internationally...
distance to clarify his ideas, gradually resulting in the hypothetico-deductive model. Formulated in the 20th century, the model has undergone significant...