wiki_research

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

ucq_to_cq (266B)


      1 # Ucq to cq
      2 
      3 techniques to replace [UCQs] by [CQs] in [hardness] [proofs]
      4 
      5 - e.g.,
      6   - taking a [disjunction] on [path] lengths
      7   - increasing the [arity] with an extra [attribute]
      8 - cf [ability_to_count] in [atserias2008digraph]
      9 
     10 Up: [union_of_conjunctive_queries]