Abstract
Recently a rule-language for updating objects based on versioning has been proposed [1]. The units for update are base properties of the objects Updates are defined by rules; several rules may be used to a specific update. Rules are evaluated in a bottom-up way according to a certain stratification. Up to now semantics is defined by the fixpoint resulting from the bottom-up evaluation procedure. In this paper a possible-world semantics is introduced to give a declarative semantics to the rule-language.
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
M. Kramer, G. Lausen, and G. Saake. Updates in a Rule-Based Language for Objects. In Li-Yan Yuan, editor, Proc. 18th Int. Conf. on Very Large Databases, Vancouver, pages 251–262, 1992.
Paolo Atzeni and Riccardo Torlone. Updating Deductive Databases with Functional Dependencies. In C. Delobel, M. Kifer, and Y. Masunaga, editors, Proc. 2nd Int. Conf. on Deductive and Object-Oriented Databases DOOD’91. Springer-Verlag, 1991.
Hendrik Decker. Drawing updates from derivations. In S. Abiteboul and P. C. Kanellakis, editors, Proc. of the Intl. Conf. on Database Theory, Paris, LNCS 470. Springer, 1990.
A. Kakas and P. Mancarelle. Database Updates Through Abduction. In D. McLeod, R. Sacks-Davis, and H. Schek, editors, Proc. of the Int. Conf. on Very Large DataBases, Brisbane, pages 650–661, 1990.
Anthony Tomasic. View Update Translation via Deduction and Annotation. In M. Gyssens, J. Paredaens, and D. Van Gucht, editors, Proc. of the Intl. Conf. on Data Base Theory, Bruges, LNCS 326, pages 338–352. Springer, 1988.
Serge Abiteboul and Victor Vianu. Datalog extensions for database queries and updates. Journal of Computer and System Sciences, Vol.43, pages 62124, 1991.
Christophe de Maindreville and Eric Simon. A production rule based approach to deductive databases. In Proc. of the Intl. Conf. on Data Engineering, Los Angeles, 1988.
Lee Brownstone, Robert Farell, Elaine Kant, and Nancy Martin. Programming Expert Systems in OPS5. Addison Wesley, 1986.
M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On rules, procedures, caching and views in data base systems. In H. Garcia-Molina and H. V. Jagadish, editors, Proc. of the ACM SIGMOD Symp. on the Management of Data, pages 281–290, 1990.
Jennifer Widom and Sheldon J. Finkelstein. Set-oriented production rules in relational database systems. In Proc. of the ACM SIGMOD Symp. on the Management of Data, pages 259–264, 1990.
Y. Zhou and M. Hsu. A theory for rule triggering systems. In F. Bancilhon, C. Thanos, and D. Tsichritzis, editors, Proc. of the Intl. Conf. on Extending Database Technology, pages 407–421. Springer, 1990.
Geoffrey Phipps, Marcia A. Derr, and Kenneth A. Ross. Glue-Nail: A deductive database system. In J. Clifford and R. King, editors, Proc. of the ACM SIGMOD Conf. on Management of Data, pages 308–317, 1991.
Richard Hull and Dean Jacobs. Language Constructs for Programming Active Databases. In G. M. Lohman, A. Sernadas, and R. Camps, editors, Proc. of the Intl. Conf. on Very Large Data Bases, Barcelona, pages 455468, 1991.
Michael Kifer and James Wu. A logic for object-oriented logic programming (maier’s o-logic revisited). In Proc. of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of database Systems, pages 379 — 393, 1989.
Michael Kifer and Georg Lausen. F-logic: A higher-order language for reasoning about objects, inheritance and scheme. In Proc. of the ACM SIG-MOD Conf. on Management of Data, pages 134 — 146, 1989.
Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press, New York, 1988.
S.A. Kripke. Semantical Considerations on Modal Logic. Acta Philosophica Fennica, 16: 83–94, 1963.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lausen, G., Saake, G. (1993). A Possible World Semantics for Updates by Versioning. In: Lipeck, U.W., Thalheim, B. (eds) Modelling Database Dynamics. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3554-8_3
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3554-8_3
Publisher Name: Springer, London
Print ISBN: 978-3-540-19803-1
Online ISBN: 978-1-4471-3554-8
eBook Packages: Springer Book Archive