Известия Иркутского государственного университета. Серия «Математика»
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Известия Иркутского государственного университета. Серия Математика:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Известия Иркутского государственного университета. Серия «Математика», 2020, том 31, страницы 111–131
DOI: https://doi.org/10.26516/1997-7670.2020.31.111 (Mi iigum409) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Алгебро-логические методы в информатике и искусственный интеллект

On termination of transactions over semantic document models
[О завершаемости транзакций над семантическими документными моделями]

A. V. Mantsivodaab, D. K. Ponomaryovbcd

a Irkutsk State University, Irkutsk, Russian Federation
b Sobolev Institute of Mathematics SB RAS, Novosibirsk, Russian Federation
c Ershov Institute of Informatics Systems SB RAS, Novosibirsk, Russian Federation
d Novosibirsk State University, Novosibirsk, Russian Federation
PDF полного текста (454 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.26516/1997-7670.2020.31.111
Аннотация: Рассматривается парадигма Документного Моделирования, которая дает формальную основу для работы с документами в системах управленческого планирования. В данной работе документные модели формулируются в рамках логического формализма – языка Семантического Моделирования – и рассматривается проблема распознавания завершаемости транзакций, заданных документной моделью, для любого возможного входа. Показывается, что в общем случае данная проблема алгоритмически неразрешима. Сформулированы достаточные условия, гарантирующие разрешимость и полиномиальную ограниченность результата выполнения транзакций.
Ключевые слова: семантическое моделирование, документная модель, транзакция, цепь.
Финансовая поддержка Номер гранта
Российский научный фонд 17-11-01176
The research was supported by the Russian Science Foundation (Grant No. 17-11-01176).
Поступила в редакцию: 15.11.2019
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.62:004.82
MSC: 68T27, 68N19
Язык публикации: английский
Образец цитирования: A. V. Mantsivoda, D. K. Ponomaryov, “On termination of transactions over semantic document models”, Известия Иркутского государственного университета. Серия Математика, 31 (2020), 111–131
Цитирование в формате AMSBIB
\RBibitem{ManPon20}
\by A.~V.~Mantsivoda, D.~K.~Ponomaryov
\paper On termination of transactions over semantic document models
\jour Известия Иркутского государственного университета. Серия Математика
\yr 2020
\vol 31
\pages 111--131
\mathnet{http://mi.mathnet.ru/iigum409}
\crossref{https://doi.org/10.26516/1997-7670.2020.31.111}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000520538100008}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/iigum409
  • https://www.mathnet.ru/rus/iigum/v31/p111
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:120
    PDF полного текста:28
    Список литературы:17
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024