Research Article Open Access

SWITCHING-ALGEBRAIC ANALYSIS OF RELATIONAL DATABASES

Ali Muhammad Ali Rushdi1 and Omar Mohammed Ba-Rukab1
  • 1 King Abdulaziz University, Saudi Arabia

Abstract

There is an established equivalence between relational database Functional Dependencies (FDs) and a fragment of switching algebra that is built typically of Horn clauses. This equivalence pertains to both concepts and procedures of the FD relational database domain and the switching algebraic domain. This study is an exposition of the use of switching-algebraic tools in solving problems typically encountered in the analysis and design of relational databases. The switching-algebraic tools utilized include purely-algebraic techniques, purely-visual techniques employing the Karnaugh map and intermediary techniques employing the variable-entered Karnaugh map. The problems handled include; (a) the derivation of the closure of a Dependency Set (DS), (b) the derivation of the closure of a set of attributes, (c) the determination of all candidate keys and (d) the derivation of irredundant dependency sets equivalent to a given DS and consequently the determination of the minimal cover of such a set. A relatively large example illustrates the switching-algebraic approach and demonstrates its pedagogical and computational merits over the traditional approach.

Journal of Mathematics and Statistics
Volume 10 No. 2, 2014, 231-243

DOI: https://doi.org/10.3844/jmssp.2014.231.243

Submitted On: 19 January 2014 Published On: 18 April 2014

How to Cite: Rushdi, A. M. A. & Ba-Rukab, O. M. (2014). SWITCHING-ALGEBRAIC ANALYSIS OF RELATIONAL DATABASES. Journal of Mathematics and Statistics, 10(2), 231-243. https://doi.org/10.3844/jmssp.2014.231.243

  • 2,632 Views
  • 1,806 Downloads
  • 2 Citations

Download

Keywords

  • Switching Algebra
  • Relational Databases
  • Rules of Inference
  • Algebraic and Map Methods
  • Closure of a Set
  • Variable-Entered Karnaugh Map
  • Functional Dependency
  • Minimal Cover
  • Candidate Keys