dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

"Higher-Order" Logic As a Data Model.

Sanjay Manchanda: "Higher-Order" Logic As a Data Model. DBPL 1989: 330-341
@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

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

[AB87]
Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AG87]
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
[And86]
...
[Che87]
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
[Chu40]
...
[CKW89]
Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CM84]
George P. Copeland, David Maier: Making Smalltalk a Database System. SIGMOD Conference 1984: 316-325 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Cod79]
E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CW89]
Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[End72]
...
[Kup87]
Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KV84]
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
[KV85]
Gabriel M. Kuper, Moshe Y. Vardi: On the Expressive Power of the Logical Data Model (Preliminary Report). SIGMOD Conference 1985: 180-187 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KW88]
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
[Mai86]
...
[Man88]
Sanjay Manchanda: Declarative Expression of Deductive Database Updates. PODS 1989: 93-100 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[MN86]
Dale Miller, Gopalan Nadathur: Higher-Order Logic Programming. ICLP 1986: 448-462 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[MS86]
David Maier, Jacob Stein: Indexing in an Object-Oriented DBMS. OODBS 1986: 171-182 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[MW87]
Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[OBS86]
Patrick O'Brien, Bruce Bullis, Craig Schaffert: Persistent and Shared Objects in Trellis/Owl. OODBS 1986: 113-123 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Qui80]
...
[RB87]
François Bancilhon, Raghu Ramakrishnan: Performance Evaluation of Data Intensive Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 439-517 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SB86]
Mark Stefik, Daniel G. Bobrow: Object-Oriented Programming: Themes and Variations. AI Magazine 6(4): 40-62(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sto84]
Michael Stonebraker, Erika Anderson, Eric N. Hanson, W. Bradley Rubenstein: Quel as a Data Type. SIGMOD Conference 1984: 208-214 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sto86]
Michael Stonebraker: Object Management in Postgres Using Procedures. OODBS 1986: 66-72 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[TZ86]
Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ull88]
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
[Zan83]
Carlo Zaniolo: The Database Language GEM. SIGMOD Conference 1983: 207-218 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Mon Sep 17 23:24:26 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page