An Axiomatization of Arrays for Kleene Algebra with Tests.

Kamal Aboul-Hosn

Published in: RelMiCS (2006)

Keyphrases

propositional logic
data model
query language
relational databases
test cases
set theory
databases
genetic algorithm
learning algorithm
relational algebra
situation calculus
multiple choice
complete axiomatization
algebraic expressions