Research of categorical model for modification predicate inquiries

Abstract

The categorical model for modification predicate inquiries is offered on the basis of denotation semantics within the framework of fixed values theory and exploration of its properties is done through introduction of categorical deduction notion and its calculable answers. As a result the construction of indexed category, as an universum of all possible states of knowledgebase, to which can bring implementation of modification predicate query is done. For every state, the proper layer represents the set of deductions which can be executed, and functor interpretations, that are displaying the got syntactic and semantic categories through the use of modification unificators and reduction pairs of arrows.