Abstract
In an active database, an update may be constrained by integrity constraints, and may also trigger rules that, in turn, may affect the database state. The general problem is to effect the update while also managing the “side-effects” of constraint enforcement and rule execution. In this paper an update calculus is proposed by which updates, constraints and rules are specified and managed within the same formalism. Constraints and production rules are expressed in a constraint language based on first-order logic. These logic expressions are used to semantically transform an original update into a sequence of updates that reflect the relevant constraints and production rules. The inference mechanism associated with processing a reformulated query ensures that: 1) the pre- and post-conditions of an update are satisfied, 2) update side-effects are propagated, and 3) repairs are made to tuples exhibiting constraint violations. Thus, a user-specified “update” is transformed, through semantic reformulation techniques, into a sequence of updates which together ensure semantic integrity of the original update as well as its propagated side-effects.
This research presents several contributions. Integrity constraints and production rules are expressed in a declarative formalism so that they may be reasoned about. The update calculus formalism handles the semantic reformulation of an update to reflect relevant constraints and rules governing it. Finally, an algorithm is presented to handle constraint enforcement, production rule firing, and subsequent repair actions.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
S. Abiteboul and R. Hull. Update propagation in the IFO database model. In Proceedings of the International Conf. on Foundations of Data Organization, pages 243–251, Kyoto, 1985.
Alexander Aiken, Jennifer Widom, and Jeseph M. Hellerstein. Behavior of database production rules: Termination, confluence, and observable determinism. In Michael Stonebraker, editor, Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 59–68, San Diego, 1992.
F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari. Integrating object-oriented data modeling with a rule-based programming paradigm. In Hector Garcia-Molina and H.V. Jagadish, editors, Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 225–236, Atlantic City, NJ, 1990.
Upen S. Chakravarthy, John Grant, and Jack Minker. Logic-based approach to semantic query optimization. ACM Transactions on Database Systems, 15 (2): 163–207, June 1990.
S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In Proc. Intl. Conf. on Very Large Data Bases, pages 650–661, Brisbane, Australia, 1990.
S. Ceri and J. Widom. Deriving production rules for incremental view maintenance. In Proc. Intl. Conf. on Very Large Data Bases, pages 577–589, Barcelona, 1991.
U. Dayal, B. Blaustein, A. Buchmann, U. Chakravarthy, R. Ledin M. Hsu, D. McCarthy, A. Rosenthal, S. Sarin, M. J. Carey, M. Livny, and R. Jauhari. The HiPAC project: Combining active databases and timing constraints. ACM SIGMOD Record, 17 (1): 51–70, March 1988.
Umeshwar Dayal, Meichun Hsu, and Rivka Ladin. Organizing long running activities with triggers and transactions. In Hector Garcia-Molina and H.V. Jagadish, editors, Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 204–214, Atlantic City, NJ, 1990.
G. Gottlob, P. Paolini, and R. Zicari. Properties and update semantics of consistent views. ACM Transactions on Database Systems, 13 (4): 486–524, 1988.
Ashish Gupta and Jennifer Widom. Local verification of global integrity constraints in distributed databases. In Peter Buneman and Sushil Jajodia, editors, Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 49–58, Washington, D. C., 1993.
Matthew S. Hecht and Larry Kerschberg. Update semantics for the functional data model. Technical Report Database Research Report No. 4, Bell Laboratories, Holmdel, New Jersey, January 1981.
M. Kramer, G. Lausen, and G. Saake. Updates in a rule-based language for objects. In Proc. Intl. Conf. on Very Large Data Bases, pages 251–262, Vancouver, Canada, 1992.
A. C. Kakas and P. Mancarella. Database updates through abduction. In Proc. Intl. Conf. on Very Large Data Bases, pages 650–661, Australia, 1990.
R. Kowalski. Logic for data description. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 77–103, New York, 1978. Plenum Press.
Henry F. Korth and Abraham Silberschatz. Database System Concepts. McGraw-Hill, Inc, New York, 1991.
Sanggoo Lee, Lawrence J. Henschen, and Ghassan Z. Qadah. Semantic query reformulation in deductive databases. In Intl. Coot on Data Engineering, pages 232–239, 1991.
Sanjay Manchanda. Declarative expression of deductive database updates. In Proceedings of the ACM Symposium on Principles of Database Systems, pages 93–100, Philadelphia, 1989.
D. R. McCarthy and U. Dayal. The architecture of an active database management system. In Proc. ACM SIGMOD Intl. Coot on Management of Data, pages 215–224, Portland, Oregon, 1989.
Guido Moerkotte and Peter C. Lockemann. Reactive consistency control in deduc-tive database. ACM Transactions on Database Systems, 16: 670–702, 1991.
M. Morgenstern. Constraint equations: Declarative expression of constraints with automatic enforcement. In Proc of VLDB, pages 111–125, 1984.
M. Morgenstern. The role of constraints in databases. In Larry Kerschberg, editor, Expert Database Systems, pages 351–368. Benjamin/Cummings, 1986.
Xialolei Qian and Richard Waldinger. A transaction logic for database specification. In Proc. ACM SIGMOD Intl. Coot on Management of Data, pages 243–250, Chicago, 1988.
A. Shepherd and L. Kerschberg. Constraint management in expert database systems. In Larry Kerschberg, editor, Expert Database Systems, pages 309–368. Benjamin/Cummings, 1986.
J. Widom, R. J. Cochrane, and B. G. Lindsay. Implementing set-oriented production rules as an extension to Starburst. In Proc. Intl. Coot on Very Large Data Bases, pages 275–285, Barcelona, Spain, 1991.
Jong P. Yoon and Larry Kerschberg. A framework for constraint management in object-oriented databases. In Proc. of the First International Conference on Information and Knowledge Management, pages 292–299, Baltimore, MD, 1992.
Jong P. Yoon and Larry Kerschberg. Semantic query optimization in deductive object-oriented databases. In Proc. of the Third International Conference on Deductive and Object-Oriented Databases, Phoenix, Arizona, December, 1993.
Jong P. Yoon. Constraint Management in Active Databases. PhD thesis, George Mason University, Fairfax, Virginia, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Yoon, J.P., Kerschberg, L. (1997). Semantic Update Optimization in Active Databases. In: Meersman, R., Mark, L. (eds) Database Applications Semantics. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34913-8_12
Download citation
DOI: https://doi.org/10.1007/978-0-387-34913-8_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2946-6
Online ISBN: 978-0-387-34913-8
eBook Packages: Springer Book Archive