Аналіз абстрактних типів даних для модифікаційних предикатних запитів
Date
2005-03-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Видавництво Національного університету “Львівська політехніка”
Abstract
Побудовано домен для аналізу абстрактних типів даних в модифікаційних предикатних запитах із використанням поліморфних типів даних і домена трансфінітних формул. Показано можливість використання домена логічних програм як абстрактного домена для інтерпретації модифікаційних предикатних запитів.
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.
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.
Description
Keywords
Citation
Шекета В. Аналіз абстрактних типів даних для модифікаційних предикатних запитів / В. Шекета // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2005. — № 543 : Комп’ютерні науки та інформаційні технології. — С. 103–112. — (Моделювання процесів і систем).