Login / Signup
An Approach to Proving the Correctness of Data Base Operations.
Igor T. Hawryszkiewycz
Jack B. Dennis
Published in:
SIGFIDET Workshop (1972)
Keyphrases
</>
database
data base management systems
data sets
multiresolution
databases
data structure
query language
abstract data types
data manipulation
boolean operations