Judging Equivalence for Sets of Functional Dependencies Based on Truth Table

DOI

10.2991/eeic-13.2013.26How to use a DOI?

Keywords

relational database; set of functional dependencies; Armstrong’s axioms; mathematical logic; truth table

Abstract

Data dependencies theory is the basic tool for analyzing and designing of relational database. How to Judge whether two sets of functional dependencies are equivalent This is a basic and important problem solved by using Armstrong’s axioms in data dependencies theory. In this paper we shall point out that the rules of inference in Armstrong’s axioms system and propositional inference in mathematical logic are consistent. This implies that If each functional dependency is viewed as conditional proposition, equivalent sets of functional dependencies have the same truth table in mathematical logic, so we can judge equivalence of two set of functional dependencies by truth table.

Copyright

© 2013, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Yishun Zhang
PY  - 2013/12
DA  - 2013/12
TI  - Judging Equivalence for Sets of Functional Dependencies Based on Truth Table
BT  - Proceedings of the 3rd International Conference on Electric and Electronics
PB  - Atlantis Press
SP  - 112
EP  - 115
SN  - 1951-6851
UR  - https://doi.org/10.2991/eeic-13.2013.26
DO  - 10.2991/eeic-13.2013.26
ID  - Zhang2013/12
ER  -