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

Autor:	Vladimir Mateljan
Jazyk:	angličtina
Rok vydání:	2000
Předmět:	TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Computer Science::Logic in Computer Science calculus of functional dependences implications forming knowledge base
Zdroj:	Journal of Information and Organizational Sciences Volume 24 Issue 1
ISSN:	1846-9418 1846-3312
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od_______951::4cfd46128735ff7d318487f86e74e7bd https://hrcak.srce.hr/78628 Zobrazit plný text záznamu