Construction and Calculus of Types for Database Systems.

@inproceedings{DBLP:conf/dbpl/StempleS87,
  author    = {David W. Stemple and
               Tim Sheard},
  editor    = {Fran\c{c}ois Bancilhon and
               Peter Buneman},
  title     = {Construction and Calculus of Types for Database Systems},
  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     = {3-22},
  ee        = {db/conf/dbpl/StempleS87.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]

...

[2]

...

[3]

Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985)

[4]

Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368(1989)

[5]

David W. Stemple, Tim Sheard, Ralph E. Bunker: Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986: 590-597

Referenced by

1. Leonidas Fegaras, Tim Sheard, David W. Stemple: The ADABTPL Type System. DBPL 1989: 207-218
2. Malcolm P. Atkinson: Questioning Persistent Types. DBPL 1989: 2-24
3. Subhasish Mazumdar, David W. Stemple, Tim Sheard: Resolving the Tension between Integrity and Security Using a Theorem Prover. SIGMOD Conference 1988: 233-242

Last update Thu May 24 04:16:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page