Integrity constraint checking in deductive databases using the Prolog not-predicate

The entity-relationship model—toward a unified view of data

Peter Pin-Shan Chen · ACM Transactions on Database Systems · 1976 · 4.6K citations · Full text

Computing, Computer Science, Data Management +14

Making prolog more expressive

John W. Lloyd, Rodney Topor · The Journal of Logic Programming · 1984 · 316 citations

Computing, Computer Science, Knowledge Representation +9

Logic for improving integrity checking in relational data bases?

Jean‐Marie Nicolas · Acta Informatica · 1982 · 308 citations

Computing, Computer Science, Databases +13

Integrity constraint checking in stratified databases

John W. Lloyd, Ea Sonenberg, Rodney Topor · The Journal of Logic Programming · 1987 · 116 citations

Computing, Computer Science, Information Systems +11

Integrity constraints in logic databases

Patrizia Asirelli, Michelle De Santis, Maurizio Martelli · The Journal of Logic Programming · 1985 · 43 citations

Computing, Computer Science, Information Systems +14