Login / Signup

An Approach to Proving the Correctness of Data Base Operations.

Igor T. HawryszkiewyczJack 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