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, särskilt databashanteringssystem; men även om många kandidatdefinitioner av härkomst har föreslagits, har de matematiska eller semantiska grunderna för data härkomst fått jämförelsevis liten uppmärksamhet. I denna artikel, hävdar vi att beroendeanalys tekniker bekant från programanalys och program skivning utgör en formell grund för former av härkomst som är avsedda att visa hur (en del av) utgången av en fråga beror på (delar av) dess ingång. Vi introducerar en semantisk karakterisering av sådan beroende härkomst för en kärndatabas frågespråk, visar att minimal beroende härkomst inte är beräkningsbar, och ger dynamiska och statiska approximering tekniker. Vi diskuterar också preliminära genomförandeerfarenheter med hjälp av beroende härkomst för att beräkna data skivor, eller sammanfattningar av de delar av indata som är relevanta för en viss del av produktionen.
Cheney och Al. REF undersöker semantiska grunder för data härkomst i databaser.
Provenance as Dependency Analysis
{'venue': 'Proceedings of the 11th International Symposium on Database Programming Languages (DBPL 2007), number 4797 in LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}