Refinement Algebra with Operators for Enabledness and Termination.

Kim Solin Joakim von Wright

Published in: MPC (2006)

Keyphrases

algebraic operators
artificial intelligence
data model
query language
refinement process
data sets
neural network
social networks
relational databases
building blocks
relational algebra
real numbers
relational operators
algebraic expressions