wiki_research

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

ucq_to_cq (264B)

      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: [database_theory_techniques]