Complexity bounds for container functors and comonads.

Dominic A. Orchard

Published in: Inf. Comput. (2018)

Keyphrases

complexity bounds
worst case
query containment
constraint networks
conjunctive queries
database
upper bound
pattern matching
modal logic