@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 = "префиксная перезапись, полутуэвская система, информационная система, объектно-ориентированная система данных, проверка непротиворечивости, онтология модели данных"
}