Abstract
We address efficiency issues during the process of integrity maintenance. In this sense, we propose a technique that improves efficiency of existing methods by defining the order in which maintenance of integrity constraints should be performed. Moreover, we integrate view updating into integrity maintenance and we propose a technique for translating view updates efficiently, aimed at reducing the number of alternatives considered during the process of view updating and the EDB accesses required to perform this translation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Console, L.; Sapino, M.L.; Theseider, D. “The Role of Abduction in Database View Updating”, J. of Intelligent Information Systems, Vol.4, pp. 261–280.
Ceri, S.; Fraternali, P.; Paraboschi, S.; Tanca, L. “Automatic Generation of Production Rules for Integrity Maintenance” ACM Transactions on Database Systems Vol.19 o3, Sept. 1994, pp-367–422.
Decker, H. “An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases”, Joint International Conference and Symposium on Logic Programming (JICSLP’96), Bonn (Germany), 1996.
Fraternali, P.; Paraboschi, S. “Ordering and Selecting Production Rules for Constraint Maintenance: Complexity and Heuristic Solution” IEEE Transactions on Knowledge and Data Engineering, Vol. 9, o 1, 1997, pp-173–178.
Gertz, M. “Specifying Reactive Integrity Control for Active Databases”, Research Issues on Data Engineering:Active Databases(RIDE-ADS’94), Houston, pp.62–70.
Kakas, A.; Mancarella, P. “Database Updates through Abduction”, Proc. of the 16th VLDB Conference, Brisbane, Australia, 1990, pp. 650–661.
Kowalski, R.; Sadri, F. “Logic Programs with Exceptions”, Seventh International Conference of Logic Programming (ICLP’90), 1990, pp.598–613.
Lloyd, J.W. “Foundations on Logic Programming”, 2nd edition, Springer, 1987.
Lloyd, J.W.; Topor, R.W. “Making Prolog More Expressive”. Journal of Logic Programming, 1984, No. 3, pp. 225–240.
Lobo, J.; Trajcevski, G. “Minimal and consistent evolution in knowledge bases” Journal of Applied Non-Classical Logics. Vol. 7. o 1-2/1997, pp: 117–146.
Maabout, S. “Maintaining and Restoring Database Consistency with Update Rules”, in Proc. DYNAMICS’98 (Workshop of JICSLP’98), Manchester, June 98.
Moerkotte, G; Lockemann, P.C. “Reactive Consistency Control in Deductive Databases”, ACM Transactions on Database Systems 16(4), 1991, pp. 670–702.
Mayol, E.; Teniente, E. “Structuring the Process of Integrity Maintenance”, 8th International Conference on Database and Expert Systems Applications (DEXA’97), LNCS-1308, Toulouse, France, September 1997, pp. 262–275.
Mayol, E.; Teniente, E. “Addressing Efficiency Issues During the Process of Integrity Maintenance”, Technical Report LSI-99-27-R.
Olivé, A. “Integrity Checking in Deductive Databases”, Proc. of the 17th VLDB Conference, Barcelona, Catalonia, 1991, pp. 513–523.
Schewe, K.D. “Consistency Enforcement in Entity-Relationship and Object-Oriented Models”, Data & Knowledge Engineering Vol 28,1998, pp.121–140
Teniente, E.; Olivé, A. “Updating Knowledge Bases while Maintaining their Consistency”, The VLDB Journal, Vol. 4, Num. 2, 1995, pp. 193–241.
Urpí, T.; Olivé, A. “A Method for Change Computation in Deductive Databases”, Proc. of the 18th VLDB Conference, Vancouver, 1992, pp. 225–237.
Wüthrich, B. “On Updates and Inconsistency Repairing in Deductive databases”, Int. Conf. on Data Engineering, Vienna, 1993, pp. 608–615.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mayol, E., Teniente, E. (1999). Addressing Efficiency Issues During the Process of Integrity Maintenance. In: Bench-Capon, T.J., Soda, G., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1999. Lecture Notes in Computer Science, vol 1677. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48309-8_25
Download citation
DOI: https://doi.org/10.1007/3-540-48309-8_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66448-2
Online ISBN: 978-3-540-48309-0
eBook Packages: Springer Book Archive