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… 
1992
1992
This dissertation addresses a limitation of most deductive database systems: They cannot reason hypothetically. Although they… 
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…