ACM SIGMOD Anthology TKDE dblp.uni-trier.de

COMPLEX: An Object-Oriented Logic Programming System.

Sergio Greco, Nicola Leone, Pasquale Rullo: COMPLEX: An Object-Oriented Logic Programming System. IEEE Trans. Knowl. Data Eng. 4(4): 344-359(1992)
@article{DBLP:journals/tkde/GrecoLR92,
  author    = {Sergio Greco and
               Nicola Leone and
               Pasquale Rullo},
  title     = {COMPLEX: An Object-Oriented Logic Programming System},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {4},
  number    = {4},
  year      = {1992},
  pages     = {344-359},
  ee        = {db/journals/tkde/GrecoLR92.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1992 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.


Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 2, TODS 1991-1995, TKDE 1989-1992" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

References

[1]
Serge Abiteboul: Towards a Deductive Object-Oriented Database Language. Data Knowl. Eng. 5: 263-287(1990) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
Serge Abiteboul, Catriel Beeri, Marc Gyssens, Dirk Van Gucht: An Introduction to the Completeness of Languages for Complex Objects and Nested Relations. NF² 1987: 117-138 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
Isaac Balbin, Kotagiri Ramamohanarao: A Generalization of the Differential Approach to Recursive Query Evaluation. J. Log. Program. 4(3): 259-262(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
...
[8]
...
[9]
François Bancilhon: Naive Evaluation of Recursively Defined Relations. On Knowledge Base Management Systems (Islamorada) 1985: 165-178 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
W. F. Clocksin, Chris Mellish: Programming in Prolog. Springer 1981
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
...
[16]
Andrei P. Ershov: On the Partial Computation Principle. Inf. Process. Lett. 6(2): 38-41(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
...
[18]
Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[19]
...
[20]
Henry F. Korth, Mark A. Roth: Query Languages for Nested Relational Databases. NF² 1987: 190-204 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[22]
...
[23]
...
[24]
Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[25]
...
[26]
Domenico Saccà, Carlo Zaniolo: On the Implementation of a Simple Class of Logic Queries for Databases. PODS 1986: 16-23 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[27]
Domenico Saccà, Carlo Zaniolo: The Generalized Counting Method for Recursive Logic Queries. Theor. Comput. Sci. 62(1-2): 187-220(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[28]
Domenico Saccà, Carlo Zaniolo: Magic Counting Methods. SIGMOD Conference 1987: 49-59 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[29]
Domenico Saccà, M. Dispinzeri, A. Mecchia, Clara Pizzuti, C. Del Gracco, Paolo Naggar: The Advanced Database Environment of the KIWI System. IEEE Data Eng. Bull. 10(4): 20-27(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[30]
Domenico Saccà, Carlo Zaniolo: Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. ICLP 1987: 104-135 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[31]
Laurent Vieille: Recursive Axioms in Deductive Databases: The Query/Subquery Approach. Expert Database Conf. 1986: 253-267 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[32]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[33]
...

Copyright © Thu Dec 24 17:19:02 2009 by Michael Ley (ley@uni-trier.de)