The ADABTPL Type System.

Leonidas Fegaras, Tim Sheard, David W. Stemple: The ADABTPL Type System. DBPL 1989: 207-218
  author    = {Leonidas Fegaras and
               Tim Sheard and
               David W. Stemple},
  editor    = {Richard Hull and
               Ronald Morrison and
               David W. Stemple},
  title     = {The ADABTPL Type System},
  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     = {207-218},
  ee        = {db/conf/dbpl/FegarasSS89.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


Antonio Albano, Alan Dearle, Giorgio Ghelli, Chris D. Marlin, Ronald Morrison, Renzo Orsini, David W. Stemple: A Framework for Comparing Type Systems for Database Programming Languages. DBPL 1989: 170-178 BibTeX
Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985) BibTeX
Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368(1989) BibTeX
David W. Stemple, Tim Sheard: Construction and Calculus of Types for Database Systems. DBPL 1987: 3-22 BibTeX
David W. Stemple, Tim Sheard, Ralph E. Bunker: Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986: 590-597 BibTeX
David W. Stemple, Adolfo Socorro, Tim Sheard: Formalizing Objects for Databases using ADABTPL. OODBS 1988: 110-128 BibTeX

Referenced by

  1. Joel E. Richardson: Supporting Lists in a Data Model (A Timely Approach). VLDB 1992: 127-138
  2. Leonidas Fegaras, David W. Stemple: Using Type Transformation in Database Implementation. DBPL 1991: 337-353
  3. David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro: Exceeding the Limits of Polymorphism in Database Programming Languages. EDBT 1990: 269-285
  4. 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