A Type System for Algebraic Database Programming Languages.

Dean Jacobs: A Type System for Algebraic Database Programming Languages. DBPL 1989: 238-247
  author    = {Dean Jacobs},
  editor    = {Richard Hull and
               Ronald Morrison and
               David W. Stemple},
  title     = {A Type System for Algebraic Database Programming 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     = {238-247},
  ee        = {db/conf/dbpl/Jacobs89.html},
  crossref  = {DBLP:conf/dbpl/89},
  bibsource = {DBLP,}

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


Roland Dietrich, Frank Hagl: A Polymorphic Type System with Subtypes for Prolog. ESOP 1988: 79-93 BibTeX
Martin Huber, Igor Varsek: Extended Prolog for Order-Sorted Resolution. SLP 1987: 34-43 BibTeX
John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
Robin Milner: A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. 17(3): 348-375(1978) BibTeX
Prateek Mishra: Towards a Theory of Types in Prolog. SLP 1984: 289-298 BibTeX
Alan Mycroft, Richard A. O'Keefe: A Polymorphic Type System for Prolog. Artif. Intell. 23(3): 295-307(1984) BibTeX
Prateek Mishra, Uday S. Reddy: Declaration-Free Type Checking. POPL 1985: 7-21 BibTeX
Changwoo Pyo, Uday S. Reddy: Inference of Polymorphic Types for Logic Programs. NACLP 1989: 1115-1132 BibTeX
Gert Smolka: Logic Programming with Polymorphically Order-Sorted Types. ALP 1988: 53-70 BibTeX
Christoph Walther: Many-sorted unification. J. ACM 35(1): 1-17(1988) BibTeX
Justin Zobel: Derivation of Polymorphic Types for PROLOG Programs. ICLP 1987: 817-838 BibTeX

Referenced by

  1. Yves Caseau, Laurent Perron: A Type System for Object-Oriented Database Programming and Querying Languages. DBPL 1991: 218-235
  2. Richard Hull, Masatoshi Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. VLDB 1990: 455-468
  3. Malcolm P. Atkinson: Questioning Persistent Types. DBPL 1989: 2-24
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
DBLP-2, 1989 Proceedings: Copyright by Morgan Kaufmann Publishers, ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:05:54 2009