Chapter
A Calculus of Typed Relations
Abstract
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.
Authors
MacCaull W; Orłowska E
Book title
Relational and Kleene-Algebraic Methods in Computer Science
Series
Lecture Notes in Computer Science
Volume
3051
Pagination
pp. 191-201
Publisher
Springer Nature
Publication Date
2004
DOI
10.1007/978-3-540-24771-5_17