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

Abstract

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

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.