A Type System that Reconsiles Classes and Extents.

Peter Buneman, Atsushi Ohori: A Type System that Reconsiles Classes and Extents. DBPL 1991: 191-202
  author    = {Peter Buneman and
               Atsushi Ohori},
  editor    = {Paris C. Kanellakis and
               Joachim W. Schmidt},
  title     = {A Type System that Reconsiles Classes and Extents},
  booktitle = {Database Programming Languages: Bulk Types and Persistent Data.
               3rd International Workshop, August 27-30, 1991, Nafplion, Greece,
  publisher = {Morgan Kaufmann},
  year      = {1991},
  isbn      = {1-55860-242-9},
  pages     = {191-202},
  ee        = {db/conf/dbpl/BunemanO91.html},
  crossref  = {DBLP:conf/dbpl/91},
  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


François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez: FAD, a Powerful and Simple Database Language. VLDB 1987: 97-105 BibTeX
Val Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19 BibTeX
Val Tannen, Ramesh Subrahmanyam: Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP 1991: 60-75 BibTeX
Luca Cardelli: A Semantics of Multiple Inheritance. Inf. Comput. 76(2/3): 138-164(1988) BibTeX
Robin Milner: A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. 17(3): 348-375(1978) BibTeX
Atsushi Ohori, Peter Buneman: Type Inference in a Database Programming Language. LISP and Functional Programming 1988: 174-183 BibTeX
Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57 BibTeX
Bjarne Stroustrup: The C++ Programming Language, First Edition. Addison-Wesley 1986, ISBN 0-201-12078-X
Peter Wegner, Stanley B. Zdonik: Models of Inheritance. DBPL 1989: 248-255 BibTeX

Referenced by

  1. David Spelt, Herman Balsters: Automatic Verification of Transactions on an Object-Oriented Database. DBPL 1997: 396-412
  2. Peter Buneman, Atsushi Ohori: Polymorphism and Type Inference in Database Programming. ACM Trans. Database Syst. 21(1): 30-76(1996)
  3. Christian Kalus, Peter Dadam: Flexible Relations - Operational Support of Variant Relational Structures. VLDB 1995: 539-550
  4. Christian Kalus, Peter Dadam: Record Subtyping in Flexible Relations by Means of Attribute Dependencies. ICDE 1995: 383-390
  5. Atsushi Ohori, Keishi Tajima: A Polymorphic Calculus for Views and Object Sharing. PODS 1994: 255-266
  6. Ralf Hartmut Güting: Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization. SIGMOD Conference 1993: 277-286
  7. Theodore W. Leung, Gail Mitchell, Bharathi Subramanian, Bennet Vance, Scott L. Vandenberg, Stanley B. Zdonik: The AQUA Data Model and Algebra. DBPL 1993: 157-175
  8. Richard C. H. Connor, David J. McNally, Ronald Morrison: Subtyping and Assignment in Database Programming Languages. DBPL 1991: 363-382
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
DBLP-3, 1991 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:57 2009