Kleene Algebra with Dynamic Tests: Completeness and Complexity.

Published in: CoRR (2023)

Keyphrases

query language
worst case
dynamic environments
website
database systems
multiscale
computational cost
algebraic expressions