An Approach to Proving the Correctness of Data Base Operations.

@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}
}

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.

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-4 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

Printed Edition