Побудова моделі модифікаційних предикатних запитів на основі прeмоноїдних категорійних структур

На шарах індексованої категорії модифікаційних предикатних запитів введено премоноїдні структури замість моноїдних, що з точки зору програмної імплементації в більшій мірі відповідає стандартній процедурі Prolog–резолюції. Введено спосіб використання премоноїдних структур на шарах синтаксичних і семантичних стратегій. Показано, що премоноїдна модель в рамках категорійної стратегії може бути задана також і з допомогою відповідної функторної інтерпретації, що відповідає моделі Гербранда для абстрактних логічних програм. Показано, що реіндексовані функтори зберігають премоноїдну структуру шарів яку можна також розглядати і як моноїдну оскільки всі відображення є центральними, а значить, також і як таку, що може бути перетворена в премоноїдну індексовану категорію

Застосування премоноїдної дедукції в семантичних стратегіях модифікаційних предикатних запитів

Показано спосіб побудови процедур одержання ланцюга премоноїдних інтерпретацій модифікаційних предикатних запитів із премоноїдною ко-границею, яка може бути розширена до рівня моделі модифікаційних предикатних запитів. Введено транзитивну систему для премоноїдних дедукцій модифікаційних предикатних запитів, як розширення базової транзитивної системи для категорійної дедукції через введення премоноїдних уніфікаторів. Введені реіндексуючі функтори виконують відображення дедукції і зберігають введені премоноїдні структури, що дозволяє виконати оголошення скінченної премоноїдної інтерпретації, яка є основою для побудови премоноїдної моделі модифікаційних предикатних запитів. Виконано побудову премоноїдної індексованої категорії із підкатегорією простих премоноїдних дедукцій із фіксованими доменами і ко-доменами.The method is proposed for procedures construction for getting of premonoidal interpretations chain of modifications predicate queries with premonoidal co-limit which can be extended to the level of an model for modification predicate queries. The transitive system is introduced for premonoidal deductions of modification predicate queries, as extension of the base transitive system for categorical deduction through adding of premonoidal unificators. The introduced reindexed executes mappings of deductions and preserves the entered premonoidal structures, that allows to execute declaration of finite premonoidal interpretation which is the basis for construction of premonoidal model of modification predicate queries. The construction of premonoidal indexed category is done with the subcategory of simple premonoidal deductions with the fixed domains and co-domains and with natural in quality of the selected elements

Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень

Показано спосіб побудови процедур одержання ланцюга премоноїдних інтерпретацій модифікаційних предикатних запитів із пре- моноїдною ко-границею, яка може бути розширена до рівня моделі модифікаційних предикатних запитів у заданій категорійній стратегії та системі обмежень. Введено транзитивну систему для премоноїдних дедукцій модифікаційних предикатних запитів, як розширення базової транзитивної систе для категорійної дедукції через введення премоноїдних уніфікаторів. Введені реіндексуючі функтори виконують відображення дедукції і зберігають введені премоноїдні структури, що дозволяє виконати оголошення скінченної премоноїдної інтерпретації, яка є основою для побудови премоноїдної моделі модифікаційних предикатних запитів. Вико- нано побудову премоноїдної індексованої категорії із підкатегорією простих премоноїдних дедукцій із фіксованими доменами і кодомена.The method is proposed for procedures construction for getting of premonoidal interpretations chain of modifications predicate queries with premonoidal co-limit which can be extended to the level of an model for modification predicate queries in given categorical strategy and imposed restrictions system. The transitive system is introduced for premonoidal deductions of modification predicate queries, as extension of the base transitive system for categorical deduction through adding of premonoidal unificators. The introduced reindexed functors executes mappings of deductions and preserves the entered premonoidal structures, that allows to execute declaration of finite premonoidal interpretation which is the basis for construction of premonoidal model of modification predicate queries. The construction of premonoidal indexed category is done with the subcategory of simple premonoidal deductions with the fixed domains and co-domains and with natural transformations in quality of the selected elements

Exploiting goal independence in the analysis of logic programs

This paper illustrates the use of a top-down framework to obtain goal independent analyses of logic programs, a task which is usually associated with the bottom-up approach. While it is well known that the bottomup approach can be used, through the magic set transformation, for goal dependent analysis, it is less known that the top-down approach can be used for goal independent analysis. The paper describes two ways of doing the latter. We show how the results of a goal independent analysis can be used to speed up subsequent goal dependent analyses. However this speed-up may result in a loss of precisión. The influence of domain characteristics on this precisión is discussed and an experimental evaluation using a generic top-down analyzer is described

Goal dependent vs goal independent analysis of logic programs

Goal independent analysis of logic programs is commonly discussed in the context of the bottom-up approach. However, while the literature is rich in descriptions of top-down analysers and their application, practical experience with bottom-up analysis is still in a preliminary stage. Moreover, the practical use of existing top-down frameworks for goal independent analysis has not been addressed in a practical system. We illustrate the efficient use of existing goal dependent, top-down frameworks for abstract interpretation in performing goal independent analyses of logic programs much the same as those usually derived from bottom-up frameworks. We present several optimizations for this flavour of top-down analysis. The approach is fully implemented within an existing top-down framework. Several implementation tradeoffs are discussed as well as the influence of domain characteristics. An experimental evaluation including a comparison with a bottom-up analysis for the domain Prop is presented. We conclude that the technique can offer advantages with respect to standard goal dependent analyses

Improving abstract interpretations by combining domains

This article considers static analysis based on abstract interpretation of logic programs over combined domains. It is known that analyses over combined domains provide more information potentially than obtained by the independent analyses. However, the construction of a combined analysis often requires redefining the basic operations for the combined domain. A practical approach to maintain precision in combined analyses of logic programs which reuses the individual analyses and does not redefine the basic operations is illustrated. The advantages of the approach are that proofs of correctness for the new domains are not required and implementations can be reused. The approach is demonstrated by showing that a combined sharing analysis — constructed from "old" proposals — compares well with other "new" proposals suggested in recent literature both from the point of view of efficiency and accuracy