An Approach to Proving the Correctness of Data Base Operations.
Igor Hawryszkiewycz, Jack B. Dennis:
An Approach to Proving the Correctness of Data Base Operations.
SIGFIDET Workshop 1972: 323-348@inproceedings{DBLP:conf/sigmod/HawryszkiewyczD72,
author = {Igor Hawryszkiewycz and
Jack B. Dennis},
editor = {A. L. Dean},
title = {An Approach to Proving the Correctness of Data Base Operations},
booktitle = {Proceedings of 1972 ACM-SIGFIDET Workshop on Data Description,
Access and Control, Denver, Colorado, November 29 - December
1, 1972},
publisher = {ACM},
year = {1972},
pages = {323-348},
ee = {db/conf/sigmod/HawryszkiewyczD72.html},
crossref = {DBLP:conf/sigmod/72},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1972 by the ACM,
Inc., used by permission. Permission to make
digital or hard copies is granted provided that
copies are not made or distributed for profit or
direct commercial advantage, and that copies show
this notice on the first page or initial screen of
a display along with the full citation.
CDROM Version: Load the CDROM "Volume 2 Issue 4, CIKM, DOLAP, GIS, SIGFIDET, ..." and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
A. L. Dean (Ed.):
Proceedings of 1972 ACM-SIGFIDET Workshop on Data Description, Access and Control, Denver, Colorado, November 29 - December 1, 1972.
ACM 1972
Contents BibTeX
BibTeX
Referenced by
- Donald D. Chamberlin:
Relational Data-Base Management Systems.
ACM Comput. Surv. 8(1): 43-66(1976)
- Michael Hammer, Dennis McLeod:
Semantic Integrity in a Relational Data Base System.
VLDB 1975: 25-47
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
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:41:07 2009