Compiling Integrity Checking into Update Procedures
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Logic Programming. Pages 903-909.
Abstract
Integrity checking has been investigated extensively in the field of deductive databases. Methods have been developed to optimise the checking of an update by specialising the constraints for the information that could have been affected by it. The optimisation has been applied to sets of updates resulting from the execution of unspecified update procedures. This paper investigates the compilation of integrity checking into the procedures themselves. The paper introduces a (procedural) update language, and describes how constraints are compiled into procedures expressed in this language. The compilation yields conditions on the original database state that guarantee safety of the update. The paper also shows why compilation into procedures offers important possibilities for optimisation not available in the earlier framework.
@inproceedings{ijcai1991p133,
title = {Compiling Integrity Checking into Update Procedures},
author = {Wallace, Mark},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {903--909},
year = {1991},
month = {8},
note = {Logic Programming},
url = {https://ijcai.org/proceedings/1991/133},
}
TY - CPAPER TI - Compiling Integrity Checking into Update Procedures AU - Wallace, Mark T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 903 EP - 909 UR - https://ijcai.org/proceedings/1991/133 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
