ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

HiLog as a Platform for Database Languages.

Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329
@inproceedings{DBLP:conf/dbpl/ChenKW89,
  author    = {Weidong Chen and
               Michael Kifer and
               David Scott Warren},
  editor    = {Richard Hull and
               Ronald Morrison and
               David W. Stemple},
  title     = {HiLog as a Platform for Database Languages},
  booktitle = {Proceedings of the Second International Workshop on Database
               Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden
               Beach, Oregon},
  publisher = {Morgan Kaufmann},
  year      = {1989},
  isbn      = {1-55860-072-8},
  pages     = {315-329},
  ee        = {db/conf/dbpl/ChenKW89.html},
  crossref  = {DBLP:conf/dbpl/89},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 5, SSDBM, DBPL, KRDB, ADBIS, COOPIS, SIGBDP" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

References

[1]
Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. DBPL 1987: 347-374 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
Harvey Abramson: Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming. ICLP/SLP 1988: 233-248 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
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
[4]
Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
Weidong Chen, Michael Kifer, David Scott Warren: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
...
[8]
Weidong Chen: A Theory of Modules Based on Second-Order Logic. SLP 1987: 24-33 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
...
[11]
...
[12]
...
[13]
Warren D. Goldfarb: The Undecidability of the Second-Order Unification Problem. Theor. Comput. Sci. 13: 225-230(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
...
[15]
...
[16]
...
[17]
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
[18]
Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[19]
Ravi Krishnamurthy, Shamim A. Naqvi: Towards a Real Horn Clause Language. VLDB 1988: 252-263 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[20]
Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
...
[22]
Gabriel M. Kuper, Moshe Y. Vardi: A New Approach to Database Logic. PODS 1984: 86-96 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[23]
Jean-Louis Lassez, Michael J. Maher, Kim Marriott: Unification Revisited. Foundations of Deductive Databases and Logic Programming. 1988: 587-625 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[24]
Vladimir Lifschitz: On the Declarative Semantics of Logic Programs with Negation. Foundations of Deductive Databases and Logic Programming. 1988: 177-192 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[25]
...
[26]
Anthony S. Maida: Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals. IJCAI 1983: 382-384 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[27]
...
[28]
Alberto Martelli, Ugo Montanari: An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4(2): 258-282(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[29]
Amihai Motro: BAROQUE: A Browser for Relational Databases. ACM Trans. Inf. Syst. 4(2): 164-181(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[30]
Dale Miller, Gopalan Nadathur: Higher-Order Logic Programming. ICLP 1986: 448-462 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[31]
...
[32]
David Maier, David Scott Warren: Computing with Logic: Logic Programming with Prolog. Benjamin/Cummings 1988, ISBN 0-8053-6681-4
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[33]
...
[34]
Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[35]
Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[36]
...
[37]
...

Copyright © Fri Mar 12 17:09:26 2010 by Michael Ley (ley@uni-trier.de)