wiki_research

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

provenance_circuit (370B)

      1 # Provenance circuit
      2 
      3 Can use [circuit] for [provenance], e.g.,
      4 
      5 - [datalog] provenance: [provenance_circuit_datalog]
      6 - [provenance_mso]: [monadic_second_order_logic] provenance [amarilli2015provenance]
      7 - [provenance_fo]
      8 - [provenance_cq]
      9   - [provenance_ucq]
     10 - [provenance_rpq]
     11 
     12 Up: [provenance], [circuit]
     13 
     14 Aliases: provenance circuits
     15 
     16 See also: [provenance_formula]