Explicit Operation Specification for Component Databases.

Published in: Comput. J. (2002)

Keyphrases

databases
database
data model
data management
relational databases
knowledge discovery
information systems
high level
image processing
decision trees
bayesian networks
video sequences
programming language
database applications
formal methods
formal verification