Theorem Proving Techniques for View Deletion in Databases
- 1 February 2000
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 29 (2) , 119-147
- https://doi.org/10.1006/jsco.1999.0358
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Knowledge base dynamics, abduction, and database updatesJournal of Applied Non-Classical Logics, 1995
- Propositional circumscription and extended closed-world reasoning are ΠP2-completeTheoretical Computer Science, 1993
- Updating knowledge bases IINew Generation Computing, 1991
- A spectrum of logical definitions of model‐based diagnosis1Computational Intelligence, 1991
- Belief contraction without recoveryStudia Logica, 1991
- Updating knowledge basesNew Generation Computing, 1990
- View updates in relational databases with an independent schemeACM Transactions on Database Systems, 1990
- On the logic of theory change: Partial meet contraction and revision functionsThe Journal of Symbolic Logic, 1985
- On the correct translation of update operations on relational viewsACM Transactions on Database Systems, 1982
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980