Theorem proving techniques for view deletion in databases

DOI10.1006/JSCO.1999.0358MaRDI QIDQ5927980zbMATH OpenOpenAlexFDO

Authors Chandrabose Aravindan, Peter Baumgartner

Publication date 19 March 2001

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/b8fd970e267dc8f7c16943dab739185d2c3c5080

zbMATH Keywords

hyper-tableau calculus

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1407677
• Model theoretic approach to view updates in deductive databases
• scientific article; zbMATH DE number 219222
• A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
• View updates in stratified disjunctive databases

Cites work

• A tableau calculus for minimal model reasoning
• A theory of diagnosis from first principles
• Belief contraction without recovery
• Circumscription - a form of non-monotonic reasoning
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4162254 (Why is no real title available?)
• scientific article; zbMATH DE number 4094866 (Why is no real title available?)
• scientific article; zbMATH DE number 1189096 (Why is no real title available?)
• scientific article; zbMATH DE number 33190 (Why is no real title available?)
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• scientific article; zbMATH DE number 108002 (Why is no real title available?)
• scientific article; zbMATH DE number 1301750 (Why is no real title available?)
• scientific article; zbMATH DE number 219222 (Why is no real title available?)
• scientific article; zbMATH DE number 754675 (Why is no real title available?)
• scientific article; zbMATH DE number 1407677 (Why is no real title available?)
• scientific article; zbMATH DE number 3254919 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• Hyper tableaux
• Knowledge base dynamics, abduction, and database updates
• Minimal model generation with positive unit hyper-resolution tableaux
• On the correct translation of update operations on relational views
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
• Tableaux for diagnosis applications
• Updating knowledge bases

Cited in

(7)

• SEF view deletion under bounded condition
• On First-Order Model-Based Reasoning
• On the complexity of bounded deletion propagation
• scientific article; zbMATH DE number 219222 (Why is no real title available?)
• scientific article; zbMATH DE number 1407677 (Why is no real title available?)
• 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
• A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases

Describes a project that uses

Uses Software

• SATCHMO

This page was built for publication: Theorem proving techniques for view deletion in databases

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