Title: Foundations for provenance-aware systems