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

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

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



Владикавк. матем. журн.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Владикавк. матем. журн., 2015, том 17, номер 3, страницы 23–35 (Mi vmj549)  

Object-oriented dataas prefix rewriting systems

[Объектно-ориентированные данные как перезаписывающие системы]

A. E. Gutmanab

a Sobolev Institute of Mathematics, Laboratory of Functional Analysis, Acad. Koptyug av. 4, 630090, Novosibirsk, Russia
b Novosibirsk State University, Pirogova 2, 630090, Novosibirsk, Russia

Аннотация: Рассматриваются перезаписывающие системы, не содержащие пар правил вида $X\to Y$, $X\to Z$, где $Y\ne Z$, в которых перезаписи подлежат только самые длинные префиксы. В рамках таких систем определяются и исследуются аналоги концепций, характерных для систем объектно-ориентированных данных: наследование классов и объектов, экземпляры классов, атрибуты экземпляров и классов, концептуальная зависимость и непротиворечивость, концептуальные схемы, типы, подтипы и др. Особое внимание уделяется эффективной проверке разнообразных свойств рассматриваемых перезаписывающих систем. В частности, приводятся алгоритмы для ответа на следующие вопросы: Все ли слова конечно переписываемы? Существуют ли рекуррентные слова? Является ли система концептуально непротиворечивой? Концептуально зависит ли данное слово $X$ от слова $Y$? Совпадают ли типы $X$ и $Y$? Является ли тип $X$ подтипом типа $Y$?

Ключевые слова: префиксная перезаписывающая система, полутуэвская система, система объектно-ориентированных данных, информационная система, проверка непротиворечивости, онтология модели данных.

Полный текст: PDF файл (267 kB)
Список литературы: PDF файл   HTML файл
Тип публикации: Статья
УДК: 519.682.1+519.683+519.7+519.1
MSC: 68Q42, 68P05, 68N19, 68T30
Поступила в редакцию: 17.10.2013
Язык публикации: английский

Образец цитирования: A. E. Gutman, “Object-oriented dataas prefix rewriting systems”, Владикавк. матем. журн., 17:3 (2015), 23–35

Цитирование в формате AMSBIB
\RBibitem{Gut15}
\by A.~E.~Gutman
\paper Object-oriented dataas prefix rewriting systems
\jour Владикавк. матем. журн.
\yr 2015
\vol 17
\issue 3
\pages 23--35
\mathnet{http://mi.mathnet.ru/vmj549}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/vmj549
  • http://mi.mathnet.ru/rus/vmj/v17/i3/p23

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Владикавказский математический журнал
    Просмотров:
    Эта страница:83
    Полный текст:40
    Литература:22
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020