Between Variable Relations and Three-valued Propositional Logic

@inproceedings{Levene1995BetweenVR,
  title={Between Variable Relations and Three-valued Propositional Logic},
  author={Mark Levene and George Loizou},
  year={1995}
}
Herein, relations are generalised to variable length tuple relations (variable relations) wherein tuples are allowed to be of variable length. We define the concept of a functional dependency (FD) holding in variable relations and present a sound and complete axiom system for them. Our main result shows an equivalence between FDs holding in variable… CONTINUE READING