A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).
Michael Kifer, James Wu:
A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).
PODS 1989: 379-393@inproceedings{DBLP:conf/pods/KiferW89,
author = {Michael Kifer and
James Wu},
title = {A Logic for Object-Oriented Logic Programming (Maier's O-Logic
Revisited)},
booktitle = {Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium
on Principles of Database Systems, March 29-31, 1989, Philadelphia,
Pennsylvania},
publisher = {ACM Press},
year = {1989},
isbn = {0-89791-308-6},
pages = {379-393},
ee = {http://doi.acm.org/10.1145/73721.73758, db/conf/pods/KiferW89.html},
crossref = {DBLP:conf/pods/89},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
We present a logic for reasoning about complex objects, which is a revised and significantly extended version of Maier's O-logic [Mai86]. The logic naturally supports complex objects, object identity, deduction, is tolerant to inconsistent data, and has many other interesting features. It elegantly combines the object-oriented and value-oriented paradigms and, in particular, contains all of the predicate calculus as a special case. Our treatment of sets is also noteworthy: it is more general than ELPS [Kup87] and COL [AbG87], yet it avoids the semantic problems encountered in LDL [BNS87]. The proposed logic has a sound and complete resolution-based proof procedure.
Copyright © 1989 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.
Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98.
and ...
Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings.
and ...
BibTeX
Printed Edition
Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania.
ACM Press 1989, ISBN 0-89791-308-6
Contents BibTeX
References
- [AbB87]
- Serge Abiteboul, Catriel Beeri:
The Power of Languages for the Manipulation of Complex Values.
VLDB J. 4(4): 727-794(1995) BibTeX
- [AbG87]
- Serge Abiteboul, Stéphane Grumbach:
COL: A Logic-Based Language for Complex Objects.
DBPL 1987: 347-374 BibTeX
- [AiN86]
- Hassan Aït-Kaci, Roger Nasr:
LOGIN: A Logic Programming Language with Built-In Inheritance.
J. Log. Program. 3(3): 185-215(1986) BibTeX
- [BaK86]
- François Bancilhon, Setrag Khoshafian:
A Calculus for Complex Objects.
PODS 1986: 53-60 BibTeX
- [Ban86]
- François Bancilhon:
A Logic-Programming/Object-Oriented Cocktail.
SIGMOD Record 15(3): 11-21(1986) BibTeX
- [Ban88]
- François Bancilhon:
Object-Oriented Database Systems.
PODS 1988: 152-162 BibTeX
- [BNS87]
- ...
- [Bee88]
- Catriel Beeri:
Data Models and Languages for Databases.
ICDT 1988: 19-40 BibTeX
- [BNT88]
- Catriel Beeri, Roger Nasr, Shalom Tsur:
Embedding Psi-Terms in a Horn-Clause Logic Language.
JCDKB 1988: 347-359 BibTeX
- [Bel75]
- ...
- [Bel76]
- ...
- [BlS87]
- Howard A. Blair, V. S. Subrahmanian:
Paraconsistent Logic Programming.
FSTTCS 1987: 340-360 BibTeX
- [ChL73]
- ...
- [ChW89]
- Weidong Chen, David Scott Warren:
C-Logic of Complex Objects.
PODS 1989: 369-378 BibTeX
- [Fag82]
- Ronald Fagin:
Horn clauses and database dependencies.
J. ACM 29(4): 952-985(1982) BibTeX
- [FiK85]
- Richard Fikes, Tom Kehler:
The Role of Frame-Based Representation in Reasoning.
Commun. ACM 28(9): 904-920(1985) BibTeX
- [Fit88]
- Melvin Fitting:
Bilattices and the Semantics of Logic Programming.
J. Log. Program. 11(1&2): 91-116(1991) BibTeX
- [GaJ78]
- M. R. Garey, David S. Johnson:
Computers and Intractability: A Guide to the Theory of NP-Completeness.
W. H. Freeman 1979, ISBN 0-7167-1044-7
BibTeX
- [Gin87]
- ...
- [GyV88]
- Marc Gyssens, Dirk Van Gucht:
The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra.
SIGMOD Conference 1988: 225-232 BibTeX
- [Hay79]
- ...
- [Hul87]
- ...
- [KhC86]
- Setrag Khoshafian, George P. Copeland:
Object Identity.
OOPSLA 1986: 406-416 BibTeX
- [Kif88]
- Michael Kifer:
On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report).
JCDKB 1988: 405-415 BibTeX
- [KiL88a]
- Michael Kifer, Georg Lausen:
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.
SIGMOD Conference 1989: 134-146 BibTeX
- [KiL88b]
- Michael Kifer, Ai Li:
On the Semantics of Rule-Based Expert Systems with Uncertainty.
ICDT 1988: 102-117 BibTeX
- [KiL89]
- Michael Kifer, Eliezer L. Lozinskii:
RI: A Logic for Reasoning with Inconsistency.
LICS 1989: 253-262 BibTeX
- [KuV84]
- Gabriel M. Kuper, Moshe Y. Vardi:
A New Approach to Database Logic.
PODS 1984: 86-96 BibTeX
- [Kup87]
- ...
- [LRV88]
- Christophe Lécluse, Philippe Richard, Fernando Vélez:
O2, an Object-Oriented Data Model.
SIGMOD Conference 1988: 424-433 BibTeX
- [LeR88]
- Christophe Lécluse, Philippe Richard:
Modeling Inheritance and Genericity in Object Oriented-Databases.
ICDT 1988: 223-238 BibTeX
- [Llo87]
- John W. Lloyd:
Foundations of Logic Programming, 2nd Edition.
Springer 1987, ISBN 3-540-18199-7
BibTeX
- [Mai86]
- ...
- [Prz88]
- ...
- [RKS85]
- Mark A. Roth, Henry F. Korth, Abraham Silberschatz:
Extended Algebra and Calculus for Nested Relational Databases.
ACM Trans. Database Syst. 13(4): 389-417(1988) BibTeX
- [Rub87]
- Henryk Rybinski:
On First-Order-Logic Databases.
ACM Trans. Database Syst. 12(3): 325-349(1987) BibTeX
- [San85]
- Erik Sandewall:
A Functional Approach to Non-Monotonic Logic.
IJCAI 1985: 100-106 BibTeX
- [STZ88]
- Oded Shmueli, Shalom Tsur, Carlo Zaniolo:
Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL).
PODS 1988: 15-28 BibTeX
- [StB86]
- ...
- [Ull87]
- Jeffrey D. Ullman:
Database Theory: Past and Future.
PODS 1987: 1-10 BibTeX
- [Ull88]
- Jeffrey D. Ullman:
Principles of Database and Knowledge-Base Systems, Volume I.
Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
- [VRS88]
- Allen Van Gelder, Kenneth A. Ross, John S. Schlipf:
Unfounded Sets and Well-Founded Semantics for General Logic Programs.
PODS 1988: 221-230 BibTeX
- [Var81]
- Moshe Y. Vardi:
The Decision Problem for Database Dependencies.
Inf. Process. Lett. 12(5): 251-254(1981) BibTeX
- [Weg87]
- ...
- [ZAB85]
- ...
Referenced by
- Cyril Decleir, Mohand-Said Hacid, Jacques Kouloumdjian:
A Database Approach for Modeling and Querying Video Data.
ICDE 1999: 6-13
- Jeonghee Kim, Taisook Han, Suk Kyoon Lee:
Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language.
DASFAA 1999: 99-108
- Dieter Fensel, Jürgen Angele, Rudi Studer:
The Knowledge Acquisition and Representation Language KARL.
IEEE Trans. Knowl. Data Eng. 10(4): 527-550(1998)
- Zoé Lacroix, Claude Delobel, Philippe Brèche:
Object Views and Database Restructuring.
DBPL 1997: 180-201
- Jan Paredaens, Peter Peelman, Letizia Tanca:
G-Log: A Graph-Based Query Language.
IEEE Trans. Knowl. Data Eng. 7(3): 436-453(1995)
- Serge Abiteboul, Richard Hull, Victor Vianu:
Foundations of Databases.
Addison-Wesley 1995, ISBN 0-201-53771-0
Contents - Nabil Kamel, Ping Wu, Stanley Y. W. Su:
A Pattern-Based Object Calculus.
VLDB J. 3(1): 53-76(1994)
- V. S. Subrahmanian:
Amalgamating Knowledge Bases.
ACM Trans. Database Syst. 19(2): 291-331(1994)
- Giuseppe Di Battista, Maurizio Lenzerini:
Deductive Entity-Relationship Modeling.
IEEE Trans. Knowl. Data Eng. 5(3): 439-450(1993)
- Anton P. Karadimce, Susan Darling Urban:
A Framework for Declarative Updates and Constraint Maintenance in Object-Oriented Databases.
ICDE 1993: 391-398
- Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca:
IsaLog: A declarative language for complex objects with hierarchies.
ICDE 1993: 219-228
- Michael Kramer, Georg Lausen, Gunter Saake:
Updates in a Rule-Based Language for Objects.
VLDB 1992: 251-262
- Michael Kifer, Won Kim, Yehoshua Sagiv:
Querying Object-Oriented Databases.
SIGMOD Conference 1992: 393-402
- Isabel F. Cruz:
DOODLE: A Visual Language for Object-Oriented Databases.
SIGMOD Conference 1992: 71-80
- Catriel Beeri:
New Data Models and Languages - the Challenge.
PODS 1992: 1-15
- Jan Van den Bussche, Dirk Van Gucht:
A Hierarchy of Faithful Set Creation in Pure OODB's.
ICDT 1992: 326-340
- Gene T. J. Wuu, Umeshwar Dayal:
A Uniform Model for Temporal Object-Oriented Databases.
ICDE 1992: 584-593
- Michael Kifer:
A First-Order Formalism of Object-Oriented Languages.
IEEE Data Eng. Bull. 14(2): 13-17(1991)
- Richard Hull, Surjatini Widjojo, Dave Wile, Masatoshi Yoshikawa:
On Data Restructuring and Merging with Object Identity.
IEEE Data Eng. Bull. 14(2): 18-22(1991)
- Alexandra Poulovassilis, Carol Small:
A Functional Programming Approach to Deductive Databases.
VLDB 1991: 491-500
- Yanjun Lou, Z. Meral Özsoyoglu:
LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance.
SIGMOD Conference 1991: 198-207
- Serge Abiteboul, Anthony J. Bonner:
Objects and Views.
SIGMOD Conference 1991: 238-247
- Richard Hull, Masatoshi Yoshikawa:
On the Equivalence of Database Restructurings Involving Object Identifiers.
PODS 1991: 328-340
- Peter Sander:
Specifying Operations for Nested Relations by Rules and Partial Orders.
MFDBS 1991: 44-58
- Andreas Heuer, Peter Sander:
Classifying Object-Oriented Query Results in a Class/Type Lattice.
MFDBS 1991: 14-28
- Filippo Cacace, Stefano Ceri, Letizia Tanca:
Consistency and Non-determinism in a Database Programming Language.
MFDBS 1991: 325-341
- Andreas Heuer, Peter Sander:
Preserving and Generating Objects in the LIVING IN A LATTICE Rule Language.
ICDE 1991: 562-569
- Yves Caseau, Laurent Perron:
A Type System for Object-Oriented Database Programming and Querying Languages.
DBPL 1991: 218-235
- Yves Caseau:
The LAURE Model for Object-Oriented Logic Databases.
DASFAA 1991: 411-420
- Inderpal Singh Mumick, Hamid Pirahesh, Raghu Ramakrishnan:
The Magic of Duplicates and Aggregates.
VLDB 1990: 264-277
- Richard Hull, Masatoshi Yoshikawa:
ILOG: Declarative Creation and Manipulation of Object Identifiers.
VLDB 1990: 455-468
- Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari:
Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm.
SIGMOD Conference 1990: 225-236
- Won Kim:
Research Directions in Object-Oriented Database Systems.
PODS 1990: 1-15
- Catriel Beeri, Yoram Kornatzky:
The Many Faces of Query Monotonicity.
EDBT 1990: 120-135
- Michael Kifer, Georg Lausen:
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.
SIGMOD Conference 1989: 134-146
- Serge Abiteboul, Paris C. Kanellakis:
Object Identity as a Query Language Primitive.
SIGMOD Conference 1989: 159-173
- Weidong Chen, David Scott Warren:
C-Logic of Complex Objects.
PODS 1989: 369-378
- Sanjay Manchanda:
"Higher-Order" Logic As a Data Model.
DBPL 1989: 330-341
- Umeshwar Dayal:
Queries and Views in an Object-Oriented Data Model.
DBPL 1989: 80-102
- Weidong Chen, Michael Kifer, David Scott Warren:
HiLog as a Platform for Database Languages.
DBPL 1989: 315-329
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:33:58 2009