Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://elartu.tntu.edu.ua/handle/lib/32335

Назва: Аналіз еластичних семантик шаблонів виклику модифікаційних предикатних запитів
Інші назви: Elastic symantics analysis for an pattern of calling modification predicate queries
Автори: Шекета, В.
heketa, V.
Приналежність: Івано-Франківський національний технічний університет нафти і газу
Бібліографічний опис: Шекета В. Аналіз еластичних семантик шаблонів виклику модифікаційних предикатних запитів / Шекета В. // Вісник ТДТУ. — Т. : ТДТУ, 2004. — Том 9. — № 1. — С. 117–122. — (Математичне моделювання. Математика. Фізика).
Bibliographic description: 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].
Є частиною видання: Вісник Тернопільського державного технічного університету, 1 (9), 2004
Scientific Journal of the Ternopil State Technical University, 1 (9), 2004
Журнал/збірник: Вісник Тернопільського державного технічного університету
Випуск/№ : 1
Том: 9
Дата публікації: 28-гру-2004
Дата внесення: 5-сер-2020
Видавництво: ТДТУ
TSTU
Місце видання, проведення: Тернопіль
Ternopil
Кількість сторінок: 6
Діапазон сторінок: 117-122
Початкова сторінка: 117
Кінцева сторінка: 122
Короткий огляд (реферат): Запропоновано спосіб обчислення еластичних семантик для шаблонів виклику модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань, при якому використовується точна кількість змінних, які необхідні на кожному кроці виконання модифікацій запитів, що генеруються інтелектуальною інформаційною системою відповідно до вказівок користувача.
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
Перелік літератури: 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: 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.
Тип вмісту: Article
Розташовується у зібраннях:Вісник ТДТУ, 2004, том 9, № 1



Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.