Bulk Data Types, A Theoretical Approach.

@inproceedings{DBLP:conf/dbpl/BeeriT93,
  author    = {Catriel Beeri and
               Paula Ta-Shma},
  editor    = {Catriel Beeri and
               Atsushi Ohori and
               Dennis Shasha},
  title     = {Bulk Data Types, A Theoretical Approach},
  booktitle = {Database Programming Languages (DBPL-4), Proceedings of the Fourth
               International Workshop on Database Programming Languages - Object
               Models and Languages, Manhattan, New York City, USA, 30 August
               - 1 September 1993},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19853-9},
  pages     = {80-96},
  ee        = {db/conf/dbpl/BeeriT93.html},
  crossref  = {DBLP:conf/dbpl/93},
  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-5 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

[1]

Malcolm P. Atkinson, Philippe Richard, Philip W. Trinder: Bulk Types for Large Scale Programming. East/West Database Workshop 1990: 228-250 BibTeX

[2]

François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez: FAD, a Powerful and Simple Database Language. VLDB 1987: 97-105 BibTeX

[3]

François Bancilhon, Sophie Cluet, Claude Delobel: A Query Language for the O₂ Object-Oriented Database System. DBPL 1989: 122-138 BibTeX

[4]

...

[5]

Catriel Beeri, Yoram Kornatzky: Algebraic Optimization of Object-Oriented Query Languages. ICDT 1990: 72-88 BibTeX

[6]

Catriel Beeri, Tova Milo: Subtyping in OODB's. PODS 1991: 300-314 BibTeX

[7]

Val Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19 BibTeX

[8]

Val Tannen, Ramesh Subrahmanyam: Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP 1991: 60-75 BibTeX

[9]

...

[10]

...

[11]

Richard Hull, Jianwen Su: On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity. DBPL 1989: 396-410 BibTeX

[12]

Florian Matthes, Joachim W. Schmidt: Bulk Types: Built-In or Add-On? DBPL 1991: 33-54 BibTeX

[13]

Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57 BibTeX

[14]

...

[15]

Philip W. Trinder: Comprehensions, a Query Notation for DBPLs. DBPL 1991: 55-68 BibTeX

[16]

Philip Wadler: Comprehending Monads. LISP and Functional Programming 1990: 61-78 BibTeX

[17]

...

[18]

Philip Wadler: Views: A Way for Pattern Matching to Cohabit with Data Abstraction. POPL 1987: 307-313 BibTeX

[19]

...

[20]

Martin Wirsing: Algebraic Specification. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 675-788 BibTeX

Referenced by

1. Zinovy Diskin, Boris Cadish: A Graphical Yet Formalized Framework for Specifying View Systems. ADBIS 1997: 123-132
2. Bharathi Subramanian, Theodore W. Leung, Scott L. Vandenberg, Stanley B. Zdonik: The AQUA Approach to Querying Lists and Trees in Object-Oriented Databases. ICDE 1995: 80-89