The Semantics of Update in a Functional Database Programming Language.

@inproceedings{DBLP:conf/dbpl/Nikhil87,
  author    = {Rishiyur S. Nikhil},
  editor    = {Fran\c{c}ois Bancilhon and
               Peter Buneman},
  title     = {The Semantics of Update in a Functional Database Programming
               Language},
  booktitle = {Advances in Database Programming Languages, Papers from DBPL-1,
               September 1987, Roscoff, France},
  publisher = {ACM Press / Addison-Wesley},
  year      = {1987},
  isbn      = {0-201-50257-7},
  pages     = {403-421},
  ee        = {db/conf/dbpl/Nikhil87.html},
  crossref  = {DBLP:conf/dbpl/87},
  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]

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

[2]

Guy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury: Implementing Functional Databases. DBPL 1987: 165-176 BibTeX

[3]

...

[4]

...

[5]

...

[6]

...

[7]

Arvind, Rishiyur S. Nikhil: Executing a Program on the MIT Tagged-Token Dataflow Architecture. IEEE Trans. Computers 39(3): 300-318(1990) BibTeX

[8]

Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11(4): 598-632(1989) BibTeX

[9]

...

[10]

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

[11]

Matthew S. Hecht, John D. Gabbe: Shadowed Management of Free Disk Pages with a Linked List. ACM Trans. Database Syst. 8(4): 503-514(1983) BibTeX

[12]

...

[13]

...

[14]

Rishiyur S. Nikhil: Functional Databases, Functional Languages. Data Types and Persistence (Appin) 1985: 51-67 BibTeX

[15]

...

[16]

Simon L. Peyton Jones: The Implementation of Functional Programming Languages. Prentice-Hall 1987
BibTeX

[17]

...

Referenced by

1. Yoshihiko Ichikawa: Database States in Lazy Functional Programming Languages: Imperative Update and Lazy Retrieval. DBPL 1995: 8
2. Stan Danforth, Patrick Valduriez: A FAD for Data Intensive Applications. IEEE Trans. Knowl. Data Eng. 4(1): 34-51(1992)
3. Rishiyur S. Nikhil, Michael L. Heytens: Exploiting Parallelism in the Implementation of Agna, a Persistent Programming System. ICDE 1991: 660-669
4. Philip W. Trinder: Comprehensions, a Query Notation for DBPLs. DBPL 1991: 55-68