Semantic Optimization of Conjunctive Queries - Barceló, Pablo; Figueira, Diego; Gottlob, Georg; Pieris, Andreas (Journal of the ACM, 2020)
Keywords: Complexity; Computer Science; Containment; Discrete Mathematics; Equivalence; Formal Languages and Automata Theory; Logic in Computer Science; Optimization; Optimization techniques; Queries; Questions; Semantics