Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://elartu.tntu.edu.ua/handle/lib/32335
Повний запис метаданих
| Поле DC | Значення | Мова |
|---|---|---|
| dc.contributor.author | Шекета, В. | |
| dc.contributor.author | heketa, V. | |
| dc.date.accessioned | 2020-08-05T16:48:35Z | - |
| dc.date.available | 2020-08-05T16:48:35Z | - |
| dc.date.created | 2004-12-28 | |
| dc.date.issued | 2004-12-28 | |
| dc.identifier.citation | Шекета В. Аналіз еластичних семантик шаблонів виклику модифікаційних предикатних запитів / Шекета В. // Вісник ТДТУ. — Т. : ТДТУ, 2004. — Том 9. — № 1. — С. 117–122. — (Математичне моделювання. Математика. Фізика). | |
| dc.identifier.issn | 1727-7108 | |
| dc.identifier.uri | http://elartu.tntu.edu.ua/handle/lib/32335 | - |
| dc.description.abstract | Запропоновано спосіб обчислення еластичних семантик для шаблонів виклику модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань, при якому використовується точна кількість змінних, які необхідні на кожному кроці виконання модифікацій запитів, що генеруються інтелектуальною інформаційною системою відповідно до вказівок користувача. | |
| dc.description.abstract | 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. | |
| dc.format.extent | 117-122 | |
| dc.language.iso | uk | |
| dc.publisher | ТДТУ | |
| dc.publisher | TSTU | |
| dc.relation.ispartof | Вісник Тернопільського державного технічного університету, 1 (9), 2004 | |
| dc.relation.ispartof | Scientific Journal of the Ternopil State Technical University, 1 (9), 2004 | |
| dc.title | Аналіз еластичних семантик шаблонів виклику модифікаційних предикатних запитів | |
| dc.title.alternative | Elastic symantics analysis for an pattern of calling modification predicate queries | |
| dc.type | Article | |
| dc.coverage.placename | Тернопіль | |
| dc.coverage.placename | Ternopil | |
| dc.format.pages | 6 | |
| dc.relation.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. | |
| dc.relation.references | 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. | |
| dc.relation.references | 3. Codish M., Lagoon V., Bueno F. An Algebraic Approach to Sharing Analysis of Logic Programs. Journal of Logic Programming.-2000.- 42(2). | |
| dc.relation.references | 4. Comini M., Meo M. C. Compositionality Properties of SLD-derivations. Theoretical Computer Science.-1999.- 211(1-2).- P. 275-309. | |
| dc.relation.references | 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. | |
| dc.relation.references | 6. Lunjin Lu. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming.-1998.- 36(1).- P.1-54. | |
| dc.relation.references | 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. | |
| dc.relation.references | 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. | |
| dc.relation.references | 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. | |
| dc.relation.references | 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. | |
| dc.relation.references | 11. Cortesi A., File G., Winsborough W. The Quotient of an Abstract Interpretation. Theoretical Computer Science.-1998.- 202(1-2).– P.163-192. | |
| dc.relation.references | 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 | |
| dc.relation.references | 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. | |
| dc.relation.references | 14. Шекета В.І. Модифікаційні предикатні запити, як інструмент підтримки діалогу з користувачем в інформаційних системах на основі баз даних і знань // Вісник Тернопільського державного технічного університету / Технічні науки – 2003.-Том 8-№4. - С.113-119. | |
| dc.relation.referencesen | 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. | |
| dc.relation.referencesen | 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. | |
| dc.relation.referencesen | 3. Codish M., Lagoon V., Bueno F. An Algebraic Approach to Sharing Analysis of Logic Programs. Journal of Logic Programming.-2000, 42(2). | |
| dc.relation.referencesen | 4. Comini M., Meo M. C. Compositionality Properties of SLD-derivations. Theoretical Computer Science.-1999, 211(1-2), P. 275-309. | |
| dc.relation.referencesen | 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. | |
| dc.relation.referencesen | 6. Lunjin Lu. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming.-1998, 36(1), P.1-54. | |
| dc.relation.referencesen | 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. | |
| dc.relation.referencesen | 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. | |
| dc.relation.referencesen | 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. | |
| dc.relation.referencesen | 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. | |
| dc.relation.referencesen | 11. Cortesi A., File G., Winsborough W. The Quotient of an Abstract Interpretation. Theoretical Computer Science.-1998, 202(1-2), P.163-192. | |
| dc.relation.referencesen | 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 | |
| dc.relation.referencesen | 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. | |
| dc.relation.referencesen | 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. | |
| dc.identifier.citationen | 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]. | |
| dc.contributor.affiliation | Івано-Франківський національний технічний університет нафти і газу | |
| dc.citation.journalTitle | Вісник Тернопільського державного технічного університету | |
| dc.citation.volume | 9 | |
| dc.citation.issue | 1 | |
| dc.citation.spage | 117 | |
| dc.citation.epage | 122 | |
| Розташовується у зібраннях: | Вісник ТДТУ, 2004, том 9, № 1 | |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| TSTUSJ_2004v9n1_heketa_V-Elastic_symantics_analysis_117-122.pdf | 219,74 kB | Adobe PDF | Переглянути/відкрити | |
| TSTUSJ_2004v9n1_heketa_V-Elastic_symantics_analysis_117-122.djvu | 93 kB | DjVu | Переглянути/відкрити | |
| TSTUSJ_2004v9n1_heketa_V-Elastic_symantics_analysis_117-122__COVER.png | 394,86 kB | image/png | Переглянути/відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.