Kleene Algebra with Tests: Completeness and Decidability.

Dexter Kozen Frederick Smith

Published in: CSL (1996)

Keyphrases

propositional logic
regular expressions
query language
description logics
data model
query answering
statistical tests
algebraic expressions
relational algebra
database
databases
e learning
decision trees
incomplete information
algebraic operations