Provenance as dependency analysis
From MaRDI portal
Publication:3103615
DOI10.1017/S0960129511000211zbMath1252.68076WikidataQ60142684 ScholiaQ60142684MaRDI QIDQ3103615
Umut A. Acar, Amal Ahmed, James Cheney
Publication date: 8 December 2011
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
68P15: Database theory
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Exploring conditional rewriting logic computations, Tracing where and who provenance in linked data: a calculus
Cites Work
- Principles of programming with complex objects and collection types
- Normal forms and conservative extension properties for query languages over collection types
- Analysis and caching of dependencies
- A theory of typed coercions and its applications
- Imperative self-adjusting computation
- Comprehending monads
- AURA