José N. Oliveira. A relation-algebraic approach to the "Hoare logic" of functional dependencies. Journal of Logic and Algebraic Programming, 83(2):249-262, 2014. [doi]
@article{Oliveira14-1,
title = {A relation-algebraic approach to the "Hoare logic" of functional dependencies},
author = {José N. Oliveira},
year = {2014},
doi = {10.1016/j.jlap.2014.02.013},
url = {http://dx.doi.org/10.1016/j.jlap.2014.02.013},
researchr = {https://researchr.org/publication/Oliveira14-1},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {83},
number = {2},
pages = {249-262},
}