| DC Field | Value | Language |
|---|
| dc.contributor.author | Шекета, В. | |
| dc.date.accessioned | 2020-11-18T08:16:39Z | - |
| dc.date.available | 2020-11-18T08:16:39Z | - |
| dc.date.created | 2005-03-01 | |
| dc.date.issued | 2005-03-01 | |
| dc.identifier.citation | Шекета В. Аналіз абстрактних типів даних для модифікаційних предикатних запитів / В. Шекета // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2005. — № 543 : Комп’ютерні науки та інформаційні технології. — С. 103–112. — (Моделювання процесів і систем). | |
| dc.identifier.uri | https://ena.lpnu.ua/handle/ntb/55244 | - |
| dc.description.abstract | Побудовано домен для аналізу абстрактних типів даних в модифікаційних предикатних запитах із використанням поліморфних типів даних і домена трансфінітних формул. Показано можливість використання домена логічних програм як абстрактного домена для інтерпретації модифікаційних предикатних запитів. | |
| dc.description.abstract | The domain construction for the abstract data types analysis in the predicate queries modifications is done with the use of polymorphic data types and the domain of transfinite formulas. The possibility of use of the logical programs domain, as an abstract domain for the interpretation of predicate queries modifications is shown. | |
| dc.format.extent | 103-112 | |
| dc.language.iso | uk | |
| dc.publisher | Видавництво Національного університету “Львівська політехніка” | |
| dc.relation.ispartof | Вісник Національного університету “Львівська політехніка”, 543 : Комп’ютерні науки та інформаційні технології, 2005 | |
| dc.title | Аналіз абстрактних типів даних для модифікаційних предикатних запитів | |
| dc.type | Article | |
| dc.rights.holder | © Національний університет “Львівська політехніка”, 2005 | |
| dc.rights.holder | © Шекета В., 2005 | |
| dc.contributor.affiliation | Національний технічний університет нафти і газу | |
| dc.format.pages | 10 | |
| dc.identifier.citationen | Sheketa V. Analiz abstraktnykh typiv danykh dlia modyfikatsiinykh predykatnykh zapytiv / V. Sheketa // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". — Lviv : Vydavnytstvo Natsionalnoho universytetu "Lvivska politekhnika", 2005. — No 543 : Kompiuterni nauky ta informatsiini tekhnolohii. — P. 103–112. — (Modeliuvannia protsesiv i system). | |
| dc.relation.references | 1. Barbuti R., Giacobazzi R A Bottom-up Polymorphic Type Inference in Logic Programming. Science of Computer Programming, 19(3).- 1992.-P.281-313. | |
| dc.relation.references | 2. Apt K. R., Marchiori E. Reasoning about Prolog Programs: from Modes through Types to Assertions. Formal Aspects of Computing, 6(6A).- 1994.P-743-765. | |
| dc.relation.references | 3. Yardeni E., Shapiro E. A Type System for Logic Programs. Journal of Logic Programming, 10.-1991.-P.125-135. | |
| dc.relation.references | 4. Hentenryck P., Cortesi A., Charlier B. Type Analysis of Prolog using Type Graphs. Journal of Logic Programming, 22(3).-1995.-P.179-209. | |
| dc.relation.references | 5. Codish M., Demoen B. Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. In Proc. of the first International Symposium on Static Analysis, volume 864 of Lecture Notes in Computer Science. Springer-Verlag.-1994-P.281-296. | |
| dc.relation.references | 6. Codish M., Lagoon V. Type Dependencies for Logic Programs Using ACI Unification. In Proceedings of the 1996 Israeli Symposium on Theory of Computing and Systems, IEEE Press,June 1996.-P. 136—145. | |
| dc.relation.references | 7. Gallagher J., Waal D. A. Fast and Precise Regular Approximation of Logic Programs. In Pascal Van Hentenryck, editor, Proceedings of the Eleventh International Conference on Logic Programming,Santa Margherita Ligure, Italy, The MIT Press.-1994.- P.599-613. | |
| dc.relation.references | 8. Janssens G., Bruynooghe M. Deriving Descriptions of Possible Values of Program Variables by means of Abstract Interpretation. Journal of Logic Programming, 13(2 & 3), 1992.-P.205- 258. | |
| dc.relation.references | 9. Kifer M., Wu J. A First Order Theory of Types and Polymorphism in Logic Programming. In IEEE Symposium on Logic in Computer Science.- 1991. | |
| dc.relation.references | 10. Lunjin Lu. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming, 36(1) -1998-P. 1-54. | |
| dc.relation.references | 11. Papadimitriou C. Computational Complexity. Addison-Wesley-1994. | |
| dc.relation.references | 12. Smaus J.-G.f Hill P., King A. Mode Analysis for Typed Logic Programs. In Proc. of the LOPSTR'99 Workshop, Venice,Italy, September 1999.-P. 163-170. | |
| dc.relation.references | 13. Шекета В.І. Модифікаційні предикатні запити як інструмент підтримки діалогу з користувачем в інформаційних системах на основі баз даних і знань // Вісник Тернопільського державного технічного університету “Технічні науки”. - 2003. - Т. 8. - №4. - С. 113-119. | |
| dc.relation.references | 14. Sheketa V.I. Predicate queries modification, as an tool to work with the knowledgebases of oil and gas subject domain. In proceedings of 6-th International scientific conference Modern problems of Radio engineering, telecommunications and Computer science - TCSET2004n. -Lviv-Slavsko, February 24-28.- 2004.-P.315-319. | |
| dc.relation.referencesen | 1. Barbuti R., Giacobazzi R A Bottom-up Polymorphic Type Inference in Logic Programming. Science of Computer Programming, 19(3), 1992.-P.281-313. | |
| dc.relation.referencesen | 2. Apt K. R., Marchiori E. Reasoning about Prolog Programs: from Modes through Types to Assertions. Formal Aspects of Computing, 6(6A), 1994.P-743-765. | |
| dc.relation.referencesen | 3. Yardeni E., Shapiro E. A Type System for Logic Programs. Journal of Logic Programming, 10.-1991.-P.125-135. | |
| dc.relation.referencesen | 4. Hentenryck P., Cortesi A., Charlier B. Type Analysis of Prolog using Type Graphs. Journal of Logic Programming, 22(3).-1995.-P.179-209. | |
| dc.relation.referencesen | 5. Codish M., Demoen B. Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. In Proc. of the first International Symposium on Static Analysis, volume 864 of Lecture Notes in Computer Science. Springer-Verlag.-1994-P.281-296. | |
| dc.relation.referencesen | 6. Codish M., Lagoon V. Type Dependencies for Logic Programs Using ACI Unification. In Proceedings of the 1996 Israeli Symposium on Theory of Computing and Systems, IEEE Press,June 1996.-P. 136-145. | |
| dc.relation.referencesen | 7. Gallagher J., Waal D. A. Fast and Precise Regular Approximation of Logic Programs. In Pascal Van Hentenryck, editor, Proceedings of the Eleventh International Conference on Logic Programming,Santa Margherita Ligure, Italy, The MIT Press.-1994, P.599-613. | |
| dc.relation.referencesen | 8. Janssens G., Bruynooghe M. Deriving Descriptions of Possible Values of Program Variables by means of Abstract Interpretation. Journal of Logic Programming, 13(2 & 3), 1992.-P.205- 258. | |
| dc.relation.referencesen | 9. Kifer M., Wu J. A First Order Theory of Types and Polymorphism in Logic Programming. In IEEE Symposium on Logic in Computer Science, 1991. | |
| dc.relation.referencesen | 10. Lunjin Lu. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming, 36(1) -1998-P. 1-54. | |
| dc.relation.referencesen | 11. Papadimitriou C. Computational Complexity. Addison-Wesley-1994. | |
| dc.relation.referencesen | 12. Smaus J.-G.f Hill P., King A. Mode Analysis for Typed Logic Programs. In Proc. of the LOPSTR'99 Workshop, Venice,Italy, September 1999.-P. 163-170. | |
| dc.relation.referencesen | 13. Sheketa V.I. Modyfikatsiini predykatni zapyty yak instrument pidtrymky dialohu z korystuvachem v informatsiinykh systemakh na osnovi baz danykh i znan, Visnyk Ternopilskoho derzhavnoho tekhnichnoho universytetu "Tekhnichni nauky", 2003, V. 8, No 4, P. 113-119. | |
| dc.relation.referencesen | 14. Sheketa V.I. Predicate queries modification, as an tool to work with the knowledgebases of oil and gas subject domain. In proceedings of 6-th International scientific conference Modern problems of Radio engineering, telecommunications and Computer science - TCSET2004n. -Lviv-Slavsko, February 24-28, 2004.-P.315-319. | |
| dc.citation.journalTitle | Вісник Національного університету “Львівська політехніка” | |
| dc.citation.issue | 543 : Комп’ютерні науки та інформаційні технології | |
| dc.citation.spage | 103 | |
| dc.citation.epage | 112 | |
| dc.coverage.placename | Львів | |
| dc.coverage.placename | Lviv | |
| dc.subject.udc | 004.942 | |
| Appears in Collections: | Комп'ютерні науки та інформаційні технології. – 2005. – №543
|
