Login / Signup
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness.
Todd Schmid
Tobias Kappé
Dexter Kozen
Alexandra Silva
Published in:
CoRR (2021)
Keyphrases
</>
propositional logic
fixed point
data quality
relational algebra
boolean algebra
test data
probabilistic databases
database
data model
regular expressions
distributive lattices
databases
database systems
image sequences
query answering
algebraic expressions