Integrity constraints in logic databases

Logic for problem solving

Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations

Computing, Computer Science, Knowledge Representation +7

Horn clauses and database dependencies

Ronald Fagin · Journal of the ACM · 1982 · 377 citations · Full text

Computing, Computer Science, Data Management +5

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

Database security and integrity

Computer Fraud & Security Bulletin · 1982 · 153 citations

Computing, Computer Science, Cybersecurity +12