A Logic of Type Relations and its Applications to Relational Databases
Wendy MacCaull, Ewa S. Orłowska · Journal of Logic and Computation · 2006
A calculus of typed relations subsuming the classical relational database theory is presented. An associated sound and complete deduction mechanism is developed. The formulation is generalized to deal with nondeterministic databases and information relations in the rough set-style.