Independent Components of Databases

A new formalism is provided for the uniform treatment of such important problems as view updating and data base decomposition. The basic concept is that of a data base mapping. We give formal definitions for independence and weak independence and we apply these concepts to data base decomposition.