A CORRESPONDENCE BETWEEN VARIABLE RELATIONS AND 3-VALUED PROPOSITIONAL LOGIC

Herein, relations are generalised to variable length tuple relations ( variabe relations) wherein tuples are allowed to be of variable length . We define the concept of a functional dependency (FD) holding in var iable relations and present a sound and complete axiom system for them . Our main result shows an equivalence between FDs holding in variable relations and propositional implications holding in (a subset of) a t hree-valued propositional logic. We extend this result to Object relat ions, which are a subclass of variable relations enabling us to view t uples as objects.