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.
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
[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
- Elisa Bertino, Paola Foscoli:
On Modeling Cost Functions for Object-Oriented Databases.
IEEE Trans. Knowl. Data Eng. 9(3): 500-508(1997)
- Nevzat Hurkan Balkir, Eser Sükan, Gultekin Özsoyoglu, Z. Meral Özsoyoglu:
VISUAL: A Graphical Icon-Based Query Language.
ICDE 1996: 524-533
- 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
- Gultekin Özsoyoglu, Z. Meral Özsoyoglu, Kumar V. Vadaparty:
A Scientific Database System for Polymers and Materials Engineering Needs.
SSDBM 1994: 138-148
- Kumar V. Vadaparty, Y. Alp Aslandogan, Gultekin Özsoyoglu:
Towards a Unified Visual Database Access.
SIGMOD Conference 1993: 357-366
- Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller:
Methods and Rules.
SIGMOD Conference 1993: 32-41
- Susumu Goto, Norihiro Sakamoto, Toshihisa Takagi:
Object-Oriented Database with Rule-Based Query Interface for Genomic Computation.
DASFAA 1993: 65-72
- 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