期刊名称：Journal of Information and Organizational Sciences
印刷版ISSN：1846-3312
电子版ISSN：1846-9418
出版年度：2000
卷号：24
期号：1
页码：69-81
出版社：Faculty of Organization and Informatics University of Zagreb
摘要：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.
关键词：calculus of functional dependences; implications forming; knowledge base
