Конечные логические спецификации эффективно отделимых моделей данных

Н. Р. Каримова, Н. Х. Касымов, С. К. Джавлиев

Национальный университет Узбекистана, ул. Университетская, д. 4, г. Ташкент, 100174, Республика Узбекистан

Аннотация: Рассматриваются модели данных, обладающие эффективно отделимыми алгоритмическими представлениями. Установлено, что любая такая модель имеет обогащение, которое является единственной моделью, построенной из констант для подходящего предложения логики первого порядка.

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

УДК: 510.51: 510.62: 512.57: 519.681

Поступила: 06.05.2024
Исправленный вариант: 06.05.2024
Принята к публикации: 26.09.2024

DOI: 10.26907/0021-3446-2025-8-3-16