A relation-algebraic approach to the ``Hoare logic'' of functional dependencies
scientific article; zbMATH DE number 6341215
scientific article