Semantic properties that reflect quality criteria can be modeled by integrity constraints. Violated instances of constraints may serve as a basis for measuring quality. Such measures also serve for monitoring and controlling quality impairment across changes.

We investigate how belief change operations can be eeec-tively constructed. To that end we suppose given a set of laws (alias integrity constraints) together with a relation of dependence between formulas.

159

In scientific collaborations, provenance is increasingly used to understand, debug, and explain the processing history of data, and to determine the validity and quality of data products. While provenance is easily recorded by scientific workflow systems, it can be infeasible or undesirable to publish provenance details for all data products of a workflow run. We have developed PROPUB, a system...