Relational Concurrent Refinement with Internal Operations.

John Derrick Eerke A. Boiten

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

Keyphrases

relational data
relational databases
multi relational
concurrent processes
algebraic operations
data model
relational model
internal and external
databases
multiscale
database query languages
artificial intelligence
data sets
entity relationship
abstract data types
refinement process
data mining
internal states