Types for Data-Oriented Languages.

Luca Cardelli: Types for Data-Oriented Languages. EDBT 1988: 1-15
  author    = {Luca Cardelli},
  editor    = {Joachim W. Schmidt and
               Stefano Ceri and
               Michele Missikoff},
  title     = {Types for Data-Oriented Languages},
  booktitle = {Advances in Database Technology - EDBT'88, Proceedings of the
               International Conference on Extending Database Technology, Venice,
               Italy, March 14-18, 1988},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {303},
  year      = {1988},
  isbn      = {3-540-19074-0},
  pages     = {1-15},
  ee        = {db/conf/edbt/Cardelli88.html},
  crossref  = {DBLP:conf/edbt/88},
  bibsource = {DBLP,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


[Albano Cardelli Orsini 85]
Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX
[Atkinson Bailey Chisholm Cockshott Morrison 83]
Malcolm P. Atkinson, Peter J. Bailey, Kenneth Chisholm, W. Paul Cockshott, Ronald Morrison: An Approach to Persistent Programming. Comput. J. 26(4): 360-365(1983) BibTeX
[Buneman Ohori 87]
[Cardelli 84]
[Cardelli 88]
Luca Cardelli: Structural Subtyping and the Notion of Power Type. POPL 1988: 70-79 BibTeX
[Cardelli Wegner 85]
Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985) BibTeX
[McCracken 79]
[Mitchell Plotkin 85]
John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. POPL 1985: 37-51 BibTeX
[Mylopoulos Bernstein Wong 80]
John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX
[Ohori 87]
Atsushi Ohori: Orderings and Types in Databases. DBPL 1987: 97-116 BibTeX
[PPRG 85]
[Smith Fox Landers 83]
[Schmidt 77]
Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX

Referenced by

  1. Suad Alagic: Type-Checking OQL Queries In the ODMG Type Systems. ACM Trans. Database Syst. 24(3): 319-360(1999)
  2. Leonid Libkin: Approximation in Databases. ICDT 1995: 411-424
  3. Martin Erwig, Ralf Hartmut Güting: Explicit Graphs in a Functional Model for Spatial Databases. IEEE Trans. Knowl. Data Eng. 6(5): 787-804(1994)
  4. Alexandre V. Zamulin: From a Database Programming Language to a Database Specification Language (Invited Paper). ADBIS 1994: 122-131
  5. Alexandra Poulovassilis, Carol Small: A Domain-theoretic Approach to Integrating Functional and Logic Database Languages. VLDB 1993: 416-428
  6. Ralf Hartmut Güting: Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization. SIGMOD Conference 1993: 277-286
  7. Alexandra Poulovassilis, Carol Small: A Functional Programming Approach to Deductive Databases. VLDB 1991: 491-500
  8. Joachim W. Schmidt, Florian Matthes: The Rational behind DBPL. MFDBS 1991: 389-395
  9. Carol Small, Alexandra Poulovassilis: An Overview of PFL. DBPL 1991: 96-110
  10. Herman Balsters, Chris C. de Vreeze: A Semantics of Object-Oriented Sets. DBPL 1991: 203-217
  11. Malcolm P. Atkinson: Questioning Persistent Types. DBPL 1989: 2-24
  12. Jaroslav Pokorný: A Function: Unifying Mechanism for Entity-Oriented Database Models. ER 1988: 165-181
  13. Brian A. Nixon, John Mylopoulos: Integration Issues in Implementing Semantic Data Models. DBPL 1987: 187-217
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:08:32 2009