Provenance Algebra and Materialized View-Based Provenance Management · Study