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… 
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… 
1993
1993
Updating intensional predicates in deductive databases
A method for updating deductive databases that allows the insertion or deletion of a fact over intensional predicates in a… 
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
Deductive databases in action
The theory of Deductive Databases Shalom Tsur and Computer Technology Corporation 
Highly Cited
1991
Highly Cited
1991
Glue-Nail: a deductive database system
Glue is a procedural language for deductive databases. It is designed to complement the purely declarative NAIL! language… 
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… 
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… 
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)