Показати скорочену інформацію

dc.contributor.authorШекета, В. І.uk
dc.contributor.authorГобир, Л. М.uk
dc.date.accessioned2016-01-26T13:53:40Z
dc.date.available2016-01-26T13:53:40Z
dc.date.issued2005
dc.identifier.citationШекета В. І. Категорійне моделювання модифікаційних предикатних запитів для інформаційних систем [Текст] / В. І. Шекета, Л. М. Гобир // Вісник Вінницького політехнічного інституту. - 2005. - № 6. - С. 206-213.uk
dc.identifier.issn1997-9274
dc.identifier.issn1997-9266
dc.identifier.urihttp://visnyk.vntu.edu.ua/index.php/visnyk/article/view/286
dc.identifier.urihttp://ir.lib.vntu.edu.ua/handle/123456789/5496
dc.description.abstractВведено базові ідеї для виконання категоріальної інтерпретації формального логічного апарату модифікаційних предикатних запитів на основі денотаційної семантики в рамках теорій фіксованих значень і категоріальної дедукції. Виконано побудову синтаксичної категорії в якій значення предикатів є явно заданими, і побудову функторної інтерпретації, що відображає одержану синтаксичну і семантичну категорію, які задані способом сумісним із твердженнями, що утворюють модифікаційний запит. Базова індексована категорія представляє собою універсум всіх можливих станів(значень глобальних змінних або поточних кортежів вільних змінних), до яких може привести виконання модифікаційного запиту. Для кожного стану, відповідний шар представляє множину дедукцій, які можуть бути виконані. В кінцевому підсумку модель модифікаційного запиту розглядається, як один із видів його ціле незалежних семантик, які інтерпретуються як класи стрілок.uk
dc.description.abstractВ рамках теории фиксированных значений и категориальной дедукции выполнено построение синтаксической категории в которой значение предикатов является явно заданным, и построена функторная интерпретация, что отображает полученную синтаксическую и семантическую индексированную категорию, что представляет собой универсум всех возможных состояний, к которым может привести выполнение предикатного запроса. Для каждого состояния, соответствующий слой индексированной категории представляет множество дедукций, которые могут быть выполнены. Полученная модель модификационного предикатного запроса рассматривается, как один из видов его целенезависимых семантик, которые интерпретируются как классы стрелок.ru
dc.description.abstractWithin 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.en
dc.language.isouk_UAuk_UA
dc.publisherВНТУuk
dc.titleКатегорійне моделювання модифікаційних предикатних запитів для інформаційних системuk
dc.title.alternativeCategorial modelling of modification predicate| queries for information systemsen
dc.title.alternativeКатегорийное моделирование модификационных предикатных запросов для информационных системru
dc.typeArticle


Файли в цьому документі

Thumbnail

Даний документ включений в наступну(і) колекцію(ї)

Показати скорочену інформацію