Oliveira JN.? 2014.??A relation-algebraic approach to the 'Hoare logic' of functional dependencies. JLAP - The Journal of Logic and Algebraic Programming.