Kleene algebra with domain.

Jules Desharnais Bernhard Möller Georg Struth

Published in: ACM Trans. Comput. Log. (2006)

Keyphrases

relational algebra
query language
domain specific
real time
propositional logic
domain independent
data sets
databases
machine learning
website
expert systems
domain experts