A Universal Formalism to Express Decompositions, Functional Dependencies and Other Constraints in a Relational Database.

Jan Paredaens A Universal Formalism to Express Decompositions, Functional Dependencies and Other Constraints in a Relational Database. 143-160 1982 19 Theor. Comput. Sci. db/journals/tcs/tcs19.html#Paredaens82