Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 229,626,983 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Armin B. Cremers
Cut (logic programming)
Database
Database theory
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2003
2003
Deductive database
J. Minker
2003
Corpus ID: 63053216
Deductive Databases formalize and extend relational databases. A deductive database (DDB) consists of a set of facts, a set of…
Expand
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
Demirsoy Evin
,
Ueiroz
,
Teven
,
Oe
2001
Corpus ID: 10264696
—Advocates of cladistic parsimony methods have invoked the philosophy of Karl Popper in an attempt to argue for the superiority…
Expand
2001
2001
Efficacious Logic Instruction: People Are Not Irremediablly Poor Deductive Reasoners
Kelsey J. Rinella
,
Selmer Brinsjord
,
Yingrui Yang
2001
Corpus ID: 9798113
Efficacious Logic Instruction: People Are Not Irremediably Poor Deductive Reasoners Kelsey J. Rinella (rinelk@rpi.edu) Department…
Expand
1993
1993
Updating intensional predicates in deductive databases
D. Laurent
,
V. Luong
,
N. Spyratos
Proceedings of IEEE 9th International Conference…
1993
Corpus ID: 38294646
A method for updating deductive databases that allows the insertion or deletion of a fact over intensional predicates in a…
Expand
1992
1992
Hypothetical reasoning in deductive databases
A. Bonner
1992
Corpus ID: 60060399
This dissertation addresses a limitation of most deductive database systems: They cannot reason hypothetically. Although they…
Expand
1991
1991
Deductive databases in action
S. Tsur
ACM SIGACT-SIGMOD-SIGART Symposium on Principles…
1991
Corpus ID: 17448250
The theory of Deductive Databases Shalom Tsur and Computer Technology Corporation
Highly Cited
1991
Highly Cited
1991
Glue-Nail: a deductive database system
Geoffrey Phipps
,
M. Derr
,
K. A. Ross
ACM SIGMOD Conference
1991
Corpus ID: 13902358
Glue is a procedural language for deductive databases. It is designed to complement the purely declarative NAIL! language…
Expand
1991
1991
Subtree-elimination algorithms in deductive databases
Yatin P. Saraiya
1991
Corpus ID: 119887773
A deductive database consists of a set of stored facts, and a set of logical rules (typically, recursive Horn clauses) that are…
Expand
1988
1988
COOPERATIVE RESPONSES IN DEDUCTIVE DATABASES
A. Gal
1988
Corpus ID: 22350854
This thesis addresses the problem of full utilization of the semantics already present in a database, and particularly, integrity…
Expand
Highly Cited
1987
Highly Cited
1987
On the evaluation of recursion in (deductive) database systems by efficient differential fixpoint iteration
Ulrich Güntzer
,
Werner Kießling
,
R. Bayer
IEEE Third International Conference on Data…
1987
Corpus ID: 195349723
Based on matured database technology the paper provides new insights into efficient ways to evaluate recursive deduction rules…
Expand
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)
ACCEPT & CONTINUE