HiLog as a Platform for Database Languages.

@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

• 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
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-5 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
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

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

[2]

Harvey Abramson: Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming. ICLP/SLP 1988: 233-248 BibTeX

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

[4]

Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982) BibTeX

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

[6]

Weidong Chen, Michael Kifer, David Scott Warren: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114 BibTeX

[7]

...

[8]

Weidong Chen: A Theory of Modules Based on Second-Order Logic. SLP 1987: 24-33 BibTeX

[9]

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

[10]

...

[11]

...

[12]

...

[13]

Warren D. Goldfarb: The Undecidability of the Second-Order Unification Problem. Theor. Comput. Sci. 13: 225-230(1981) BibTeX

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

[18]

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

[19]

Ravi Krishnamurthy, Shamim A. Naqvi: Towards a Real Horn Clause Language. VLDB 1988: 252-263 BibTeX

[20]

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

[21]

...

[22]

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

[23]

Jean-Louis Lassez, Michael J. Maher, Kim Marriott: Unification Revisited. Foundations of Deductive Databases and Logic Programming. 1988: 587-625 BibTeX

[24]

Vladimir Lifschitz: On the Declarative Semantics of Logic Programs with Negation. Foundations of Deductive Databases and Logic Programming. 1988: 177-192 BibTeX

[25]

...

[26]

Anthony S. Maida: Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals. IJCAI 1983: 382-384 BibTeX

[27]

...

[28]

Alberto Martelli, Ugo Montanari: An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4(2): 258-282(1982) BibTeX

[29]

Amihai Motro: BAROQUE: A Browser for Relational Databases. ACM Trans. Inf. Syst. 4(2): 164-181(1986) BibTeX

[30]

Dale Miller, Gopalan Nadathur: Higher-Order Logic Programming. ICLP 1986: 448-462 BibTeX

[31]

...

[32]

David Maier, David Scott Warren: Computing with Logic: Logic Programming with Prolog. Benjamin/Cummings 1988, ISBN 0-8053-6681-4
BibTeX

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

[35]

Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) BibTeX

[36]

...

[37]

...

Referenced by

1. Renée J. Miller: Using Schematically Heterogeneous Structures. SIGMOD Conference 1998: 189-200
2. Nevzat Hurkan Balkir, Eser Sükan, Gultekin Özsoyoglu, Z. Meral Özsoyoglu: VISUAL: A Graphical Icon-Based Query Language. ICDE 1996: 524-533
3. Johann Eder: View Definitions with Parameters. ADBIS 1995: 170-184
4. Kumar V. Vadaparty, Y. Alp Aslandogan, Gultekin Özsoyoglu: Towards a Unified Visual Database Access. SIGMOD Conference 1993: 357-366
5. José Meseguer, Xiaolei Qian: A Logical Semantics for Object-Oriented Databases. SIGMOD Conference 1993: 89-98
6. Catriel Beeri: New Data Models and Languages - the Challenge. PODS 1992: 1-15
7. Alexandra Poulovassilis, Carol Small: A Functional Programming Approach to Deductive Databases. VLDB 1991: 491-500
8. Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross: Glue-Nail: A Deductive Database System. SIGMOD Conference 1991: 308-317
9. Peter Sander: Specifying Operations for Nested Relations by Rules and Partial Orders. MFDBS 1991: 44-58
10. Yves Caseau: The LAURE Model for Object-Oriented Logic Databases. DASFAA 1991: 411-420
11. Shamim A. Naqvi: Stratification as a Design Principle in Logical Query Langugages. DBPL 1989: 342-356
12. Sanjay Manchanda: "Higher-Order" Logic As a Data Model. DBPL 1989: 330-341