A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).

@inproceedings{DBLP:conf/pods/KiferW89,
  author    = {Michael Kifer and
               James Wu},
  editor    = {Avi Silberschatz},
  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, USA},
  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}
}

Abstract

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.

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• UNIX/LINUX/Mac: use mount point /pods8298/... or /cdrom/...

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• UNIX/LINUX/Mac: use mount point /aDVD1/... or /cdrom/...

Printed Edition

Online Edition: ACM Digital Library

References

[AbB87]

Serge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794(1995)

[AbG87]

Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. DBPL 1987: 347-374

[AiN86]

Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215(1986)

[BaK86]

François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60

[Ban86]

François Bancilhon: A Logic-Programming/Object-Oriented Cocktail. SIGMOD Record 15(3): 11-21(1986)

[Ban88]

François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162

[BNS87]

...

[Bee88]

Catriel Beeri: Data Models and Languages for Databases. ICDT 1988: 19-40

[BNT88]

Catriel Beeri, Roger Nasr, Shalom Tsur: Embedding Psi-Terms in a Horn-Clause Logic Language. JCDKB 1988: 347-359

[Bel75]

...

[Bel76]

...

[BlS87]

Howard A. Blair, V. S. Subrahmanian: Paraconsistent Logic Programming. FSTTCS 1987: 340-360

[ChL73]

...

[ChW89]

Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378

[Fag82]

Ronald Fagin: Horn clauses and database dependencies. J. ACM 29(4): 952-985(1982)

[FiK85]

Richard Fikes, Tom Kehler: The Role of Frame-Based Representation in Reasoning. Commun. ACM 28(9): 904-920(1985)

[Fit88]

Melvin Fitting: Bilattices and the Semantics of Logic Programming. J. Log. Program. 11(1&2): 91-116(1991)

[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

[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

[Hay79]

...

[Hul87]

...

[KhC86]

Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416

[Kif88]

Michael Kifer: On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report). JCDKB 1988: 405-415

[KiL88a]

Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146

[KiL88b]

Michael Kifer, Ai Li: On the Semantics of Rule-Based Expert Systems with Uncertainty. ICDT 1988: 102-117

[KiL89]

Michael Kifer, Eliezer L. Lozinskii: RI: A Logic for Reasoning with Inconsistency. LICS 1989: 253-262

[KuV84]

Gabriel M. Kuper, Moshe Y. Vardi: A New Approach to Database Logic. PODS 1984: 86-96

[Kup87]

...

[LRV88]

Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433

[LeR88]

Christophe Lécluse, Philippe Richard: Modeling Inheritance and Genericity in Object Oriented-Databases. ICDT 1988: 223-238

[Llo87]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7

[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)

[Rub87]

Henryk Rybinski: On First-Order-Logic Databases. ACM Trans. Database Syst. 12(3): 325-349(1987)

[San85]

Erik Sandewall: A Functional Approach to Non-Monotonic Logic. IJCAI 1985: 100-106

[STZ88]

Oded Shmueli, Shalom Tsur, Carlo Zaniolo: Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL). PODS 1988: 15-28

[StB86]

...

[Ull87]

Jeffrey D. Ullman: Database Theory: Past and Future. PODS 1987: 1-10

[Ull88]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents

[VRS88]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS 1988: 221-230

[Var81]

Moshe Y. Vardi: The Decision Problem for Database Dependencies. Inf. Process. Lett. 12(5): 251-254(1981)

[Weg87]

...

[ZAB85]

...

Referenced by

1. Cyril Decleir, Mohand-Said Hacid, Jacques Kouloumdjian: A Database Approach for Modeling and Querying Video Data. ICDE 1999: 6-13
2. Jeonghee Kim, Taisook Han, Suk Kyoon Lee: Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language. DASFAA 1999: 99-108
3. Dieter Fensel, Jürgen Angele, Rudi Studer: The Knowledge Acquisition and Representation Language KARL. IEEE Trans. Knowl. Data Eng. 10(4): 527-550(1998)
4. Zoé Lacroix, Claude Delobel, Philippe Brèche: Object Views and Database Restructuring. DBPL 1997: 180-201
5. Jan Paredaens, Peter Peelman, Letizia Tanca: G-Log: A Graph-Based Query Language. IEEE Trans. Knowl. Data Eng. 7(3): 436-453(1995)
6. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
   Contents
