Abstract
This paper extends an object oriented database centred on the notion of view by allowing views to be specified by temporal logic formulas. For Past&Forget assertions - a particular kind of temporal logic formula we show that it is possible to determine efficiently to which view(s) an object belongs by computing, at schema definition, a classification space similar to the one used when only non-temporal formulas are concerned.
This is a preview of subscription content, log in via an institution to check access.
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
Bapat, S., Object Oriented Networks : Models for Architecture, Operations and Management, Prentice Hall, 1994.
Chomicki, J., Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding, ACM Trans, on Database Systems, Vol.20, No.2, June, 1995.
Guttag, J., Horning, J., The Algebraic Specification of Abstract Data Types, Acta Informatica, 1978.
Cattell, R.G.G, The Object Oriented Database Standard: ODMG93, Morgan Kaufmann, 1994.
Quast, M., Simonet, A., Simonet, M., A Relational Implementation of a View-based Object System, Int. Conf. on Object Oriented Information Systems (OOIS), Dublin, 1995. (http ://www-cami. imag.fr/osiris/publi.html)
Gertz, M., Lipeck, U., Deriving Optimised Integrity Monitoring Triggers from Dynamic Integrity Constraints, To appear in Data & Knowledge Engineering, 1996.
MacGregor, R.M., The Evolving Technology of Classification Based Systems, in Principles of Semantic Networks: Explorations in Representation of Knowledge, p385–400, J.F. Sowa Ed., Morgan Kaufmann Publishers, 1991.
Manna, Z., Pnueli, A., The Temporal Logic of Reactive and Concurrent Systems - Specification Springer-Verlag, 1991.
Schleifer, P., Sun, Y., Patel, D., Modelling temporal Semantics in an Object-Oriented Database, 2nd Int. Conf. On Object-Oriented Information Systems (OOIS), 1995.
Simonet-Sales, A., Types Abstraits et Bases de Donnees : formalisation du concept departage et analyse statique de contraintes d’integrite, These DOCTeur Ingenieur, Universite Scientifique et Medicale de Grenoble, France, Avril 1984.
Simonet, A., Simonet, M., Objects with Views and Constraints : from Databases to Knowledge bases, Int. Conf. on Object Oriented Information Systems (OOIS), London, 1994. (http ://www-cami.imag.fr/osiris/publi.html)
Simonet, A., Simonet, M., OSIRIS: an Object-Oriented System unifying Databases and Knowledge Bases, KBKS 95 : Toward very Large Knowledge Bases, IOS Press, 1995. (http ://www-cami.imag.fr/osiris/publi.html)
Stanat, D., McAllister, D., Discrete Mathematics in Computer Science, Prentice Hall, 1977.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag London Limited
About this paper
Cite this paper
Delannoy, X., Simonet, A., Simonet, M. (1997). Database Views with Dynamic Assertions. In: Patel, D., Sun, Y., Patel, S. (eds) OOIS’96. Springer, London. https://doi.org/10.1007/978-1-4471-0973-0_23
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0973-0_23
Publisher Name: Springer, London
Print ISBN: 978-3-540-76132-7
Online ISBN: 978-1-4471-0973-0
eBook Packages: Springer Book Archive