Dinn am e ective deductive object oriented database

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: tem: The story of O2 . Morgan Kaufmann, 1992. 109 10] M. L. Barja, N. W. Paton, A. A. A. Fernandes, M. H. Williams, and A. Dinn. Am e ective deductive object-oriented database through language integration. In Proc. of the 20th VLDB Conference, Satiago, Chile, 1994. 11] C. Beeri and R. Ramakrishnan. On the power of magic. In Proceedings of the 6th ACM Symposium on Principles of Database Systems, pages 269{283, 1987. 12] E. Bertino. Data hiding and security in object-oriented databases. In 8th IEEE International Conference on Data Engineering, pages 338{347, 1992. 13] E. Bertino and D. Montesi. Towards a logical object-oriented programming language for databases. In A Pirotte, C. Delobel, and G. Gottlob, editors, Proc. of the 3rd Intl. Conf. on EDBT, pages 168{183. Springer-Verlag, 1992. LNCS 580. 14] G. M. Birtwistle, O.-J. Dahl, B. Myhrhaug, and K. Nygaard. Simula begin. Technical report, Box 1717, S-222 01 Lund, Sweden, Auerbach, Philadelphia, 1973. 15] A. Bonner and M. Kifer. Transaction logic programming. In International Conference on Logic Programming, pages 257{279. MIT Press, 1993. 16] A. H. Borning and D. H. Ingalls. A type declaration and inference system for smalltalk. In Proc. of the ACM Symposium on Principles of Programming Languages, pages 133{141, 1982. 17] M. Bouzeghoub and E. Metais. Semantic modeling of object oriented databases. In Proceedings of the 17th Intl. Conf. on Very Large Data Bases, pages 3{14, 1991. 18] S. Brass and U. W. Lipeck. Semantics of inheritance in logical object specications. In Proceedings of the Intl. Conf. on Deductive and Object-Oriented Databases, pages 411{430, 1991. 19] M. L. Brodie. On the development of data models. On Conceptual Modeling, Perspectives from Arti cial Intelligence, Databases and Programming Languages, pages 19{48, 1984. 110 20] M. Bugliesi. A declarative view of inheritance in logic programming. In K. Apt, editor, Proc. Joint Int. Conference and Symposium on Logic Programming, pages 113{130. The MIT Press, 1992. 21] M. Bugliesi and H. M. Jamil. A logic for encapsulation in object oriented languages. In M. Hermenegildo and J. Penjam, editors, Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP), pages 213{229, Madrid, Spain, 1994. Springer-Verlag. LNCS 844. 22] M. Bugliesi and H. M. Jamil. A stable model semantics for behavioral inheritance in deductive object oriented languages. In G. Gottlob and M. Y. Vardi, editors, Proceedings of the 5th International Conference on Database Theory (ICDT), pages 222{237, Prague, Czech Republic, 1995. Springer-Verlag. LNCS 893. 23] F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanaca, and R. Zicari. Integrating object-oriented data modeling with a rule-based programming paradigm. In ACM SIGMOD, pages 225{236, 1990. 24] W. Chen, M. Kifer, and D. S. Warren. Hilog: A foundation for higher-order logic programming. Journal of Logic Programming, 15(3):187{230, February 1993. 25] M. Dalal and D. Gangopadhyay. OOLP: A translation approach to objectoriented logic programming. In Proceedings of the First DOOD Conference, pages 593{606, 1990. 26] P. Dechamboux and C. Roncancio. Peplomd: An object-oriented database programming language extended with deductive capabilities. In D. Karagiannis, editor, Proc. of the 5th Intl. DEXA Conf., pages 2{14, Athens, Greece, 1994. Springer-Verlag. LNCS 856. 27] G. Decorte, A. Eiger, D. Kroenke, and T. Kyte. An object-oriented model for capturing data semantics. In Proceedings of the 8th IEEE Intl. Conf. on Data Engineering, pages 126{135, 1992. 111 28] Y. Dimopoulos and Antonis Kakas. Logic programming without negation as failure. In John Lloyd, editor, Proceedings of the 12th International Logic Programming Symposium, pages 369{383, Portland, Oregon, December 1995. MIT Press. 29] G. Dobbie and R. Topor. A Model for Inheritance and Overriding in Deductive Object-Oriented Systems. In Sixteen Australian Computer Science Conference, January 1988. 30] G. Dobbie and R. Topor. A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems. In Proc. 3rd Intl. DOOD Conf., pages 473{488, December 1993. 31] H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, London, 1972. 32] D. Chimenti et. al. The LDL system prototype. IEEE Journal on Data and Knowledge Engineering, 2(1):76{90, 1990. 33] M. Fitting. The family of stable models. Journal of Logic Programming, 17(2/4):197, November 1993. 34] A. Formica and M. Missiko . Integrity constraints representation in objectoriented databases. In Proc. 1st Int. Conference on Knowledge and Information Management, 1992. 35] K. Gerti and M. Schre . Object/behavior diagrams. In Proceedings of the 7th IEEE Intl. Conf. on Data Engineering, pages 530{539, 1991. 36] M. Hammer and D. McLeod. Database description with sdm: A semantic database model. ACM Transactions on Database Systems, 6(3), September 1981. 37] J. Han and Z. Li. Derdl - a knowledge-based data language for a deductive entity-...
View Full Document

This document was uploaded on 01/10/2011.

Ask a homework question - tutors are online