Transformacijos teisingumas: ontologijos aksiomų transformacija į formalias taisykles
Straipsniai
Olegas Vasilecas
Vilniaus Gedimino technikos universitetas
Diana Būgaitė
Vilniaus Gedimino technikos universitetas
Publikuota 2021-06-14
https://doi.org/10.15388/LMR.2007.24199
PDF

Reikšminiai žodžiai

transformacijos teisingumas
ontologijos aksiomos
formalios taisyklės

Kaip cituoti

Vasilecas O. ir Būgaitė D. (2021) „Transformacijos teisingumas: ontologijos aksiomų transformacija į formalias taisykles“, Lietuvos matematikos rinkinys, 47(spec.), p. 208–214. doi: 10.15388/LMR.2007.24199.

Santrauka

Straipsnyje yra nagrinėjamas transformacijų teisingumas. Todėl susijusių darbų apžvalgoje autoriai analizuoja teisingumo rūšis ir kaip jos yra tikrinamos. Detaliam nagrinėjimui yra pasirenkama PAL ribojimų transformacija į SQL taisykles (PAL ribojimų transformacija į SQL taisykles yra formaliai aprašoma). Ir galiausiai, yra nagrinėjamas pasiūlytos transformacijos teisingumas.

PDF
Kūrybinių bendrijų licencija

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.