Journal article
A Logic of Type Relations and its Applications to Relational Databases
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
Journal
Journal of Logic and Computation, Vol. 16, No. 6, pp. 789–815
Publisher
Oxford University Press (OUP)
Publication Date
December 1, 2006
DOI
10.1093/logcom/exl010
ISSN
0955-792X