Implementing abstract objects with inheritance in datalogneg

Proceedings of the 23rd International Conference on Very Large Databases, VLDB 1997

Volumn , Issue , 1997, Pages 56-65

  Jamil, Hasan M ^a  

^a MACQUARIE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING;

ABSTRACT OBJECT; CONFLICT RESOLUTION; DEDUCTIVE SYSTEMS; INHERITANCE WITH OVERRIDING; NON-MONOTONIC REASONING; OBJECT ORIENTED; OPTIMIZATION TECHNIQUES; REDUCTION TECHNIQUES;

OBJECT-ORIENTED DATABASES;

EID: 84994086540     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. S. Abiteboul, G. Lauseti, H. Uphoff, and E. Waller. Methods and Rules. In ACM SIGMOD Conference on Management of Data, pages 32-41, 1993.
2. F. Belli, O. Jack, and L. Naish. Object-oriented programming in Prolog; Rationale and a case study. Technical Report 92/2, Department of Electrical and Electronics Engineering, University of Paderbom, Paderborn, Germany, 1992.
3. 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.
4. 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.
5. M. Bugliesi. A declarative view of inheritance in logic programming. In K. Apt, editor, Proc. .Joint Int. Conference and Symposium on Logic Programming, pages 1 13 130. The MIT Press, 1992.
6. M. Bugliesi and H. M. Jamil. A logic for encapsula tion in object oriented languages. In M. 1 lennenegildo and J. Penjam, editors, Proceedings of the 6th Inter-national Symposium on Programming Language Im plementation and Logic Programming (PLILP), pages 213-229, Madrid, Spain, 1994. Springer-Verlag. LNCS 844.
7. M. Bugliesi and 11. M. Jamil. A stable model seman tics for behavioral inheritance in deductive object ori ented languages. In G. Gottlob and M. Y. Vardi, ed itors, Proceedings of the 5th International Conference on Database Theory (ICDT), pages 222-237, Prague. Czech Republic, 1995. Springer-Verlag. LNCS 893.
8. M. Dalai and D. Gangopadhyay. OOLP: A transla tion approach to object-oriented logic programming. In Proceedings of the First DOOD Conference, pages 593-606, 1990.
9. H. M. Jamil. Architecture and implementation of the Visual Datalog1 f system. Technical report. Department of Computing, Macquarie University, Sydney. Australia, February 1997. Submitted for publication.
10. H. M. Jamil. Inheritance with overriding without, non monotonic reasoning in Datalog 1st Proceedings of the 5th International ICLP Workshop on Deductive Databases and Logic Programming (DDLP), Leuven, Belgium, July 1997.
11. II. M. Jamil and L. V. S. Lakshmanan. A declar ative semantics for behavioral inheritance and con flict resolution. In John Lloyd, editor. Proceedings of the 12th International Logic Programming Symposium, pages 130-144, Portland, Oregon, December 1995. MIT Press.
12. M. Kifer, G. Lausen, and J. Wu. Logical Foundations for Object-Oriented and Frame-Based Languages. Journal of the Association of Compuiinq Machinery, 42(3):741 843, July 1995.
13. W. Kim. A model of queries for object-oriented databases. Technical Report ACA-ST-365-88, MCC, 1988.
14. M. J. Lawley. A Prolog interpreter for F-logie. Un published Manuscript. Critlith University, Brisbane, Australia, 1993.
15. C. Lecluse, P. Richard, and F. Velez. 02, An Object-Oriented Data Model ACM Press, 1987.
16. D. Maier and J. Stein. Development and implementation of object-oriented DBMS. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 355 392, Cambridge, MA, 1987. MIT Press.
17. D. Miller. A Logical Analysis of Modules in Logic Programming. Journal of Logic Programming, 6(1/2):79-108, January/March 1989.
18. R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL,: Control, Relations and Logic. In Proc. of 18th VLDB Conference, pages 238-250, 1992.
19. B. Stroustroup. The C++ Programming Language. Addison-Wesley, 1986.