Author

Omar Mohammed Ba-Rukab

King Abdulaziz University, Saudi Arabia

2 articles in our journals

Articles where this person is an author, newest first. People are matched by their name as printed (no ORCID iD is recorded for them), not by name alone; search the name as text to find namesakes too.

Research ArticleOpen accessSWITCHING-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 PDF Cite

Research ArticleOpen accessPowerful 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 PDF Cite