7. Nabil Kamel, Ping Wu, Stanley Y. W. Su: A Pattern-Based Object Calculus. VLDB J. 3(1): 53-76(1994)
8. V. S. Subrahmanian: Amalgamating Knowledge Bases. ACM Trans. Database Syst. 19(2): 291-331(1994)
9. Giuseppe Di Battista, Maurizio Lenzerini: Deductive Entity-Relationship Modeling. IEEE Trans. Knowl. Data Eng. 5(3): 439-450(1993)
10. Anton P. Karadimce, Susan Darling Urban: A Framework for Declarative Updates and Constraint Maintenance in Object-Oriented Databases. ICDE 1993: 391-398
11. Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca: IsaLog: A declarative language for complex objects with hierarchies. ICDE 1993: 219-228
12. Michael Kramer, Georg Lausen, Gunter Saake: Updates in a Rule-Based Language for Objects. VLDB 1992: 251-262
13. Michael Kifer, Won Kim, Yehoshua Sagiv: Querying Object-Oriented Databases. SIGMOD Conference 1992: 393-402
14. Isabel F. Cruz: DOODLE: A Visual Language for Object-Oriented Databases. SIGMOD Conference 1992: 71-80
15. Catriel Beeri: New Data Models and Languages - the Challenge. PODS 1992: 1-15
16. Jan Van den Bussche, Dirk Van Gucht: A Hierarchy of Faithful Set Creation in Pure OODB's. ICDT 1992: 326-340
17. Gene T. J. Wuu, Umeshwar Dayal: A Uniform Model for Temporal Object-Oriented Databases. ICDE 1992: 584-593
18. Michael Kifer: A First-Order Formalism of Object-Oriented Languages. IEEE Data Eng. Bull. 14(2): 13-17(1991)
19. 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)
20. Alexandra Poulovassilis, Carol Small: A Functional Programming Approach to Deductive Databases. VLDB 1991: 491-500
21. Yanjun Lou, Z. Meral Özsoyoglu: LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance. SIGMOD Conference 1991: 198-207
22. Serge Abiteboul, Anthony J. Bonner: Objects and Views. SIGMOD Conference 1991: 238-247
23. Richard Hull, Masatoshi Yoshikawa: On the Equivalence of Database Restructurings Involving Object Identifiers. PODS 1991: 328-340
24. Peter Sander: Specifying Operations for Nested Relations by Rules and Partial Orders. MFDBS 1991: 44-58
25. Andreas Heuer, Peter Sander: Classifying Object-Oriented Query Results in a Class/Type Lattice. MFDBS 1991: 14-28
26. Filippo Cacace, Stefano Ceri, Letizia Tanca: Consistency and Non-determinism in a Database Programming Language. MFDBS 1991: 325-341
27. Andreas Heuer, Peter Sander: Preserving and Generating Objects in the LIVING IN A LATTICE Rule Language. ICDE 1991: 562-569
28. Yves Caseau, Laurent Perron: A Type System for Object-Oriented Database Programming and Querying Languages. DBPL 1991: 218-235
29. Yves Caseau: The LAURE Model for Object-Oriented Logic Databases. DASFAA 1991: 411-420
30. Inderpal Singh Mumick, Hamid Pirahesh, Raghu Ramakrishnan: The Magic of Duplicates and Aggregates. VLDB 1990: 264-277
31. Richard Hull, Masatoshi Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. VLDB 1990: 455-468
32. 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
33. Won Kim: Research Directions in Object-Oriented Database Systems. PODS 1990: 1-15
34. Catriel Beeri, Yoram Kornatzky: The Many Faces of Query Monotonicity. EDBT 1990: 120-135
35. Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146
36. Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173
37. Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378
38. Sanjay Manchanda: "Higher-Order" Logic As a Data Model. DBPL 1989: 330-341
39. Umeshwar Dayal: Queries and Views in an Object-Oriented Data Model. DBPL 1989: 80-102
40. Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329

Last update Fri May 25 08:32:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page