Категорійне моделювання модифікаційних предикатних запитів для інформаційних систем

Abstract

Within the framework of fixed values theory and categoriсal deduction the construction of syntactic category in which the values of predicates is obviously set is performed and construction of functor interpretation, that displays the obtained syntactic and semantic indexed category, that is an universum of all possible states (values of global variable or current corteges of free variables), which can be initiated by implementation of modification predicate query are provided. For every possible state, the proper layer of indexed category represents the set of deductions. The obtained model of modification predicate query are considered, as one of its independent semantics, which are being interpreted as classes of arrows.