A logic of type relations and its applications to relational databases. (English) Zbl 1118.03022
Summary: 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.