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

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.