wiki_research

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

union_of_conjunctive_queries (321B)

      1 # Union of conjunctive queries (UCQ)
      2 
      3 [disjunction] of [conjunctive_query] that all have the same [free_variables]
      4 
      5 [ucq_to_cq]: techniques to replace UCQs by CQs in hardness proofs
      6 
      7 special case: [hk_queries]
      8 
      9 [UCQ_non_redundant]
     10 
     11 Up: [query_language]
     12 
     13 See also: [uc2rpq]
     14 
     15 Aliases: union of conjunctive query, UCQ, UCQs