A relation-algebraic approach to the "Hoare logic" of functional dependencies

作者：Oliveira Jose N^*

来源：Journal of Logical and Algebraic Methods in Programming, 2014, 83(2): 249-262.

DOI：10.1016/j.jlap.2014.02.013

• Relational mathematics
• Program calculi
• Data dependency theory

.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 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.

• 出版日期2014-3