Functions as types or the "Hoare logic" of functional dependencies

Jose N. Oliveira

Inspired by the trend on unifying theories of programming, this paper shows how the algebraic treatment of standard data dependency theory equips relational data with functional ty…