@inproceedings { Gutman20110701,
author = "Gutman A.E.",
title = "Prefix rewriting systems as object-oriented data models",
booktitle = "Ershov Informatics Conference 2011. Knowledge and Ontologies *ELSEWHERE* 2011. The Third Workshop (Novosibirsk, July 1, 2011): Proceedings",
address = "Novosibirsk",
publisher = "Price-Courier",
year = "2011",
pages = "5--14",
annote = "A deterministic longest-prefix rewriting system is a rewriting system such that there are no rewriting rules $X\rightarrow Y$, $X\rightarrow Z$ with $Y\ne Z$, and only longest prefixes of words are subject to rewriting. Given such a system, analogs are defined and examined of some concepts related to object-oriented data systems: inheritance of classes and objects, instances of classes, class and instance attributes, conceptual dependence and consistency, conceptual scheme, types and subtypes, etc. A special attention is paid to the effective verification of various properties of the rewriting systems under consideration. In particular, the algorithms are presented for answering the following questions: Are all words finitely rewritable? Do there exist recurrent words? Is the system conceptually consistent? Given two words $X$ and $Y$, does $X$ conceptually depend on $Y$? Does the type of $X$ coincide with that of $Y$? Is the type of $X$ a subtype of that of $Y$?",
keywords = "prefix rewriting, term rewriting, object-oriented data system, information system, consistency verification, ontology of a data model"
}
@inproceedings { Gutman20121115,
author = "Гутман А.Е.",
howpublished = "Электронная",
title = "Представление и анализ объектных данных посредством перезаписывающих систем",
booktitle = "Мальцевские чтения. Международная конференция (Новосибирск, 12--16 ноября 2012 г.): Тез. докладов",
address = "Новосибирск",
year = "2012",
pages = "26",
annote = "В рамках детерминированных префиксных перезаписывающих систем вводятся и исследуются понятия, характерные для объектно-ориентированного подхода к организации данных: наследование классов и объектов, экземпляры классов, атрибуты классов и экземпляров, концептуальная зависимость и непротиворечивость, концептуальная схема, типы, подтипы и пр. Особое внимание уделяется эффективной проверке разнообразных свойств рассматриваемых систем."
}
@inproceedings { Gutman20140610,
author = "Gutman A.E.",
title = "Object-oriented data as prefix rewriting systems",
booktitle = "Advanced mathematics, computations and applications -- 2014. International conference (Novosibirsk, June 8--11, 2014): Abstracts",
address = "Novosibirsk",
publisher = "Academizdat",
year = "2014",
isbn = "978-5-9904865-8-4",
pages = "48",
annote = "A new approach is suggested for representing and analysing object-oriented data by means of rewriting systems."
}
@article { Gutman20131017,
author = "Gutman A.E.",
title = "Object-oriented data as prefix rewriting systems",
journal = "Владикавк. мат. журн.",
year = "2015",
volume = "17",
number = "3",
pages = "23--35",
doi = "10.23671/VNC.2017.3.7260",
annote = "A deterministic longest-prefix rewriting system is a rewriting system such that there are no rewriting rules $X\rightarrow Y$, $X\rightarrow Z$ with $Y\ne Z$, and only longest prefixes of words are subject to rewriting. Given such a system, analogs are defined and examined of some concepts related to object-oriented data systems: inheritance of classes and objects, instances of classes, class and instance attributes, conceptual dependence and consistency, conceptual scheme, types and subtypes, etc. A special attention is paid to the effective verification of various properties of the rewriting systems under consideration. In particular, algorithms are presented for answering the following questions: Are all words finitely rewritable? Do there exist recurrent words? Is the system conceptually consistent? Given two words $X$ and $Y$, does $X$ conceptually depend on $Y$? Does the type of $X$ coincide with that of $Y$? Is the type of $X$ a subtype of that of $Y$?",
keywords = "prefix rewriting, term rewriting, object-oriented data system, information system, consistency verification, ontology of a data model"
}
@article { Gutman20260115,
author = "Гутман А.Е.",
title = "Объектно-ориентированные данные и префиксная перезапись. Часть I: Обзор и основные результаты",
journal = "Сиб. матем. журн.",
year = "2026",
volume = "67",
number = "3",
pages = "392--413",
doi = "10.33048/smzh.2026.67.302",
annote = "Детерминированная префиксная перезаписывающая система представляет собой систему перезаписи строк, не содержащую пар правил вида $X\rightarrow Y$, $X\rightarrow Z$, где $Y\ne Z$, в которой перезаписи подлежат только самые длинные префиксы. Для таких систем определяются и исследуются аналоги понятий, характерных для объектно-ориентированных систем данных: наследование классов и объектов, экземпляры классов, атрибуты классов и экземпляров, концептуальная зависимость и непротиворечивость, концептуальная схема, типы, подтипы и др. Особое внимание уделяется алгоритмической проверке различных свойств рассматриваемых перезаписывающих систем.",
keywords = "префиксная перезапись, полутуэвская система, информационная система, объектно-ориентированная система данных, проверка непротиворечивости, онтология модели данных"
}
@article { Gutman20260116,
author = "Gutman A.E.",
title = "Object-oriented data via prefix rewriting. Part I: Overview and main results",
journal = "Sib. Math. J.",
year = "2026",
volume = "67",
number = "3",
pages = "531--547",
doi = "10.1134/S003744662603002X",
annote = "A deterministic longest-prefix rewriting system is a string-rewriting system such that there are no rewriting rules $X\rightarrow Y$, $X\rightarrow Z$ with $Y\ne Z$, and only the longest prefixes of words are subject to rewriting. For such a system, analogs of some concepts related to object-oriented data systems are defined and studied: inheritance of classes and objects, instances of classes, class and instance attributes, conceptual dependence and consistency, conceptual scheme, types and subtypes, etc. Special attention is paid to the effective verification of various properties of the rewriting systems under consideration.",
keywords = "prefix rewriting, term rewriting, object-oriented data system, information system, consistency verification, ontology of a data model"
}