Bu öğeden alıntı yapmak, öğeye bağlanmak için bu tanımlayıcıyı kullanınız:
http://elartu.tntu.edu.ua/handle/lib/50026
Tüm üstveri kaydı
| Dublin Core Alanı | Değer | Dil |
|---|---|---|
| dc.contributor.author | Шекета, В. | |
| dc.contributor.author | Sheketa, V. | |
| dc.date.accessioned | 2025-09-05T14:44:08Z | - |
| dc.date.available | 2025-09-05T14:44:08Z | - |
| dc.date.created | 2004-05-18 | |
| dc.date.issued | 2004-05-18 | |
| dc.date.submitted | 27.02.04 | |
| dc.identifier.citation | Шекета В. Використання домену логічних програм для представлення абстрактних типів даних модифікаційних запитів / В. Шекета // Вісник ТДТУ. — Т. : ТДТУ, 2004. — Том 9. — № 2. — С. 129–134. — (Математичне моделювання. математика. фізика). | |
| dc.identifier.issn | 1727-7108 | |
| dc.identifier.uri | http://elartu.tntu.edu.ua/handle/lib/50026 | - |
| dc.description.abstract | Запропоновано спосіб використання домену логічних програм для представлення абстрактних типів даних модифікаційних предикатних запитів для інформаційних інтелектуальних систем на основі баз даних і знань. Відмінними рисами пропонованого підходу є використання представлення інформації в формі логічних заперечень, явне задання поліморфних залежностей між абстрактними типами даних і побудова абстрактних доменів на формально-логічній основі теорій послідовного уточнення доменів та абстрактної інтерпретації | |
| dc.description.abstract | In given paper the method of logical programs domain use is offered for the representation of abstract data types of predicate queries modification for the information intellectual systems on the basis of databases and knowledgebases. The use of representation of information in the form of logical negations, explicit representation of polymorphic dependencies between abstract data types, and the construction of abstract domains on the formal-logical basis of the theories of sequentially improving of domains and of abstract interpretation is the offered approach distinguishing features | |
| dc.format.extent | 129-134 | |
| dc.language.iso | uk | |
| dc.publisher | ТДТУ | |
| dc.publisher | TSTU | |
| dc.relation.ispartof | Вісник Тернопільського державного технічного університету, 2 (9), 2004 | |
| dc.relation.ispartof | Scientific Journal of the Ternopil State Technical University, 2 (9), 2004 | |
| dc.title | Використання домену логічних програм для представлення абстрактних типів даних модифікаційних запитів | |
| dc.title.alternative | Logical programs domain use for the representation of abstract data types of predicate queries modification | |
| dc.type | Article | |
| dc.rights.holder | © Тернопільський державний технічний університет імені Івана Пулюя, 2004 | |
| dc.coverage.placename | Тернопіль | |
| dc.coverage.placename | Ternopil | |
| dc.format.pages | 6 | |
| dc.subject.udc | 681.3 | |
| dc.subject.udc | 622.276 | |
| dc.relation.references | 1. Barbuti R., Giacobazzi R. A Bottom-up Polymorphic Type Inference in Logic Programming. Science of Computer Programming, 19(3).– 1992.–P.281–313. | |
| dc.relation.references | 2. Apt K. R., Marchiori E. Reasoning about Prolog Programs: from Modes through Types to Assertions. Formal Aspects of Computing, 6(6A).–1994.P–743–765. | |
| dc.relation.references | 3. Yardeni E. , Shapiro E. A Type System for Logic Programs. Journal of Logic Programming, 10.–1991.–P.125–135. | |
| dc.relation.references | 4. Hentenryck P. , Cortesi A., Charlier B. Type Analysis of Prolog using Type Graphs. Journal of Logic Programming, 22(3).–1995.–P.179–209. | |
| dc.relation.references | 5. Codish M. , Demoen B. Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. In Proc. of the first International Symposium on Static Analysis, volume 864 of Lecture Notes in Computer Science. Springer-Verlag.–1994–P.281–296. | |
| dc.relation.references | 6. Codish M., Lagoon V. Type Dependencies for Logic Programs Using ACI Unification. In Proceedings of the 1996 Israeli Symposium on Theory of Computing and Systems, IEEE Press,June 1996.–P.136–145. | |
| dc.relation.references | 7. Gallagher J., Waal D. A. Fast and Precise Regular Approximation of Logic Programs. In Pascal Van Hentenryck, editor, Proceedings of the Eleventh International Conference on Logic Programming,Santa Margherita Ligure, Italy, The MIT Press.–1994.–P.599–613. | |
| dc.relation.references | 8. Janssens G., Bruynooghe M. Deriving Descriptions of Possible Values of Program Variables by means of Abstract Interpretation. Journal of Logic Programming, 13(2 & 3), 1992.–P.205–258. | |
| dc.relation.references | 9. Kifer M. , Wu J. A First Order Theory of Types and Polymorphism in Logic Programming. In IEEE Symposium on Logic in Computer Science.– 1991. | |
| dc.relation.references | 10. Lu Lunjin. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming, 36(1).–1998.–P.1–54. | |
| dc.relation.references | 11. Papadimitriou C. Computational Complexity. Addison-Wesley.–1994. | |
| dc.relation.references | 12. Smaus J.-G., Hill P., 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 | 13. Шекета В.І. Модифікаційні предикатні запити, як інструмент підтримки діалогу з користувачем в інформаційних системах на основі баз даних і знань // Вісник Тернопільського державного технічного університету.- 2003-Технічні науки.-Том 8.-№4. –2003.- С.113-119. | |
| dc.relation.references | 14. V.Sheketa. Predicate queries modification, as an tool to work with the knowledgebases of oil and gas subject domain. In proceedings of 6-th International scientific conference "Modern problems of Radio engineering, telecommunications and Computer science – TCSET’2004" .-Lviv-Slavsko, February 24-28.- 2004.–P.315–319. | |
| dc.relation.referencesen | 1. Barbuti R., Giacobazzi R. A Bottom-up Polymorphic Type Inference in Logic Programming. Science of Computer Programming, 19(3), 1992.–P.281–313. | |
| dc.relation.referencesen | 2. Apt K. R., Marchiori E. Reasoning about Prolog Programs: from Modes through Types to Assertions. Formal Aspects of Computing, 6(6A).–1994.P–743–765. | |
| dc.relation.referencesen | 3. Yardeni E. , Shapiro E. A Type System for Logic Programs. Journal of Logic Programming, 10.–1991.–P.125–135. | |
| dc.relation.referencesen | 4. Hentenryck P. , Cortesi A., Charlier B. Type Analysis of Prolog using Type Graphs. Journal of Logic Programming, 22(3).–1995.–P.179–209. | |
| dc.relation.referencesen | 5. Codish M. , Demoen B. Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. In Proc. of the first International Symposium on Static Analysis, volume 864 of Lecture Notes in Computer Science. Springer-Verlag.–1994–P.281–296. | |
| dc.relation.referencesen | 6. Codish M., Lagoon V. Type Dependencies for Logic Programs Using ACI Unification. In Proceedings of the 1996 Israeli Symposium on Theory of Computing and Systems, IEEE Press,June 1996.–P.136–145. | |
| dc.relation.referencesen | 7. Gallagher J., Waal D. A. Fast and Precise Regular Approximation of Logic Programs. In Pascal Van Hentenryck, editor, Proceedings of the Eleventh International Conference on Logic Programming,Santa Margherita Ligure, Italy, The MIT Press.–1994.–P.599–613. | |
| dc.relation.referencesen | 8. Janssens G., Bruynooghe M. Deriving Descriptions of Possible Values of Program Variables by means of Abstract Interpretation. Journal of Logic Programming, 13(2 & 3), 1992.–P.205–258. | |
| dc.relation.referencesen | 9. Kifer M. , Wu J. A First Order Theory of Types and Polymorphism in Logic Programming. In IEEE Symposium on Logic in Computer Science, 1991. | |
| dc.relation.referencesen | 10. Lu Lunjin. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming, 36(1).–1998.–P.1–54. | |
| dc.relation.referencesen | 11. Papadimitriou C. Computational Complexity. Addison-Wesley.–1994. | |
| dc.relation.referencesen | 12. Smaus J.-G., Hill P., 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 | 13. 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, 2003-Tekhnichni nauky.-V. 8.-No 4. –2003, P.113-119. | |
| dc.relation.referencesen | 14. V.Sheketa. Predicate queries modification, as an tool to work with the knowledgebases of oil and gas subject domain. In proceedings of 6-th International scientific conference "Modern problems of Radio engineering, telecommunications and Computer science – TCSET’2004" .-Lviv-Slavsko, February 24-28, 2004.–P.315–319. | |
| dc.contributor.affiliation | Івано-Франківський національний технічний університет нафти і газу | |
| dc.citation.journalTitle | Вісник Тернопільського державного технічного університету | |
| dc.citation.volume | 9 | |
| dc.citation.issue | 2 | |
| dc.citation.spage | 129 | |
| dc.citation.epage | 134 | |
| dc.identifier.citation2015 | Шекета В. Використання домену логічних програм для представлення абстрактних типів даних модифікаційних запитів // Вісник ТДТУ, Тернопіль. 2004. Том 9. № 2. С. 129–134. | |
| dc.identifier.citationenAPA | Sheketa, V. (2004). Vykorystannia domenu lohichnykh prohram dlia predstavlennia abstraktnykh typiv danykh modyfikatsiinykh zapytiv [Logical programs domain use for the representation of abstract data types of predicate queries modification]. Scientific Journal of the Ternopil State Technical University, 9(2), 129-134. TSTU. [in Ukrainian]. | |
| dc.identifier.citationenCHICAGO | Sheketa V. (2004) Vykorystannia domenu lohichnykh prohram dlia predstavlennia abstraktnykh typiv danykh modyfikatsiinykh zapytiv [Logical programs domain use for the representation of abstract data types of predicate queries modification]. Scientific Journal of the Ternopil State Technical University (Tern.), vol. 9, no 2, pp. 129-134 [in Ukrainian]. | |
| Koleksiyonlarda Görünür: | Вісник ТДТУ, 2004, том 9, № 2 | |
Bu öğenin dosyaları:
| Dosya | Açıklama | Boyut | Biçim | |
|---|---|---|---|---|
| TSTUSJ_2004v9n2_Sheketa_V-Logical_programs_domain_129-134.pdf | 1,03 MB | Adobe PDF | Göster/Aç | |
| TSTUSJ_2004v9n2_Sheketa_V-Logical_programs_domain_129-134__COVER.png | 445,15 kB | image/png | Göster/Aç |
DSpace'deki bütün öğeler, aksi belirtilmedikçe, tüm hakları saklı tutulmak şartıyla telif hakkı ile korunmaktadır.