Integrity constraint checking in stratified databases

Foundations of Logic Programming

1984 • 4,311 citations

Towards a Theory of Declarative Knowledge

1988 • 1,163 citations

Making prolog more expressive

1984 • 324 citations

Horn clause queries and generalizations

1985 • 311 citations

Logic for improving integrity checking in relational data bases?

1982 • 303 citations

A basis for deductive database systems II

1986 • 178 citations

A Theorem-Proving Approach to Database Integrity

1988 • 137 citations

A basis for deductive database systems

1985 • 90 citations

Integrity enforcement on deductive databases

1986 • 79 citations

Compiling Constraint-Checking Programs from First-Order Formulas

1984 • 63 citations

Deductive Database Tools.

1985 • 15 citations