Abstract
Integrity repair is a pragmatic alternative to integrity checking, already proposed by relational and Codasyl standards and supported by several commercial systems, although for a small number of constraint types. This paper proposes to integrate constraint languages with the declarative specifications of their integrity repair actions. We introduce a rather powerful, predicate-based language for specifying integrity constraints, then we discuss the semantics of repair actions as computations which react to constraint violations, then we establish sufficient conditions for ensuring their termination, and finally we show how repair actions can be integrated in the SQL2 standard and implemented by means of relational triggers (written in Oracle).
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Alexander Aiken, Jennifer Widom, and Joseph M. Hellerstein. Behavior od database production rules: Termination, confluence, and observable determinism. In Michael Stonebraker, editor, Proc. ACM SIGMOD Int'l Conf. on Management of Data, pages 59–68, San Diego, California, May 1992.
Elena Baralis, Stefano Ceri, and Jennifer Widom. Better termination analysis for active databases. In Norman W. Paton and M. Howard Williams, editors, Proc. of First Workshop on Rules in Database Systems, WICS, pages 163–179, Edinburgh, Scotland, August 1993. Springer-Verlag, Berlin.
Elena Baralis and Jennifer Widom. Using delta relations to optimize condition evaluation in active databases. Technical Report Stan-CS-93-1495, Computer Science Department, Stanford University, November 1993.
Elena Baralis and Jennifer Widom. An algebraic approach to rule analysis in expert database systems. In Proc. Twentieth Int'l Conf. on Very Large Data Bases, Santiago, Chile, September 1994. To appear.
Stefano Ceri, Piero Fraternali, Stefano Paraboschi, and Letizia Tanca. Automatic generation of production rules for integrity maintenance. Technical Report 92-054, Politecnico di Milano — Dipartimento di Elettronica e Informazione, 1992. To appear on ACM Transactions on Database Systems.
Stefano Ceri, Georg Gottlob, and Letizia Tanca. Logic Programming and Databases. Springer-Verlag, Berlin, 1990.
Stephen J. Cannan and Gerard A. M. Otten. SQL — The Standard Handbook. McGraw-Hill, London, 1992.
CODASYL Data Description Language Committee. DDL Journal of Development. Material Data Management Branch, Department of Supply and Services, Ottawa, Ontario, 1978.
Stefano Ceri and Jennifer Widom. Deriving production rules for constraint maintenance. In Dennis McLeod, Ron Sacks-Davis, and Hans Schek, editors, Proc. Sixteenth Int'l Conf. on Very Large Data Bases, pages 566–577, Brisbane, Australia, August 1990.
Opher Etzion. An alternative paradigm for active databases. In Proc. of the IEEE RIDE-ADS, pages 39–45, Houston, Texas, February 1994.
Ramez Elmasri and Gio Wiederhold. Data model integration using the stuctural model. In Bernstein, editor, Proc. ACM SIGMOD Int'l Conf. on Management of Data, May 1979.
Piero Fraternali and Stefano Paraboschi. A review of repairing techniques for integrity maintenance. In Norman W. Paton and M. Howard Williams, editors, Proc. of First Workshop on Rules in Database Systems, WICS, pages 333–346, Edinburgh, Scotland, August 1993. Springer-Verlag, Berlin.
Michael Gertz. Specifying reactive integrity control for active databases. In Proc. of the IEEE RIDE-ADS, pages 62–70, Houston, Texas, February 1994.
Richard Hull and Roger King. Semantic data modeling: Survey, applications and research. ACM Computing Surveys, 19(3):201–260, September 1987.
A. P. Karadimce and Susan D. Urban. Diagnosing anomalous rule behavior in databases with integrity maintenance production rules. In Proc. Third Int. Workshop on Foundations of Models and Languages for Data and Objects, pages 77–102, Aigen, Austria, September 1991.
Guido Moerkotte and Peter C. Lockemann. Reactive consistency control in deductive databases. ACM Transactions on Database Systems, 16(4):670–702, December 1991.
Stefano Paraboschi. Generazione di Regole per la Gestione di Vincoli e Viste in Basi di Dati Attive. PhD thesis, Politecnico di Milano — Dipartimento di Elettronica e Informazione, January 1994. In italian.
J. Peckham and F. Maryanski. Semantic data models. ACM Computing Surveys, 20(3):153–189, September 1988.
Karl D. Schewe, Bernhard Thalheim, Joachim W. Schmidt, and Ingrid Wetzel. Integrity enforcement in object-oriented database. In U. W. Lipeck and B. Thalheim, editors, Modelling Database Dynamics, WICS, pages 174–195, Volkse, Germany, 1993. Springer-Verlag, Berlin.
Susan D. Urban and Lois M. Delcambre. Constraint analysis: A design process for specifying operations on objects. IEEE Transactions on Knowledge and Data Engineering, 2(4):391–400, December 1990.
B. Wüthrich. On updates and inconsistency repairing in knowledge bases. In Proc. Ninth Int'l Conf. on Data Engineering, pages 608–615, Vienna, Austria, April 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baralis, E., Ceri, S., Paraboschi, S. (1994). Declarative specification of constraint maintenance. In: Loucopoulos, P. (eds) Entity-Relationship Approach — ER '94 Business Modelling and Re-Engineering. ER 1994. Lecture Notes in Computer Science, vol 881. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58786-1_81
Download citation
DOI: https://doi.org/10.1007/3-540-58786-1_81
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58786-6
Online ISBN: 978-3-540-49100-2
eBook Packages: Springer Book Archive