1. ELARTU — Інституційний репозитарій ТНТУ імені Івана Пулюя
  2. Вісник ТНТУ
  3. 2004
  4. Вісник ТДТУ, 2004, том 9, № 1
Palun kasuta seda identifikaatorit viitamiseks ja linkimiseks: http://elartu.tntu.edu.ua/handle/lib/32335

Pealkiri: Аналіз еластичних семантик шаблонів виклику модифікаційних предикатних запитів
Teised pealkirjad: Elastic symantics analysis for an pattern of calling modification predicate queries
Autor: Шекета, В.
heketa, V.
Affiliation: Івано-Франківський національний технічний університет нафти і газу
Bibliographic description (Ukraine): Шекета В. Аналіз еластичних семантик шаблонів виклику модифікаційних предикатних запитів / Шекета В. // Вісник ТДТУ. — Т. : ТДТУ, 2004. — Том 9. — № 1. — С. 117–122. — (Математичне моделювання. Математика. Фізика).
Bibliographic description (International): heketa V. (2004) Analiz elastychnykh semantyk shabloniv vyklyku modyfikatsiinykh predykatnykh zapytiv [Elastic symantics analysis for an pattern of calling modification predicate queries]. Scientific Journal of TSTU (Tern.), vol. 9, no 1, pp. 117-122 [in Ukrainian].
Is part of: Вісник Тернопільського державного технічного університету, 1 (9), 2004
Scientific Journal of the Ternopil State Technical University, 1 (9), 2004
Journal/Collection: Вісник Тернопільського державного технічного університету
Issue: 1
Volume: 9
Ilmumisaasta: 28-det-2004
Date of entry: 5-aug-2020
Kirjastaja: ТДТУ
TSTU
Place of the edition/event: Тернопіль
Ternopil
Number of pages: 6
Page range: 117-122
Start page: 117
End page: 122
Kokkuvõte: Запропоновано спосіб обчислення еластичних семантик для шаблонів виклику модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань, при якому використовується точна кількість змінних, які необхідні на кожному кроці виконання модифікацій запитів, що генеруються інтелектуальною інформаційною системою відповідно до вказівок користувача.
The method of calculation elastic semantics for patterns of modification predicate queries calls is offered for the information systems on the basis of databases and knowledges,which is build on precise number of variables, that is needed on each step of queries modifications, that are generated by intelegent information system accordingly to instructions of user.
URI: http://elartu.tntu.edu.ua/handle/lib/32335
ISSN: 1727-7108
References (Ukraine): 1. Armstrong T., Marriott K., Schachte P., Sondergaard H. Two Classes of Boolean Functions for Dependency Analysis. Science of Computer Programming.-1998.- 31(1)- P.3-45.
2. Bagnara R., 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., Bueno F. An Algebraic Approach to Sharing Analysis of Logic Programs. Journal of Logic Programming.-2000.- 42(2).
4. Comini M., Meo M. C. Compositionality Properties of SLD-derivations. Theoretical Computer Science.-1999.- 211(1-2).- P. 275-309.
5. Grove D., Furrow G., Dean J., Chambers C. Call Graph Construction in Object-oriented Languages. In Proc. of Object-Оriented Programming Systems, Languages and Applications.-1997.-OOPSLA'97.
6. Lunjin Lu. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming.-1998.- 36(1).- P.1-54.
7. Scozzari F. Logical Optimality of Groundness Analysis. In P. Van Hentenryck, editor, Proceedings of the 4th International Static Analysis Symposium SAS'97,volume 1302 of Lecture Notes in Computer Science. Springer- Verlag.-1997.- P.83-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. - Springer-Verlag. - P. 303-311.
10. Zaffanella E., 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. - P. 414-431.
11. Cortesi A., File G., Winsborough W. The Quotient of an Abstract Interpretation. Theoretical Computer Science.-1998.- 202(1-2).– P.163-192.
12. Giacobazzi R., Ranzato F., 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., Scozzari F. A Logical Model for Relational Abstract Domains. ACM Transactions on Program-ming Languages and Systems.-1998.- 20(5). – P.1067-1109.
14. Шекета В.І. Модифікаційні предикатні запити, як інструмент підтримки діалогу з користувачем в інформаційних системах на основі баз даних і знань // Вісник Тернопільського державного технічного університету / Технічні науки – 2003.-Том 8-№4. - С.113-119.
References (International): 1. Armstrong T., Marriott K., Schachte P., Sondergaard H. Two Classes of Boolean Functions for Dependency Analysis. Science of Computer Programming.-1998, 31(1)- P.3-45.
2. Bagnara R., 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., Bueno F. An Algebraic Approach to Sharing Analysis of Logic Programs. Journal of Logic Programming.-2000, 42(2).
4. Comini M., Meo M. C. Compositionality Properties of SLD-derivations. Theoretical Computer Science.-1999, 211(1-2), P. 275-309.
5. Grove D., Furrow G., Dean J., Chambers C. Call Graph Construction in Object-oriented Languages. In Proc. of Object-Oriented Programming Systems, Languages and Applications.-1997.-OOPSLA'97.
6. Lunjin Lu. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming.-1998, 36(1), P.1-54.
7. Scozzari F. Logical Optimality of Groundness Analysis. In P. Van Hentenryck, editor, Proceedings of the 4th International Static Analysis Symposium SAS'97,volume 1302 of Lecture Notes in Computer Science. Springer- Verlag.-1997, P.83-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, Springer-Verlag, P. 303-311.
10. Zaffanella E., 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, P. 414-431.
11. Cortesi A., File G., Winsborough W. The Quotient of an Abstract Interpretation. Theoretical Computer Science.-1998, 202(1-2), P.163-192.
12. Giacobazzi R., Ranzato F., 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., Scozzari F. A Logical Model for Relational Abstract Domains. ACM Transactions on Program-ming Languages and Systems.-1998, 20(5), P.1067-1109.
14. 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.
Content type: Article
Asub kollektsiooni(de)s:Вісник ТДТУ, 2004, том 9, № 1

Failid selles objektis:
Fail Kirjeldus SuurusFormaat 
TSTUSJ_2004v9n1_heketa_V-Elastic_symantics_analysis_117-122.pdf219,74 kBAdobe PDFVaata/Ava
TSTUSJ_2004v9n1_heketa_V-Elastic_symantics_analysis_117-122.djvu93 kBDjVuVaata/Ava
TSTUSJ_2004v9n1_heketa_V-Elastic_symantics_analysis_117-122__COVER.png394,86 kBimage/pngVaata/Ava
Näita täiskirjet Vaata statistikat


Kõik teosed on Dspaces autoriõiguste kaitse all.