Local variable scoping and Kleene algebra with tests.

Kamal Aboul-Hosn Dexter Kozen

Published in: J. Log. Algebraic Methods Program. (2008)

Keyphrases

algebraic expressions
data model
propositional logic
boolean algebra
relational databases
regular expressions
algebraic structure
real time
data sets
databases
query language
test data
relational algebra
statistical tests
continuous variables
algebraic structures