dc.contributor.author | Vasilecas, Olegas | |
dc.contributor.author | Kalibatienė, Diana | |
dc.date.accessioned | 2023-09-18T17:05:55Z | |
dc.date.available | 2023-09-18T17:05:55Z | |
dc.date.issued | 2007 | |
dc.identifier.issn | 0132-2818 | |
dc.identifier.other | (BIS)VGT02-000016515 | |
dc.identifier.uri | https://etalpykla.vilniustech.lt/handle/123456789/119496 | |
dc.description.abstract | In this paper, authors emphasise on the correctness of the transformation. Therefore, types of correctness are analysed here. As a context of transformation, the transformation of PAL constraints in SQL rules is chosen for more details. Formal rules for the transformation of PAL constraints in SQL rules are presented in this paper also. And finally, the analysis of the proposed transformation is checked. | eng |
dc.description.abstract | 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 i SQL taisykles yra formaliai aprašoma). Ir galiausiai, yra nagrinėjamas pasiūlytos transformacijos teisingumas. | lit |
dc.format.extent | p. 208-214 | |
dc.format.medium | tekstas / txt | |
dc.language.iso | eng | |
dc.relation.isreferencedby | VINITI | |
dc.title | Correctness of the transformation: transformation of ontology axioms in formal rules | |
dc.title.alternative | Transformacijos teisingumas: ontologijos aksiomų transformacija į formalias taisykles | |
dc.type | Straipsnis kitame recenzuotame leidinyje / Article in other peer-reviewed source | |
dcterms.references | 17 | |
dc.type.pubtype | S4 - Straipsnis kitame recenzuotame leidinyje / Article in other peer-reviewed publication | |
dc.contributor.institution | Vilniaus Gedimino technikos universitetas | |
dc.contributor.faculty | Fundamentinių mokslų fakultetas / Faculty of Fundamental Sciences | |
dc.subject.researchfield | T 007 - Informatikos inžinerija / Informatics engineering | |
dc.subject.en | Correctness of the transformation | |
dc.subject.en | Ontology axioms | |
dc.subject.en | Formal rules | |
dcterms.sourcetitle | Lietuvos matematikos rinkinys | |
dc.description.issue | spec, nr | |
dc.description.volume | T. 47 | |
dc.publisher.name | Matematikos ir informatikos institutas | |
dc.publisher.city | Vilnius | |
dc.identifier.elaba | 3818720 | |