Шекета, В.2020-11-182020-11-182005-03-012005-03-01Шекета В. Аналіз абстрактних типів даних для модифікаційних предикатних запитів / В. Шекета // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2005. — № 543 : Комп’ютерні науки та інформаційні технології. — С. 103–112. — (Моделювання процесів і систем).https://ena.lpnu.ua/handle/ntb/55244Побудовано домен для аналізу абстрактних типів даних в модифікаційних предикатних запитах із використанням поліморфних типів даних і домена трансфінітних формул. Показано можливість використання домена логічних програм як абстрактного домена для інтерпретації модифікаційних предикатних запитів.The domain construction for the abstract data types analysis in the predicate queries modifications is done with the use of polymorphic data types and the domain of transfinite formulas. The possibility of use of the logical programs domain, as an abstract domain for the interpretation of predicate queries modifications is shown.103-112ukАналіз абстрактних типів даних для модифікаційних предикатних запитівArticle© Національний університет “Львівська політехніка”, 2005© Шекета В., 200510004.942Sheketa V. Analiz abstraktnykh typiv danykh dlia modyfikatsiinykh predykatnykh zapytiv / V. Sheketa // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". — Lviv : Vydavnytstvo Natsionalnoho universytetu "Lvivska politekhnika", 2005. — No 543 : Kompiuterni nauky ta informatsiini tekhnolohii. — P. 103–112. — (Modeliuvannia protsesiv i system).