Аналіз семантики шаблонів виклику модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань

Simple item page
dc.citation.epage228
dc.citation.issue496 : Комп'ютерна інженерія та інформаційні технології
dc.citation.journalTitleВісник Національного університету “Львівська політехніка”
dc.citation.spage217
dc.contributor.affiliationІвано-Франківський національний технічний університет нафти і газу
dc.contributor.authorШекета, В.
dc.coverage.placenameЛьвів
dc.coverage.placenameLviv
dc.date.accessioned2020-11-04T16:27:46Z
dc.date.available2020-11-04T16:27:46Z
dc.date.created2005-03-01
dc.date.issued2005-03-01
dc.description.abstractЗапропоновано спосіб обчислення семантик шаблонів виклику модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань.
dc.description.abstractThe method of calculation semantics for patterns of modification predicate queries calls is offered for the information systems on the basis of databases and knowledges.
dc.format.extent217-228
dc.format.pages12
dc.identifier.citationШекета В. Аналіз семантики шаблонів виклику модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань / В. Шекета // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2003. — № 496 : Комп'ютерна інженерія та інформаційні технології. — С. 217–228. — (Методи й алгоритми сучасних інформаційних технологій).
dc.identifier.citationenSheketa 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).
dc.identifier.urihttps://ena.lpnu.ua/handle/ntb/54967
dc.language.isouk
dc.publisherВидавництво Національного університету “Львівська політехніка”
dc.relation.ispartofВісник Національного університету “Львівська політехніка”, 496 : Комп'ютерна інженерія та інформаційні технології, 2003
dc.relation.references1. Armstrong Т., Marriott К., Schachte R, and Sondergaard Н. Two Classes of Boolean Functions for Dependency Analysis. Science of Computer Programming, 31(1): 1998. P. 3-45.
dc.relation.references2. 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.
dc.relation.references3. Codish M., Lagoon V. and Bueno F. An Algebraic Approach to Sharing Analysis of Logic Programs. Journal of Logic Programming, 42(2), February 2000.
dc.relation.references4. Comini M. and Meo M. C. Compositionality Properties of SLD-derivations. Theoretical Computer Science, 211(1-2): 1999. - P. 275 -309.
dc.relation.references5. 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.
dc.relation.references6. Lunjin Lu. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming, 36(1): 1998. - P.1-54.
dc.relation.references7. 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.
dc.relation.references8. 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.references9. 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.
dc.relation.references10. 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.
dc.relation.references11. Cortesi A., File G. and Winsborough W. The Quotient of an Abstract Interpretation. Theoretical Computer Science, 202(1-2):1998. - P.163-192.
dc.relation.references12. 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.
dc.relation.references13. 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.
dc.relation.references14. Шекета ELI. Модифікаційні предикаті запити, як інструмент підтримки діалогу з користувачем в інформаційних системах на основі баз даних і знань // Вісник Тернопільського держ. технічн. ун-ту. -Серія "Математичне моделювання". - 2003
dc.relation.referencesen1. 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.
dc.relation.referencesen2. 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.
dc.relation.referencesen3. Codish M., Lagoon V. and Bueno F. An Algebraic Approach to Sharing Analysis of Logic Programs. Journal of Logic Programming, 42(2), February 2000.
dc.relation.referencesen4. Comini M. and Meo M. C. Compositionality Properties of SLD-derivations. Theoretical Computer Science, 211(1-2): 1999, P. 275 -309.
dc.relation.referencesen5. 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.
dc.relation.referencesen6. Lunjin Lu. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming, 36(1): 1998, P.1-54.
dc.relation.referencesen7. 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.
dc.relation.referencesen8. 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.referencesen9. 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.
dc.relation.referencesen10. 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.
dc.relation.referencesen11. Cortesi A., File G. and Winsborough W. The Quotient of an Abstract Interpretation. Theoretical Computer Science, 202(1-2):1998, P.163-192.
dc.relation.referencesen12. 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.
dc.relation.referencesen13. 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.
dc.relation.referencesen14. 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
dc.rights.holder© Національний університет “Львівська політехніка”, 2005
dc.rights.holder© Шекета В., 2003
dc.subject.udc681. 3
dc.subject.udc622. 276
dc.titleАналіз семантики шаблонів виклику модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань
dc.typeArticle

Files

Original bundle
Now showing 1 - 2 of 2
No Thumbnail Available
Name:
2003n496_Sheketa_V-Analiz_semantyky_shabloniv_217-228.pdf
Size:
685.38 KB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
2003n496_Sheketa_V-Analiz_semantyky_shabloniv_217-228__COVER.png
Size:
2.82 MB
Format:
Portable Network Graphics
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
2.94 KB
Format:
Plain Text
Description:
Download

Collections

Комп'ютерна інженерія та інформаційні технології. – 2003. – №496