Provenance as dependency analysis

DOI10.1017/S0960129511000211MaRDI QIDQ3103615zbMATH OpenOpenAlexDBLPWikidataFDO

Authors James Cheney, Amal Ahmed, Umut A. Acar

Publication date 8 December 2011

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129511000211

zbMATH Keywords

data slicesdatabase management systemsprovenance tracking

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Database theory (68P15)

Recommendations

• Causality and the semantics of provenance
• Provenance analysis: a perspective for description logics?
• scientific article; zbMATH DE number 2080480
• Toward a theory of self-explaining computation
• scientific article; zbMATH DE number 2080193

Cites work

• A theory of typed coercions and its applications
• Analysis and caching of dependencies
• AURA
• Comprehending monads
• Imperative self-adjusting computation
• Normal forms and conservative extension properties for query languages over collection types
• Principles of programming with complex objects and collection types

Cited in

(22)

• Toward a theory of self-explaining computation
• Using SQL for efficient generation and querying of provenance information
• Provenance propagation in complex queries
• Tracing where and who provenance in linked data: a calculus
• Gaining trust by tracing security protocols
• Provenance analysis: a perspective for description logics?
• Provenance analysis for logic and games
• A core calculus for provenance
• ProGen:Provenance database generator for large-scale data set
• scientific article; zbMATH DE number 2080193 (Why is no real title available?)
• scientific article; zbMATH DE number 2080480 (Why is no real title available?)
• A semantic-based approach for handling incomplete and inaccurate provenance in reservoir engineering
• Exploring conditional rewriting logic computations
• Provenance and privacy
• Causality and the semantics of provenance
• Data provenance. Origins, applications, algorithms, and models
• Principles of Distributed Systems
• A framework for provenance-preserving history distribution and incremental reduction
• Provenance in databases: principles and applications
• Responsibility analysis by abstract interpretation
• Abstract semantic dependency
• A theory of fine-grained lineage for functions on structured objects

This page was built for publication: Provenance as dependency analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3103615)