Structured Specifications and Implementation of Nondeterministic Data Types.

Michal Walicki Manfred Broy

Published in: Nord. J. Comput. (1995)

Keyphrases

data types
data structure
data model
database management systems
user defined
back end
database systems
abstract data types
structured data
database server
storage structures
preprocessing
application programs
data formats
spatial data types
data manipulation language
primitive operations