Types for Data-Oriented Languages.

@inproceedings{DBLP:conf/edbt/Cardelli88,
  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, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[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