On the complexity of query containment and computing certain answers in the presence of ACs

Foto N. Afrati, Matthew Damigos

We often add arithmetic to extend the expressiveness of query languages and study the complexity of problems such as testing query containment and finding certain answers in the fr…