Abstract
In this paper, we propose a method for integrity enforcement in relational databases with view definition using the production rule mechanism provided by active database systems. The method generates a set of trigger rules at compile-time. This set of rules can repair at run-time the inconsistency produced by some transactions by executing a simple update over the extensional database. We also propose a logic metaprogram which implements the method.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M. Celma. Comprobación de la integridad en bases de datos deductivas: un método basado en el almacenamiento de los caminos de derivatión. PhD thesis, DSIC (UPV), 1992.
M. Celma, J.C. Casamayor, L. Mota, M.A. Pastor, and F. Marqués. A derivation Path Recording Method for Integrity Checking in Deductive Databases. In 2nd International Workshop on the Deductive Approach to Information Systems and Databases, pages 15–17, Aiguablava (Catalunya), 1991.
S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic generation of Production Rules for Integrity Maintenance. ACM Transactions on Database Systems, 19(3), 1994.
S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In Proc. of the 16th Int. Conf. on VLDB, 1990.
M. Gertz. An extensible Framework for Repairing Constraint Violations. 1996. Internet.
J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987.
G. Moerkotte and P.C. Lockemann. Reactive Consistency Control in Deductive Databases. ACM Transactions on Database Systems, 16(4):671–702, 1991.
J. Pastor. Extending the Synthesis of Updates Transaction Programs to handle Existential Rules in Deductive Databases. In Proc. of the 17th Int. Conf. on VLDB, 1991.
R. Reiter. Towards a Logical Reconstruction of Relational Database Theory. In M.L. Brodie, J.L. Mylopoulus, and J.W. Schmit, editors, On Conceptual Modelling, Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1984.
B. Wütrich. On Update and Inconsistency Repairing in Knowledge Bases. In Proc. of the 9th IEEE Int. Conf. on Data Engineering, Vienna (Austria), 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mota-Herranz, L., Celma-Giménez, M. (1998). Automatic generation of trigger rules for integrity enforcement in relational databases with view definition. In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds) Flexible Query Answering Systems. FQAS 1998. Lecture Notes in Computer Science, vol 1495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0056010
Download citation
DOI: https://doi.org/10.1007/BFb0056010
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65082-9
Online ISBN: 978-3-540-49655-7
eBook Packages: Springer Book Archive