wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

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