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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2003
2003
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
—Advocates of cladistic parsimony methods have invoked the philosophy of Karl Popper in an attempt to argue for the superiority… 
1993
1993
A method for updating deductive databases that allows the insertion or deletion of a fact over intensional predicates in a… 
1991
1991
The theory of Deductive Databases Shalom Tsur and Computer Technology Corporation 
Highly Cited
1991
Highly Cited
1991
Glue is a procedural language for deductive databases. It is designed to complement the purely declarative NAIL! language… 
1991
1991
A deductive database consists of a set of stored facts, and a set of logical rules (typically, recursive Horn clauses) that are… 
1990
1990
1 M o t i v a t i o n s There are a number of applications that have a database "flavor, ~ and yet are not well-addressed by… 
1988
1988
This thesis addresses the problem of full utilization of the semantics already present in a database, and particularly, integrity…