"Higher-Order" Logic As a Data Model.

@inproceedings{DBLP:conf/dbpl/Manchanda89,
  author    = {Sanjay Manchanda},
  editor    = {Richard Hull and
               Ronald Morrison and
               David W. Stemple},
  title     = {"Higher-Order" Logic As a Data Model},
  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     = {330-341},
  ee        = {db/conf/dbpl/Manchanda89.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

[AB87]

Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987) BibTeX

[AG87]

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

[And86]

...

[Che87]

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

[Chu40]

...

[CKW89]

Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329 BibTeX

[CM84]

George P. Copeland, David Maier: Making Smalltalk a Database System. SIGMOD Conference 1984: 316-325 BibTeX

[Cod79]

E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX

[CW89]

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

[End72]

...

[Kup87]

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

[KV84]

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

[KV85]

Gabriel M. Kuper, Moshe Y. Vardi: On the Expressive Power of the Logical Data Model (Preliminary Report). SIGMOD Conference 1985: 180-187 BibTeX

[KW88]

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

[Mai86]

...

[Man88]

Sanjay Manchanda: Declarative Expression of Deductive Database Updates. PODS 1989: 93-100 BibTeX

[MN86]

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

[MS86]

David Maier, Jacob Stein: Indexing in an Object-Oriented DBMS. OODBS 1986: 171-182 BibTeX

[MW87]

Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394 BibTeX

[OBS86]

Patrick O'Brien, Bruce Bullis, Craig Schaffert: Persistent and Shared Objects in Trellis/Owl. OODBS 1986: 113-123 BibTeX

[Qui80]

...

[RB87]

François Bancilhon, Raghu Ramakrishnan: Performance Evaluation of Data Intensive Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 439-517 BibTeX

[SB86]

Mark Stefik, Daniel G. Bobrow: Object-Oriented Programming: Themes and Variations. AI Magazine 6(4): 40-62(1986) BibTeX

[Sto84]

Michael Stonebraker, Erika Anderson, Eric N. Hanson, W. Bradley Rubenstein: Quel as a Data Type. SIGMOD Conference 1984: 208-214 BibTeX

[Sto86]

Michael Stonebraker: Object Management in Postgres Using Procedures. OODBS 1986: 66-72 BibTeX

[TZ86]

Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41 BibTeX

[Ull88]

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

[Zan83]

Carlo Zaniolo: The Database Language GEM. SIGMOD Conference 1983: 207-218 BibTeX

Referenced by

1. Shamim A. Naqvi: Stratification as a Design Principle in Logical Query Langugages. DBPL 1989: 342-356