Composition and refinement of specifications and parameterised data types.

Yngve Lamo Michal Walicki

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

data types
database management systems
data model
data structure
database systems
user defined
back end
microsoft sql server
data analysis
data mining algorithms
database server
database objects
data formats
data manipulation language
preprocessing
management system
high level
application programs