wiki_research

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

dagstuhl_semirings_val (628B)

      1 # Dagstuhl semirings val
      2 
      3 by [val_tannen] about [semiring_provenance]
      4 
      5 shared an office with [Erich_Graedel]
      6 
      7 Mentions [Peter_Buneman]
      8 
      9 The [Orchestra] system for groups of scientists
     10 - [Schema_mappings]
     11 - when a database is updated, propagate the updates...
     12 
     13 [provenance_tracking]
     14 
     15 you have [provenance_tokens] X, and then Prov(X) is the set of [provenance_expressions] over the [provenance_tokens]
     16 - features [product] for [conjunction] and [sum] for [disjunction]
     17 - annotations 0 for "absent" and 1 for "untracked"
     18 
     19 Use [K_relations] for K = Prov(X)
     20 
     21 - [k_interpretation]
     22 - [provenance_logic]
     23 
     24 Up: [dagstuhl_semirings_talks]