Research ArticleOpen accessIn the keywordsSWITCHING-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 abstractThe Inverse Problem for Boolean EquationsAli Muhammad Ali Rushdi, Hussain Mobarak AlbarakatiThe Forward Problem (FB) of Boolean equations consists of finding solutions of a system of Boolean equations, or equivalently, a single Boolean equation of the form f(X) = 0 where f(X): Bn → B and B is an arbitrary Boolean algebra. By contrast, the Inverse Problem (IB) of Boolean equations aims to reconstruct the equation f (X) = 0 given … …Journal of Computer Science, Vol. 8, Issue 12 · 3 Jan 2013 · 8,353 accessesView PDFCite