Research ArticleOpen accessIn the author namesSWITCHING-ALGEBRAIC ANALYSIS OF RELATIONAL DATABASESAli Muhammad Ali Rushdi, Omar Mohammed Ba-RukabThere 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 … …Journal of Mathematics and Statistics, Vol. 10, Issue 2 · 18 Apr 2014 · 6,705 accessesView PDFCite
Research ArticleOpen accessIn the author namesPowerful Features of the Modern Syllogistic Method of Propositional LogicAli Muhammad Rushdi, Omar Mohammed Ba-RukabIn traditional propositional logic, many replacement and inference rules were involved to ascertain if the truth of several antecedents implied the truth of a particular consequent. This research described a powerful technique called the Modern Syllogistic Method (MSM), which ferreted out from a set of premises all that can be concluded from it and casted the resulting conclusions in the … …Journal of Mathematics and Statistics, Vol. 4, Issue 3 · 30 Sep 2008 · 7,108 accessesView PDFCite