Refinement and the Z schema calculus.

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

Keyphrases

data model
database schema
databases
xml schema
schema evolution
conceptual schema
instance level
database
data sets
data mining
data sources
schema matching
formal language
algebraic structure
step wise