Детерминированная префиксная перезаписывающая система представляет собой систему перезаписи строк, не содержащую пар правил вида X → Y, X → Z, где Y ≠ Z, в которой перезаписи подлежат только самые длинные префиксы. Для таких систем определяются и исследуются аналоги понятий, характерных для объектно-ориентированных систем данных: наследование классов и объектов, экземпляры классов, атрибуты классов и экземпляров, концептуальная зависимость и непротиворечивость, концептуальная схема, типы, подтипы и др. Особое внимание уделяется алгоритмической проверке различных свойств рассматриваемых перезаписывающих систем.

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