RELATIONAL ASPECTS OF RELATIONAL DATABASE DEPENDENCIES
Hitomi Okuma, Yasuo Kawahara · Bulletin of informatics and cybernetics · 2000
This paper presents a relational treatment of inference rules for functional and multivalued dependencies in relational databases, to show the soundness and the completeness of the inference rules in Dedekind categories, which also cover the fuzzy case.