The theory of functional and subset dependencies over relational expressions
formal system for reasoning about functional dependencies and subset dependencies
scientific article; zbMATH DE number 3800974
scientific article