Abstrakt. Provenance är information som registrerar källan, härledningen, eller historia av viss information. Provenance tracking har studerats i en mängd olika inställningar; men även om många designpunkter har utforskats, de matematiska eller semantiska grunderna av data härkomst har fått jämförelsevis lite uppmärksamhet. I detta dokument hävdar vi att beroendeanalystekniker som är bekanta från programanalys och programskärning utgör en formell grund för härkomstformer som är avsedda att visa hur (en del av) utmatningen av en fråga beror på (delar av) dess indata. Vi introducerar en semantisk karakterisering av sådan beroende härkomst, visar att denna form av härkomst inte kan beräknas, och tillhandahåller dynamiska och statiska approximationstekniker.
Cheney et al REF hävdar att beroendeanalystekniker utgör en formell grund för härkomstformer som är avsedda att visa hur resultatet av en fråga beror på dess inmatning.
Provenance as Dependency Analysis
{'venue': 'ArXiv', 'journal': None, 'mag_field_of_study': ['Computer Science']}