On Domain Independent Databases
Data up to Jan 2025
Total Citations Per Year
Abstract
References (23)
Foundations of Logic Programming
1984 • 4,311 citations
Negation as Failure
1978 • 2,091 citations
Towards a Theory of Declarative Knowledge
1988 • 1,163 citations
Foundations of Deductive Databases and Logic Programming
1988 • 994 citations
Principles of Database Systems
2018 • 904 citations
An amateur's introduction to recursive query processing strategies
1986 • 719 citations
Horn clause queries and generalizations
1985 • 311 citations
Logic for improving integrity checking in relational data bases?
1982 • 303 citations
Negation in Logic Programming
1988 • 208 citations
A basis for deductive database systems II
1986 • 178 citations
Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
1984 • 131 citations
On the Declarative Semantics of Logic Programs with Negation
1988 • 121 citations
Integrity constraint checking in stratified databases
1987 • 119 citations
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
1969 • 101 citations
A basis for deductive database systems
1985 • 90 citations
Introduction to Mathematical Logic
1979 • 68 citations
Safety and correct translation of relational calculus formulas
1987 • 59 citations
The decision problem for database dependencies
1981 • 44 citations
Syntactical characterization of a subset of domain-independent formulas
1992 • 40 citations
ANSWERING QUESTIONS BY COMPUTER: A LOGICAL STUDY
1967 • 38 citations
Domain-independent formulas and databases
1987 • 29 citations
Assigning Meaning to Ill-Defined Queries Expressed in Predicate Calculus Language
1981 • 13 citations
Extending and restricting deductive databases
1986 • 1 citations