Algebraic Specification Schemes for Data Base Systems.

Hartmut Ehrig Hans-Jörg Kreowski Herbert Weber

Published in: VLDB (1978)

Keyphrases

databases
database
higher order
real time
management system
distributed systems
complex systems
formal languages
data sets
real world
decision making
expert systems
database management systems
data base management systems