@article {Ol14a,
	title = {A relation-algebraic approach to the {\textquoteright}Hoare logic{\textquoteright} of functional dependencies},
	journal = {JLAP - The Journal of Logic and Algebraic Programming},
	year = {2014},
	publisher = {Elsevier, North-Holland},
	abstract = {<p>Abstract algebra has the power to unify seemingly disparate theories once they are encoded into the same abstract formalism. This paper shows how a relation-algebraic rendering of both database dependency theory and Hoare programming logic purports one such unification, in spite of the latter being an algorithmic theory and the former a data theory. The approach equips relational data with \emph{functional types} and an associated type system which is useful for database operation type checking and optimization. The prospect of a generic, unified approach to both programming and data theories on top of libraries already available in automated deduction systems is envisaged.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jno/files/1-s2.0-s1567832614000149-main.pdf},
	author = {Jos{\'e} Nuno Oliveira}
}