wiki_research

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

provenance_lower_bound (413B)

      1 # Provenance lower bound
      2 
      3 Lower bounds on representations of query provenance
      4 
      5 - for [pqe_ucq]: [jha2012tractability]
      6   - and lower bounds cited in [monet2020solving] for [decision_dnnf] and [dsdnnf]
      7 - [amarilli2019connecting]: for [disjunctive_normal_form] / [conjunctive_normal_form] based on [treewidth]
      8 - for [unboundedness]: [unboundedness_provenance]
      9 
     10 See also: [pqe]
     11 
     12 Up: [lower_bounds], [provenance_size]