Construction and Calculus of Types for Database Systems.
David W. Stemple, Tim Sheard:
Construction and Calculus of Types for Database Systems.
DBPL 1987: 3-22@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}
}
BibTeX
CDROM Version: Load the CDROM "Volume 2 Issue 5, SSDBM, DBPL, KRDB, ADBIS, COOPIS, SIGBDP" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
References
- [1]
- ...
- [2]
- ...
- [3]
- Luca Cardelli, Peter Wegner:
On Understanding Types, Data Abstraction, and Polymorphism.
ACM Comput. Surv. 17(4): 471-522(1985) BibTeX
- [4]
- Tim Sheard, David W. Stemple:
Automatic Verification of Database Transaction Safety.
ACM Trans. Database Syst. 14(3): 322-368(1989) BibTeX
- [5]
- David W. Stemple, Tim Sheard, Ralph E. Bunker:
Abstract Data Types in Databases: Specification, Manipulation and Access.
ICDE 1986: 590-597 BibTeX
Referenced by
- Leonidas Fegaras, Tim Sheard, David W. Stemple:
The ADABTPL Type System.
DBPL 1989: 207-218
- Malcolm P. Atkinson:
Questioning Persistent Types.
DBPL 1989: 2-24
- Subhasish Mazumdar, David W. Stemple, Tim Sheard:
Resolving the Tension between Integrity and Security Using a Theorem Prover.
SIGMOD Conference 1988: 233-242
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
DBLP-1, 1987 Proceedings, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:05:50 2009