Relation Betweem the Calculus of Functional Dependence and Calculus of Proposition
Vladimir Mateljan · 2002
U ovom radu pokazana je mogucnost uspostavljanja odnosa između racuna funkcijskih zavisnosti i propozicijskog racuna. Pokazano je da se transformacijom Armstrongovih aksioma iz racuna funkcijskih zavisnosti može uspostaviti odnos između racuna funkcijskih zavisnosti i propozicijskog racuna. Pokazano je kako se transformacijom, u konjunktivnu normalnu formu, iskaza iz propozicijskog racuna, mogu dobiti: zatvarac skupa implikacija, neredundantni pokrivac skupa implikacija, klase ekvivalencije skupa implikacija, sastavljene implikacije te prstenasti pokrivac skupa implikacija. Uspostavljanjem odnosa između racuna funkcijskih zavisnosti i propozicijskog racuna, omoguceno je mnogo brže izvođenje zakljucaka, te primjena u logickom oblikovanju baza znanja i logickom programiranju