THE POSSIBILITY OF APPLYING THE CALCULUS OF FUNCTIONAL DEPENDENCES TO A KNOWLEDGE BASE

The calculus of functional dependencies has proven very efficient in designing databases. This work illustrates the possibility of applying the calculus of functional dependence to the calculus of proposition. The calculus of propositions expanded in propositions, when expanded in this way, provide the possibility of significantly shortening the forming of implications, thus substantially speeding up the operations within the knowledge base. This paper shows the possibility of expanding the calculus of propositions with the calculus of functional dependencies. It also shows the possibility of using the calculus of functional dependencies in the forming of implications within the knowledge base. The contribution of this work is the incorporation of the calculus of functional dependencies into the calculus of proposition. The insertion of the calculus of functional dependencies into the calculus of propositions opens up the possibility of a much shorter forming of the implications, thus speeding up the operations within the knowledge base