C-Logic of Complex Objects.

@inproceedings{DBLP:conf/pods/ChenW89,
  author    = {Weidong Chen and
               David Scott Warren},
  title     = {C-Logic of Complex Objects},
  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     = {369-378},
  ee        = {http://doi.acm.org/10.1145/73721.73757, db/conf/pods/ChenW89.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

[1]

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

[2]

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

[3]

Hassan Aït-Kaci, Roger Nasr: Logic and Inheritance. POPL 1986: 219-228 BibTeX

[4]

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

[5]

Peter Buneman, Malcolm P. Atkinson: Inheritance and Persistence in Database Programming Languages. SIGMOD Conference 1986: 4-15 BibTeX

[6]

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

[7]

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

[8]

...

[9]

...

[10]

David Scott Warren, Saumya K. Debray: Detection and Optimization of Functional Computations in Prolog. ICLP 1986: 490-504 BibTeX

[11]

Martin Huber, Igor Varsek: Extended Prolog for Order-Sorted Resolution. SLP 1987: 34-43 BibTeX

[12]

...

[13]

Richard Hull: Four Views of Complex Objects: A Sophisticate's Introduction. NF² 1987: 87-116 BibTeX

[14]

Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20 BibTeX

[15]

...

[16]

Mohammad A. Ketabchi, Valdis Berzins: Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases. IEEE Trans. Software Eng. 14(1): 71-84(1988) BibTeX

[17]

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

[18]

Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393 BibTeX

[19]

Won Kim, Hong-Tai Chou, Jay Banerjee: Operations and Implementation of Complex Objects. IEEE Trans. Software Eng. 14(7): 985-996(1988) BibTeX

[20]

...

[21]

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

[22]

...

[23]

...

[24]

Jiyang Xu, David Scott Warren: A Type Inference System for Prolog. ICLP/SLP 1988: 604-619 BibTeX

Referenced by

1. Nicola Leone, Pasquale Rullo, Antonella Mecchia, Giuseppe Rossi: A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning. IEEE Trans. Knowl. Data Eng. 9(4): 539-558(1997)
2. F. Nihan Kesim, Marek J. Sergot: A Logic Programming Framework for Modeling Temporal Objects. IEEE Trans. Knowl. Data Eng. 8(5): 724-741(1996)
3. Weidong Chen, Michael Kifer: Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT 1995: 252-265
4. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
   Contents
5. Nabil Kamel, Ping Wu, Stanley Y. W. Su: A Pattern-Based Object Calculus. VLDB J. 3(1): 53-76(1994)
6. Giuseppe Di Battista, Maurizio Lenzerini: Deductive Entity-Relationship Modeling. IEEE Trans. Knowl. Data Eng. 5(3): 439-450(1993)
7. Anton P. Karadimce, Susan Darling Urban: A Framework for Declarative Updates and Constraint Maintenance in Object-Oriented Databases. ICDE 1993: 391-398
8. Sergio Greco, Nicola Leone, Pasquale Rullo: COMPLEX: An Object-Oriented Logic Programming System. IEEE Trans. Knowl. Data Eng. 4(4): 344-359(1992)
9. Michael Kramer, Georg Lausen, Gunter Saake: Updates in a Rule-Based Language for Objects. VLDB 1992: 251-262
10. Isabel F. Cruz: DOODLE: A Visual Language for Object-Oriented Databases. SIGMOD Conference 1992: 71-80
11. Michael Kifer: A First-Order Formalism of Object-Oriented Languages. IEEE Data Eng. Bull. 14(2): 13-17(1991)
12. 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)
13. Yanjun Lou, Z. Meral Özsoyoglu: LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance. SIGMOD Conference 1991: 198-207
14. Richard Hull, Masatoshi Yoshikawa: On the Equivalence of Database Restructurings Involving Object Identifiers. PODS 1991: 328-340
15. Richard Hull, Masatoshi Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. VLDB 1990: 455-468
16. Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146
17. Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393
18. Sanjay Manchanda: "Higher-Order" Logic As a Data Model. DBPL 1989: 330-341
19. Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329