Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://elartu.tntu.edu.ua/handle/lib/50026
| Title: | Використання домену логічних програм для представлення абстрактних типів даних модифікаційних запитів |
| Other Titles: | Logical programs domain use for the representation of abstract data types of predicate queries modification |
| Authors: | Шекета, В. Sheketa, V. |
| Affiliation: | Івано-Франківський національний технічний університет нафти і газу |
| Bibliographic description (Ukraine): | Шекета В. Використання домену логічних програм для представлення абстрактних типів даних модифікаційних запитів / В. Шекета // Вісник ТДТУ. — Т. : ТДТУ, 2004. — Том 9. — № 2. — С. 129–134. — (Математичне моделювання. математика. фізика). |
| Bibliographic reference (2015): | Шекета В. Використання домену логічних програм для представлення абстрактних типів даних модифікаційних запитів // Вісник ТДТУ, Тернопіль. 2004. Том 9. № 2. С. 129–134. |
| Bibliographic citation (APA): | 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]. |
| Bibliographic citation (CHICAGO): | 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]. |
| Is part of: | Вісник Тернопільського державного технічного університету, 2 (9), 2004 Scientific Journal of the Ternopil State Technical University, 2 (9), 2004 |
| Journal/Collection: | Вісник Тернопільського державного технічного університету |
| Issue: | 2 |
| Volume: | 9 |
| Issue Date: | 18-Μαΐ-2004 |
| Submitted date: | 27 |
| Date of entry: | 5-Σεπ-2025 |
| Publisher: | ТДТУ TSTU |
| Place of the edition/event: | Тернопіль Ternopil |
| UDC: | 681.3 622.276 |
| Number of pages: | 6 |
| Page range: | 129-134 |
| Start page: | 129 |
| End page: | 134 |
| 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 |
| URI: | http://elartu.tntu.edu.ua/handle/lib/50026 |
| ISSN: | 1727-7108 |
| Copyright owner: | © Тернопільський державний технічний університет імені Івана Пулюя, 2004 |
| References (Ukraine): | 1. Barbuti R., Giacobazzi R. A Bottom-up Polymorphic Type Inference in Logic Programming. Science of Computer Programming, 19(3).– 1992.–P.281–313. 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. 3. Yardeni E. , Shapiro E. A Type System for Logic Programs. Journal of Logic Programming, 10.–1991.–P.125–135. 4. Hentenryck P. , Cortesi A., Charlier B. Type Analysis of Prolog using Type Graphs. Journal of Logic Programming, 22(3).–1995.–P.179–209. 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. 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. 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. 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. 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. 10. Lu Lunjin. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming, 36(1).–1998.–P.1–54. 11. Papadimitriou C. Computational Complexity. Addison-Wesley.–1994. 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. 13. Шекета В.І. Модифікаційні предикатні запити, як інструмент підтримки діалогу з користувачем в інформаційних системах на основі баз даних і знань // Вісник Тернопільського державного технічного університету.- 2003-Технічні науки.-Том 8.-№4. –2003.- С.113-119. 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. |
| References (International): | 1. Barbuti R., Giacobazzi R. A Bottom-up Polymorphic Type Inference in Logic Programming. Science of Computer Programming, 19(3), 1992.–P.281–313. 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. 3. Yardeni E. , Shapiro E. A Type System for Logic Programs. Journal of Logic Programming, 10.–1991.–P.125–135. 4. Hentenryck P. , Cortesi A., Charlier B. Type Analysis of Prolog using Type Graphs. Journal of Logic Programming, 22(3).–1995.–P.179–209. 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. 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. 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. 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. 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. 10. Lu Lunjin. A Polymorphic Type Analysis in Logic Programs by Abstract Interpretation. Journal of Logic Programming, 36(1).–1998.–P.1–54. 11. Papadimitriou C. Computational Complexity. Addison-Wesley.–1994. 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. 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. 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. |
| Content type: | Article |
| Εμφανίζεται στις συλλογές: | Вісник ТДТУ, 2004, том 9, № 2 |
Αρχεία σε αυτό το τεκμήριο:
| Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
|---|---|---|---|---|
| TSTUSJ_2004v9n2_Sheketa_V-Logical_programs_domain_129-134.pdf | 1,03 MB | Adobe PDF | Δείτε/ Ανοίξτε | |
| TSTUSJ_2004v9n2_Sheketa_V-Logical_programs_domain_129-134__COVER.png | 445,15 kB | image/png | Δείτε/ Ανοίξτε |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα