Compiling Constraint-Checking Programs from First-Order Formulas
Data up to Jan 2025
Total Citations Per Year
Abstract
References (15)
Symbolic Logic and Mechanical Theorem Proving
1973 • 1,504 citations
On Closed World Data Bases
1978 • 1,021 citations
Logic and Data Bases
1978 • 576 citations
Implementation of integrity constraints and views by query modification
1975 • 446 citations
On Indefinite Data Bases and the Closed World Assumption
1982 • 416 citations
On indefinite databases and the closed world assumption
2005 • 376 citations
Logic for improving integrity checking in relational data bases?
1982 • 303 citations
Advances in Data Base Theory
1981 • 167 citations
Deductive Question-Answering on Relational Data Bases
1978 • 158 citations
Integrity Checking in Deductive Data Bases
1978 • 117 citations
FAST MAINTENANCE OF SEMANTIC INTEGRITY ASSERTIONS USING REDUNDANT AGGREGATE DATA**This work was supported by the National Science Foundation under grants MCS-77-05314, MCS-79-07762, and MCS-79-08365
1989 • 83 citations
Implementation of integrity constraints and views by query modification
1975 • 47 citations
The decision problem for database dependencies
1981 • 44 citations
Interpolation Theorems for Resolution in Lower Predicate Calculus
1970 • 26 citations
The predicate elimination strategy in theorem proving
1970 • 9 citations