A FAD for Data Intensive Applications.

@article{DBLP:journals/tkde/DanforthV92,
  author    = {Stan Danforth and
               Patrick Valduriez},
  title     = {A FAD for Data Intensive Applications},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {4},
  number    = {1},
  year      = {1992},
  pages     = {34-51},
  ee        = {db/journals/tkde/DanforthV92.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1992 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society 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/An3-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/aDVD2 or /dvd

References

[1]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970)

[2]

Gerhard Jaeschke, Hans-Jörg Schek: Remarks on the Algebra of Non First Normal Form Relations. PODS 1982: 124-138

[3]

Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469

[4]

Hans-Jörg Schek, Marc H. Scholl: The relational model with relation-valued attributes. Inf. Syst. 11(2): 137-147(1986)

[5]

Z. Meral Özsoyoglu, Li-Yan Yuan: A Normal Form for Nested Relations. PODS 1985: 251-260

[6]

Serge Abiteboul, Nicole Bidoit: Non First Normal Form Relations to Represent Hierarchical Organized Data. PODS 1984: 191-200

[7]

Richard Hull, Chee-Keng Yap: The Format Model: A Theory of database Organization. J. ACM 31(3): 518-544(1984)

[8]

Antonio L. Furtado, Larry Kerschberg: An Algebra of Quotient Relations. SIGMOD Conference 1977: 1-8

[9]

...

[10]

...

[11]

François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60

[12]

George P. Copeland, David Maier: Making Smalltalk a Database System. SIGMOD Conference 1984: 316-325

[13]

Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977)

[14]

Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987)

[15]

Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416

[16]

Gabriel M. Kuper, Moshe Y. Vardi: On the Expressive Power of the Logical Data Model (Preliminary Report). SIGMOD Conference 1985: 180-187

[17]

Shalom Tsur, Carlo Zaniolo: An Implementation of GEM - Supporting a Semantic Data Model on a Relational Back-End. SIGMOD Conference 1984: 286-295

[18]

Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433

[19]

Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976)

[20]

Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981)

[21]

Haran Boral, William Alexander, Larry Clay, George P. Copeland, Scott Danforth, Michael J. Franklin, Brian E. Hart, Marc G. Smith, Patrick Valduriez: Prototyping Bubba, A Highly Parallel Database System. IEEE Trans. Knowl. Data Eng. 2(1): 4-24(1990)

[22]

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

[23]

Haran Boral: Parallelism in Bubba. DPDS 1988: 68-71

[24]

Michael Stonebraker: The Case for Shared Nothing. IEEE Database Eng. Bull. 9(1): 4-9(1986)

[25]

David J. DeWitt, Robert H. Gerber, Goetz Graefe, Michael L. Heytens, Krishna B. Kumar, M. Muralikrishna: GAMMA - A High Performance Dataflow Database Machine. VLDB 1986: 228-237

[26]

Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41

[27]

John W. Backus: Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs. Commun. ACM 21(8): 613-641(1978)

[28]

...

[29]

Patrick Valduriez, Scott Danforth: Query Optimization for Database Programming Languages. DOOD 1989: 553-571

[30]

Brian E. Hart, Scott Danforth, Patrick Valduriez: Parallelizing a Database Programming Language. DPDS 1988: 72-79

[31]

George P. Copeland, William Alexander, Ellen E. Boughter, Tom W. Keller: Data Placement In Bubba. SIGMOD Conference 1988: 99-108

[32]

Patrick Valduriez, Scott Danforth, Brian E. Hart, Ted Briggs, Munir Cochinwala: Compiling FAD, a Database Programming Language. DBPL 1989: 375-393

[33]

...

[34]

...

[35]

...

[36]

Robin Milner: A Proposal for Standard ML. LISP and Functional Programming 1984: 184-197

[37]

...

[38]

Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin: Dynamic Typing in a Statically-Typed Language. POPL 1989: 213-227

[39]

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985)

[40]

...

[41]

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

[42]

...

[43]

Françoise Bellegarde: Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield. LISP and Functional Programming 1984: 63-73

[44]

...

[45]

...

[46]

K. Gopinath, John L. Hennessy: Copy Elimination in Functional Languages. POPL 1989: 303-314

[47]

...

[48]

Rishiyur S. Nikhil: The Semantics of Update in a Functional Database Programming Language. DBPL 1987: 403-421

[49]

...

[50]

Alexandra Poulovassilis: FDL: An Integration of the Functional Data Model and the Functional Computational Model. BNCOD 1988: 215-236

[51]

...

[52]

Michael J. Carey, David J. DeWitt, Scott L. Vandenberg: A Data Model and Query Language for EXODUS. SIGMOD Conference 1988: 413-423

[53]

Robin Milner: A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. 17(3): 348-375(1978)

[54]

Mitchell Wand: Complete Type Inference for Simple Objects. LICS 1987: 37-44

[55]

You-Chin Fuh, Prateek Mishra: Type Inference with Subtypes. ESOP 1988: 94-114

[56]

Lalita Jategaonkar, John C. Mitchell: ML with Extended Pattern Matching and Subtypes. LISP and Functional Programming 1988: 198-211

[57]

Didier Rémy: Typechecking Records and Variants in a Natural Extension of ML. POPL 1989: 77-88

[58]

...