A universal formalism to express decompositions, functional dependencies and other constraints in a relational database
scientific article; zbMATH DE number 3793448