ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance.

Yanjun Lou, Z. Meral Özsoyoglu: LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance. SIGMOD Conference 1991: 198-207
@inproceedings{DBLP:conf/sigmod/LouO91,
  author    = {Yanjun Lou and
               Z. Meral {\"O}zsoyoglu},
  editor    = {James Clifford and
               Roger King},
  title     = {LLO: An Object-Oriented Deductive Language with Methods and Method
               Inheritance},
  booktitle = {Proceedings of the 1991 ACM SIGMOD International Conference on
               Management of Data, Denver, Colorado, May 29-31, 1991},
  publisher = {ACM Press},
  year      = {1991},
  pages     = {198-207},
  ee        = {http://doi.acm.org/10.1145/115790.115819, db/conf/sigmod/LouO91.html},
  crossref  = {DBLP:conf/sigmod/91},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Integrating value-oriented and object-oriented data models is one of the active research directions in database field. Current Horn clause languages do not have the concept of methods and there is no polymorphism. In this paper, we consider Horn clause programs from an object-oriented perspective. Our observation is that Horn clause languages can be extended and object-oriented features can be integrated with the support of a proper data model. Based on this observation, we present a deductive object-oriented database language, LLO, together with its supporting data model, which uses meta variables as an abstract mechanism to build type/class hierarchies. Methods are defined by rules and method inheritance is achieved through typing and unification mechanisms. Procedural semantics is also presented and several related issues are addressed.

Copyright © 1991 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.


ACM SIGMOD Anthology

Online Version (ACM WWW Account required): Full Text in PDF Format

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

James Clifford, Roger King (Eds.): Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, Denver, Colorado, May 29-31, 1991. ACM Press 1991 BibTeX , SIGMOD Record 20(2), June 1991
Contents

Online Edition: ACM Digital Library

[Index Terms]
[Full Text in PDF Format, 1196 KB]

References

[AbGr87]
Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. DBPL 1987: 347-374 BibTeX
[AbKa89]
Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX
[ABW87]
...
[AKW90]
Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller: Method Schemas. PODS 1990: 16-27 BibTeX
[AiNa86]
Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215(1986) BibTeX
[Banc88]
François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162 BibTeX
[Ban+88]
François Bancilhon, Gilles Barbedette, Véronique Benzaken, Claude Delobel, Sophie Gamerman, Christophe Lécluse, Patrick Pfeffer, Philippe Richard, Fernando Vélez: The Design and Implementation of O2, an Object-Oriented Database Systems. OODBS 1988: 1-32 BibTeX
[Bee+87]
Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37 BibTeX
[Card88]
Luca Cardelli: A Semantics of Multiple Inheritance. Inf. Comput. 76(2/3): 138-164(1988) BibTeX
[CaWe85]
Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985) BibTeX
[ChWa89]
Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378 BibTeX
[CKW89]
Weidong Chen, Michael Kifer, David Scott Warren: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114 BibTeX
[HuY90]
Richard Hull, Masatoshi Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. VLDB 1990: 455-468 BibTeX
[KiLa89]
Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146 BibTeX
[KiWu89]
Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393 BibTeX
[Kim90]
Won Kim: Object-Oriented Databases: Definition and Research Directions. IEEE Trans. Knowl. Data Eng. 2(3): 327-341(1990) BibTeX
[LeRi89]
Christophe Lécluse, Philippe Richard: Modeling Complex Structures in Object-Oriented Databases. PODS 1989: 360-368 BibTeX
[Lloy84]
John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
BibTeX
[LoOz90a]
...
[LoOz90b]
Yanjun Lou, Z. Meral Özsoyoglu: Meta Variables and Inheritance in an Object-Oriented Data Model. DEXA 1991: 245-250 BibTeX
[LoOz90c]
...
[Maie86]
...
[Osbo89]
Sylvia L. Osborn: The Role of Polymorphism in Schema Evolution in an Object-Oriented Database. IEEE Trans. Knowl. Data Eng. 1(3): 310-317(1989) BibTeX
[ScSc]
Marc H. Scholl, Hans-Jörg Schek: A Relational Object Model. ICDT 1990: 89-105 BibTeX
[StOz90]
...
[ZdMa90]
...

Referenced by

  1. Elisa Bertino, Paola Foscoli: On Modeling Cost Functions for Object-Oriented Databases. IEEE Trans. Knowl. Data Eng. 9(3): 500-508(1997)
  2. Nevzat Hurkan Balkir, Eser Sükan, Gultekin Özsoyoglu, Z. Meral Özsoyoglu: VISUAL: A Graphical Icon-Based Query Language. ICDE 1996: 524-533
  3. Maria L. Barja, Norman W. Paton, Alvaro A. A. Fernandes, M. Howard Williams, Andrew Dinn: An Effective Deductive Object-Oriented Database Through Language Integration. VLDB 1994: 463-474
  4. Gultekin Özsoyoglu, Z. Meral Özsoyoglu, Kumar V. Vadaparty: A Scientific Database System for Polymers and Materials Engineering Needs. SSDBM 1994: 138-148
  5. Kumar V. Vadaparty, Y. Alp Aslandogan, Gultekin Özsoyoglu: Towards a Unified Visual Database Access. SIGMOD Conference 1993: 357-366
  6. Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller: Methods and Rules. SIGMOD Conference 1993: 32-41
  7. Susumu Goto, Norihiro Sakamoto, Toshihisa Takagi: Object-Oriented Database with Rule-Based Query Interface for Genomic Computation. DASFAA 1993: 65-72
  8. Witold Litwin, Tore Risch: Main Memory Oriented Optimization of OO Queries Using Typed Datalog with Foreign Predicates. IEEE Trans. Knowl. Data Eng. 4(6): 517-528(1992)
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:40:06 2009