Skip navigation
DSpace logo
  1. Електронний науковий архів Науково-технічної бібліотеки Національного університету "Львівська політехніка"
  2. Електронний архів Науково-технічної бібліотеки
  3. Вісники та науково-технічні збірники, журнали
  4. Комп'ютерна інженерія та інформаційні технології
  5. Комп'ютерна інженерія та інформаційні технології. – 2003. – №496

putin IS MURDERER

Please use this identifier to cite or link to this item: https://oldena.lpnu.ua/handle/ntb/54967
Title: Аналіз семантики шаблонів виклику модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань
Authors: Шекета, В.
Affiliation: Івано-Франківський національний технічний університет нафти і газу
Bibliographic description (Ukraine): Шекета В. Аналіз семантики шаблонів виклику модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань / В. Шекета // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2003. — № 496 : Комп'ютерна інженерія та інформаційні технології. — С. 217–228. — (Методи й алгоритми сучасних інформаційних технологій).
Bibliographic description (International): Sheketa V. Analiz semantyky shabloniv vyklyku modyfikatsiinykh predykatnykh zapytiv dlia informatsiinykh system na osnovi baz danykh i znan / V. Sheketa // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". — Lviv : Vydavnytstvo Natsionalnoho universytetu "Lvivska politekhnika", 2003. — No 496 : Kompiuterna inzheneriia ta informatsiini tekhnolohii. — P. 217–228. — (Metody y alhorytmy suchasnykh informatsiinykh tekhnolohii).
Is part of: Вісник Національного університету “Львівська політехніка”, 496 : Комп'ютерна інженерія та інформаційні технології, 2003
Journal/Collection: Вісник Національного університету “Львівська політехніка”
Issue: 496 : Комп'ютерна інженерія та інформаційні технології
Issue Date: 1-Mar-2005
Publisher: Видавництво Національного університету “Львівська політехніка”
Place of the edition/event: Львів
Lviv
UDC: 681. 3
622. 276
Number of pages: 12
Page range: 217-228
Start page: 217
End page: 228
Abstract: Запропоновано спосіб обчислення семантик шаблонів виклику модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань.
The method of calculation semantics for patterns of modification predicate queries calls is offered for the information systems on the basis of databases and knowledges.
URI: https://ena.lpnu.ua/handle/ntb/54967
Copyright owner: © Національний університет “Львівська політехніка”, 2005
© Шекета В., 2003
References (Ukraine): 1. Armstrong Т., Marriott К., Schachte R, and Sondergaard Н. Two Classes of Boolean Functions for Dependency Analysis. Science of Computer Programming, 31(1): 1998. P. 3-45.
2. Bagnara R. and Zaffanella E. Set-Sharing is Redundant for Pair-Sharing. In P. Van Hentenryck, editor, Proc. of the 4th Int. Symp. on Static Analysis, volume 1302 of Lecture Notes in Computer Science,Paris, France, 1997. Springer-Verlag, Berlin. P.53-67.
3. Codish M., Lagoon V. and Bueno F. An Algebraic Approach to Sharing Analysis of Logic Programs. Journal of Logic Programming, 42(2), February 2000.
4. Comini M. and Meo M. C. Compositionality Properties of SLD-derivations. Theoretical Computer Science, 211(1-2): 1999. - P. 275 -309.
5. Grove D., Furrow G., Dean J. and Chambers C. Call Graph Construction in Object-oriented Languages. In Proc. of Object-oriented Programming Systems, Languages and Applications, OOPSLA'97, 1997.
6. Lunjin Lu. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming, 36(1): 1998. - P.1-54.
7. Scozzari F. Logical Optimality of Groundness Analysis. In P. Van Flentenryck, editor, Proceedings of the 4th International Static Analysis Symposium SAS'97,volume 1302 of Lecture Notes in Computer Science. SpringerVerlag, 1997. P.8 3-97.
8. Smaus J.-G and King A. Mode Analysis for Typed Logic Programs. In Proc. of the LOPSTR'99 Workshop, Venice, Italy, September 1999 P. 163-170.
9. Volpano D. Safety versus Secrecy. In A Cortesi and G. File, editors, Static Analysis, volume 1694 of Lecture Notes in Computer Science. Springer-Verlag, 1999. c Springer-Verlag. - P. 303-311.
10. Zaffanella F.., Bagnara R. Widening Sharing. In Gopalan Nadathur Editor, Proc. of the Principles and Practice of Declarative Programming Conference PPDP'99, volume 1702 of Lectures Notes in Computer Science, Paris, September 1999. Springer-Verlag. Springer-Verlag. -P. 414-431.
11. Cortesi A., File G. and Winsborough W. The Quotient of an Abstract Interpretation. Theoretical Computer Science, 202(1-2):1998. - P.163-192.
12. Giacobazzi R.. Ranzato F. and Scozzari F Building Complete Abstract Interpretations in a Linear Logic-based Setting. In Static Analysis.Proceedings of the 5th International Static Analysis Symposium SAS 98. volume 1503 of Lecture Notes in Computer Science. Springer-Verlag,1998 -P. 215-229.
13. Giacobazzi R. and Scozzari F. A Logical Model for Relational Abstract Domains. ACM Transactions on Programming Languages and Systems, 20(5): 1998. - P.1067-1109.
14. Шекета ELI. Модифікаційні предикаті запити, як інструмент підтримки діалогу з користувачем в інформаційних системах на основі баз даних і знань // Вісник Тернопільського держ. технічн. ун-ту. -Серія "Математичне моделювання". - 2003
References (International): 1. Armstrong T., Marriott K., Schachte R, and Sondergaard N. Two Classes of Boolean Functions for Dependency Analysis. Science of Computer Programming, 31(1): 1998. P. 3-45.
2. Bagnara R. and Zaffanella E. Set-Sharing is Redundant for Pair-Sharing. In P. Van Hentenryck, editor, Proc. of the 4th Int. Symp. on Static Analysis, volume 1302 of Lecture Notes in Computer Science,Paris, France, 1997. Springer-Verlag, Berlin. P.53-67.
3. Codish M., Lagoon V. and Bueno F. An Algebraic Approach to Sharing Analysis of Logic Programs. Journal of Logic Programming, 42(2), February 2000.
4. Comini M. and Meo M. C. Compositionality Properties of SLD-derivations. Theoretical Computer Science, 211(1-2): 1999, P. 275 -309.
5. Grove D., Furrow G., Dean J. and Chambers C. Call Graph Construction in Object-oriented Languages. In Proc. of Object-oriented Programming Systems, Languages and Applications, OOPSLA'97, 1997.
6. Lunjin Lu. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming, 36(1): 1998, P.1-54.
7. Scozzari F. Logical Optimality of Groundness Analysis. In P. Van Flentenryck, editor, Proceedings of the 4th International Static Analysis Symposium SAS'97,volume 1302 of Lecture Notes in Computer Science. SpringerVerlag, 1997. P.8 3-97.
8. Smaus J.-G and King A. Mode Analysis for Typed Logic Programs. In Proc. of the LOPSTR'99 Workshop, Venice, Italy, September 1999 P. 163-170.
9. Volpano D. Safety versus Secrecy. In A Cortesi and G. File, editors, Static Analysis, volume 1694 of Lecture Notes in Computer Science. Springer-Verlag, 1999. c Springer-Verlag, P. 303-311.
10. Zaffanella F.., Bagnara R. Widening Sharing. In Gopalan Nadathur Editor, Proc. of the Principles and Practice of Declarative Programming Conference PPDP'99, volume 1702 of Lectures Notes in Computer Science, Paris, September 1999. Springer-Verlag. Springer-Verlag. -P. 414-431.
11. Cortesi A., File G. and Winsborough W. The Quotient of an Abstract Interpretation. Theoretical Computer Science, 202(1-2):1998, P.163-192.
12. Giacobazzi R.. Ranzato F. and Scozzari F Building Complete Abstract Interpretations in a Linear Logic-based Setting. In Static Analysis.Proceedings of the 5th International Static Analysis Symposium SAS 98. volume 1503 of Lecture Notes in Computer Science. Springer-Verlag,1998 -P. 215-229.
13. Giacobazzi R. and Scozzari F. A Logical Model for Relational Abstract Domains. ACM Transactions on Programming Languages and Systems, 20(5): 1998, P.1067-1109.
14. Sheketa ELI. Modyfikatsiini predykati zapyty, yak instrument pidtrymky dialohu z korystuvachem v informatsiinykh systemakh na osnovi baz danykh i znan, Visnyk Ternopilskoho derzh. tekhnichn. un-tu. -Seriia "Matematychne modeliuvannia", 2003
Content type: Article
Appears in Collections:Комп'ютерна інженерія та інформаційні технології. – 2003. – №496

Files in This Item:
File Description SizeFormat 
2003n496_Sheketa_V-Analiz_semantyky_shabloniv_217-228.pdf685.38 kBAdobe PDFView/Open
2003n496_Sheketa_V-Analiz_semantyky_shabloniv_217-228__COVER.png2.89 MBimage/pngView/Open
Show full item record


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