Integrity constraints in logic databases

DOI10.1016/0743-1066(85)90020-2MaRDI QIDQ3706527zbMATH OpenOpenAlexFDO

Authors P. Asirelli, Michele de Santis, M. Martelli

Publication date 1985

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(85)90020-2

zbMATH Keywords

Horn clauseslogic programming

Mathematics Subject Classification ID

Data structures (68P05) Information storage and retrieval of data (68P20)

Recommendations

• scientific article; zbMATH DE number 1182734
• scientific article; zbMATH DE number 4197471
• scientific article; zbMATH DE number 975701
• A deontic approach to database integrity
• scientific article; zbMATH DE number 928019

Cited in

(24)

• Preservation of integrity constraints in definite DATALOG programs
• A deontic approach to database integrity
• Relational database constraints as counterexamples
• Active integrity constraints for general-purpose knowledge bases
• Improved exact algorithms for MAX-SAT
• scientific article; zbMATH DE number 1696847 (Why is no real title available?)
• A generalisation of entity and referential integrity in relational databases
• Integrity constraints for general-purpose knowledge bases
• scientific article; zbMATH DE number 4178756 (Why is no real title available?)
• Semantics and Pragmatics of Integrity Constraints
• Integrity constraint checking in stratified databases
• scientific article; zbMATH DE number 4074543 (Why is no real title available?)
• scientific article; zbMATH DE number 4085067 (Why is no real title available?)
• Maintaining state constraints in relational databases: a proof theoretic basis
• scientific article; zbMATH DE number 44392 (Why is no real title available?)
• scientific article; zbMATH DE number 1735904 (Why is no real title available?)
• Semantic integrity constraints in knowledge-based database design systems
• DICE: declarative integrity constraint embedding into the object database standard ODMG-93
• scientific article; zbMATH DE number 1182734 (Why is no real title available?)
• An operator for composing deductive data bases with theories of constraints
• scientific article; zbMATH DE number 4197471 (Why is no real title available?)
• scientific article; zbMATH DE number 975701 (Why is no real title available?)
• scientific article; zbMATH DE number 966594 (Why is no real title available?)
• Algorithms for the maximum satisfiability problem

This page was built for publication: Integrity constraints in logic databases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3706527)