Abstract
Deductive objects have been introduced in [3] to support declarative object specification in the database context taking advantage of the large body of results on Datalog-like language. However, the rigidity of logical languages does not reflect the flexible programming style of object-oriented systems. For instance the application of the same method to different objects. In this paper we propose an extension based on variable labels that allow to express generic methods through rules. The semantics of this approach is still based on fixpoint computation.
The work of D. Montesi has been partly supported by the ERCIM fellow ship information and knowledge systems.
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
S. Abiteboul, G. Lausen, H. Uphoff, and E. Waller. Methods and rules. In P. Buneman and S. Jajodia, editors, Proc. of the ACM SIGMOD Ititi Conf. on Management of Data, pages 32–41, 1993.
E. Bertino, B. Catania, G. Guerrini, M. Martelli and D. Montesi. A Bottom-up Interpreter for database languages with Updates and Transactions. To appear Proc. Joint Conference on Declarative Programming Gulp-Prode, Peniscola, 1994.
E. Bertino, G. Guerrini, and D. Montesi. Deductive Object Databases. Proc. Eighth European Conference on Objects-Oriented Programming, Bologna, pages 213–235, Springer-Verlag, Bologna, 1994.
M. L. Brodie. The Promise of Distributed Computing and the Challenges of Legacy Systems. In P. M. Gray and R. J. Lucas, editors, Proc. BNCOD 10, Lecture Notes in Computer Science, vol. 618, pages 1–28. Springer-Verlag, Berlin, 1992.
S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer-Verlag, Berlin,1990
D. Montesi and R. Torlone. A Rewriting technique for implementing Active Object Systems. To appear Proc. International Symposium on Object-Oriented Methodologies and Systems (ISOOMS), Palermo, 1994.
F.G. McCabe. Logic and Objects. PhD thesis, University of London, November 1988.
O. Nierstrasz. Towards an object calculus. In ECOOP ’91 workshop on object-based concurrent computing, Lecture Notes in Computer Science, vol. 612, pages 1–20. Springer-Verlag, Berlin,1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag London Limited
About this paper
Cite this paper
Bertino, E., Guerrini, G., Montesi, D. (1995). Generic Methods in Deductive Object Databases. In: Patel, D., Sun, Y., Patel, S. (eds) OOIS’94. Springer, London. https://doi.org/10.1007/978-1-4471-3016-1_16
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3016-1_16
Publisher Name: Springer, London
Print ISBN: 978-3-540-19927-4
Online ISBN: 978-1-4471-3016-1
eBook Packages: Springer Book Archive