Skip to search formSkip to main contentSkip to account menu

Deductive database

A deductive database is a database system that can make deductions (i.e., conclude additional facts) based on rules and facts stored in the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
Armin B. CremersCut (logic programming)DatabaseDatabase theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2003
2003
Deductive database
Deductive Databases formalize and extend relational databases. A deductive database (DDB) consists of a set of facts, a set of… 
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
Highly Cited
2001
Highly Cited
2001
Philosophy and Phylogenetic Inference: A Comparison of Likelihood and Parsimony Methods in the Context of Karl Popper's Writings on Corroboration
—Advocates of cladistic parsimony methods have invoked the philosophy of Karl Popper in an attempt to argue for the superiority… 
1992
1992
Hypothetical reasoning in deductive databases
This dissertation addresses a limitation of most deductive database systems: They cannot reason hypothetically. Although they… 
1991
1991
Subtree-elimination algorithms in deductive databases
A deductive database consists of a set of stored facts, and a set of logical rules (typically, recursive Horn clauses) that are… 
1991
1991
Semantic query reformulation in deductive databases
A method is proposed for identifying relevant integrity constraints (ICs) for queries involving joins/unions of base relations… 
Review
1991
Review
1991
A Functional Programming Approach to Deductive Databases
We introduce a persistent functional language called PFL which adapts functional programming to the area of deductive databases… 
1988
1988
COOPERATIVE RESPONSES IN DEDUCTIVE DATABASES
This thesis addresses the problem of full utilization of the semantics already present in a database, and particularly, integrity… 
Highly Cited
1987
Highly Cited
1987
On the evaluation of recursion in (deductive) database systems by efficient differential fixpoint iteration
Based on matured database technology the paper provides new insights into efficient ways to evaluate recursive deduction rules… 
1977
1977
Planning techniques for rule selection in deductive question-answering
Deductive planning techniques are described for rule selection in question-answering systems. Rules typically represent… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)