On the algebra of structured specifications.

Razvan Diaconescu Ionut Tutu

Published in: Theor. Comput. Sci. (2011)

Keyphrases

query language
data model
data sets
specification language
relational algebra
structured data
high level
information systems
database
structured learning
delay insensitive
expert systems
e learning
object oriented
data mining
real numbers
asynchronous circuits