Maintaining state constraints in relational databases: a proof theoretic basis

DOI10.1145/58562.59302MaRDI QIDQ3833655zbMATH OpenOpenAlexFDO

Authors Lawrence Henschen, William McCune

Publication date 1989

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/58562.59302

zbMATH Keywords

algebraic manipulationartificial intelligenceautomated theorem provingdeduction and theorem provingdependency statementexpressions and their representationfirst-order logicintegrity constraintsquery formulationrelational databasereliabilitysimplification of expressionsverification

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 1735904
• Towards an abstract theory of dependency constraints in relational databases
• Toward a verified relational database management system
• A complete logic for database abstract state machines
• Integrity constraints in logic databases
• scientific article; zbMATH DE number 2080029
• Constraint-based relational verification
• Integrity checking and maintenance in relational and deductive databases and beyond
• An extended constraint deductive database: theory and implementation

Cited in

(7)

• Paraconsistent disjunctive deductive databases
• Verifiable properties of database transactions
• Optimizing fragment constraints -- a performance evaluation
• Consistency management in object-oriented databases
• Integrity checking and maintenance in relational and deductive databases and beyond
• Validating database updates
• Un-Skolemizing clause sets

This page was built for publication: Maintaining state constraints in relational databases: a proof theoretic basis

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