Дослідження категорійної моделі модифікаційних предикатних запитів
Репозитарій Вінницького Національного Технічного Університету
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Дослідження категорійної моделі модифікаційних предикатних запитів
Research of categorical model for modification predicate inquiries Исследование категорийной модели модификационных предикатних запросов |
|
| Creator |
Шекета, В. І.
|
|
| Description |
Запропоновано категорійну модель модифікаційних предикатних запитів на основі денотаційної семантики в рамках теорій фіксованих значень і виконано дослідження її властивостей шляхом введення поняття категорійної дедукції та її обчислювальних відповідей. В результаті виконано побудову індексованої категорії, що є універсумом всіх можливих станів бази знань інформаційної інтелектуальної системи, до яких може привести виконання модифікаційного запиту. Для кожного стану відповідний шар є множиною дедукцій, які можуть бути виконані та функторні інтерпретації, що відображають одержані синтаксичні і семантичні категорії через використання модифікаційних уніфікаторів і редукційних пар стрілок.
Предложена категорийная модель модификационных предикатных запросов на основе денотационной семантики в рамках теории фиксированных значений и выполнено исследование ее свойств путем определения категориальной дедукции и ее вычислительных решений. В результате выполнено построение индексированной категории, которая представляет собой универсум всех возможных состояний базы знаний информационной системы, как следствий выполнения модификационных предикатных запросов. Для каждого состояния, соответствующий слой представляет множество дедукций, которые могут быть выполнены и функторные интерпретации, которые отображают полученные синтаксические и семантические категории через использование модификационных унификаторов и редукционных пар стрелок. 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. |
|
| Date |
2016-01-26T13:45:35Z
2016-01-26T13:45:35Z 2010-11-12 |
|
| Type |
Article
|
|
| Identifier |
Шекета В. І. Дослідження категорійної моделі модифікаційних предикатних запитів [Текст] / В. І. Шекета // Вісник Вінницького політехнічного інституту. - 2005. - № 4. - С. 69-76.
1997-9274 1997-9266 http://visnyk.vntu.edu.ua/index.php/visnyk/article/view/205 http://ir.lib.vntu.edu.ua/handle/123456789/5413 681. 3:622. 276 |
|
| Language |
uk_UA
|
|
| Publisher |
ВНТУ
|
|