Towards Kleene Algebra with Recursion.

Published in: CSL (1991)

Keyphrases

propositional logic
complex objects
regular expressions
query language
relational algebra
data model
boolean algebra
real numbers
transitive closure
set theory
search engine
query processing
expressive power
laplace transform
relation algebra
datalog programs
normal form
image processing