Relation Betweem the Calculus of Functional Dependence and Calculus of Proposition
U ovom radu pokazana je mogućnost uspostavljanja odnosa između računa funkcijskih zavisnosti i propozicijskog računa. Pokazano je da se transformacijom Armstrongovih aksioma iz računa funkcijskih zavisnosti može uspostaviti odnos između računa funkcijskih zavisnosti i propozicijskog računa. Pokazano...
| Permalink: | http://skupni.nsk.hr/Record/ffzg.KOHA-OAI-FFZG:306614/Details |
|---|---|
| Matična publikacija: |
Informatologija 35 (2002), 2 ; str. 103-107 |
| Glavni autor: | Mateljan, Vladimir (-) |
| Vrsta građe: | Članak |
| Jezik: | eng |
| LEADER | 01739naa a2200241uu 4500 | ||
|---|---|---|---|
| 008 | 131105s2002 xx eng|d | ||
| 022 | |a 1330-0067 | ||
| 035 | |a (CROSBI)252086 | ||
| 040 | |a HR-ZaFF |b hrv |c HR-ZaFF |e ppiak | ||
| 100 | 1 | |a Mateljan, Vladimir | |
| 245 | 1 | 0 | |a Relation Betweem the Calculus of Functional Dependence and Calculus of Proposition / |c Mateljan, Vladimir. |
| 246 | 3 | |i Naslov na engleskom: |a Relation Betweem the Calculus of Functional Dependence and Calculus of Proposition | |
| 300 | |a 103-107 |f str. | ||
| 363 | |a 35 |b 2 |i 2002 | ||
| 520 | |a U ovom radu pokazana je mogućnost uspostavljanja odnosa između računa funkcijskih zavisnosti i propozicijskog računa. Pokazano je da se transformacijom Armstrongovih aksioma iz računa funkcijskih zavisnosti može uspostaviti odnos između računa funkcijskih zavisnosti i propozicijskog računa. Pokazano je kako se transformacijom, u konjunktivnu normalnu formu, iskaza iz propozicijskog računa, mogu dobiti: zatvarač skupa implikacija, neredundantni pokrivač skupa implikacija, klase ekvivalencije skupa implikacija, sastavljene implikacije te prstenasti pokrivač skupa implikacija. Uspostavljanjem odnosa između računa funkcijskih zavisnosti i propozicijskog računa, omogućeno je mnogo brže izvođenje zaključaka, te primjena u logičkom oblikovanju baza znanja i logičkom programiranju | ||
| 536 | |a Projekt MZOS |f 0130462 | ||
| 546 | |a ENG | ||
| 690 | |a 5.04 | ||
| 693 | |a functional dependencies calculus, proposition calculus |l hrv |2 crosbi | ||
| 693 | |a functional dependencies calculus, proposition calculus |l eng |2 crosbi | ||
| 773 | 0 | |t Informatologija |x 1330-0067 |g 35 (2002), 2 ; str. 103-107 | |
| 942 | |c CLA |t 1.01 |u 1 |z Znanstveni - clanak | ||
| 999 | |c 306614 |d 306612 | ||