Relational concurrent refinement part II: Internal operations and outputs.

Eerke A. Boiten John Derrick Gerhard Schellhorn

Published in: Formal Aspects Comput. (2009)

Keyphrases

relational databases
relational data
internal and external
data model
confidence values
internal states
data sets
neural network
data mining
relational model
sql queries
relational learning
multi relational
abstract data types
algebraic operations
concurrent processes