Please use this identifier to cite or link to this item: http://ena.lp.edu.ua:8080/handle/ntb/55244
Title: Аналіз абстрактних типів даних для модифікаційних предикатних запитів
Authors: Шекета, В.
Affiliation: Національний технічний університет нафти і газу
Bibliographic description (Ukraine): Шекета В. Аналіз абстрактних типів даних для модифікаційних предикатних запитів / В. Шекета // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2005. — № 543 : Комп’ютерні науки та інформаційні технології. — С. 103–112. — (Моделювання процесів і систем).
Bibliographic description (International): 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).
Is part of: Вісник Національного університету “Львівська політехніка”, 543 : Комп’ютерні науки та інформаційні технології, 2005
Journal/Collection: Вісник Національного університету “Львівська політехніка”
Issue: 543 : Комп’ютерні науки та інформаційні технології
Issue Date: 1-Mar-2005
Publisher: Видавництво Національного університету “Львівська політехніка”
Place of the edition/event: Львів
Lviv
UDC: 004.942
Number of pages: 10
Page range: 103-112
Start page: 103
End page: 112
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.
URI: http://ena.lp.edu.ua:8080/handle/ntb/55244
Copyright owner: © Національний університет “Львівська політехніка”, 2005
© Шекета В., 2005
References (Ukraine): 1. Barbuti R., Giacobazzi R A Bottom-up Polymorphic Type Inference in Logic Programming. Science of Computer Programming, 19(3).- 1992.-P.281-313.
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.
3. Yardeni E., Shapiro E. A Type System for Logic Programs. Journal of Logic Programming, 10.-1991.-P.125-135.
4. Hentenryck P., Cortesi A., Charlier B. Type Analysis of Prolog using Type Graphs. Journal of Logic Programming, 22(3).-1995.-P.179-209.
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.
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.
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.
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.
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.
10. Lunjin Lu. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming, 36(1) -1998-P. 1-54.
11. Papadimitriou C. Computational Complexity. Addison-Wesley-1994.
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.
13. Шекета В.І. Модифікаційні предикатні запити як інструмент підтримки діалогу з користувачем в інформаційних системах на основі баз даних і знань // Вісник Тернопільського державного технічного університету “Технічні науки”. - 2003. - Т. 8. - №4. - С. 113-119.
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.
References (International): 1. Barbuti R., Giacobazzi R A Bottom-up Polymorphic Type Inference in Logic Programming. Science of Computer Programming, 19(3), 1992.-P.281-313.
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.
3. Yardeni E., Shapiro E. A Type System for Logic Programs. Journal of Logic Programming, 10.-1991.-P.125-135.
4. Hentenryck P., Cortesi A., Charlier B. Type Analysis of Prolog using Type Graphs. Journal of Logic Programming, 22(3).-1995.-P.179-209.
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.
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.
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.
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.
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.
10. Lunjin Lu. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming, 36(1) -1998-P. 1-54.
11. Papadimitriou C. Computational Complexity. Addison-Wesley-1994.
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.
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.
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.
Content type: Article
Appears in Collections:Комп'ютерні науки та інформаційні технології. – 2005. – №543



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.