union_of_conjunctive_queries (443B)
1 # Union of conjunctive queries (UCQ) 2 3 [disjunction] of [conjunctive_query] that all have the same [free_variables] 4 5 Also called "existential-positive queries", i.e., [FO] queries using only [existential_quantification] and [disjunction] 6 7 [ucq_to_cq]: techniques to replace UCQs by CQs in hardness proofs 8 9 special case: [hk_queries] 10 11 [UCQ_non_redundant] 12 13 Up: [query_language] 14 15 See also: [uc2rpq] 16 17 Aliases: union of conjunctive query, UCQ, UCQs