Разработка логических аспектов баз данных информационных систем
Руководитель проекта: Б.С.Байжанов
Исполнители проекта: В.В.Вербовский
Организация: Ин-т пробл. информат. и упр.
Инвентарный номер: 0206РК00828
Регистрационный номер: 0106РК00526
Ключевые слова: Информационные системы, Базы данных,
Определен новый класс линейно упорядоченных структур - модели о-стабильных теорий. Доказаны необходимое условие о-стабильности и элиминация кванторов модели. Показана элиминация кванторов для упорядоченной группы вещественных чисел с конечным числом одноместных отношений, выделяющих плотные подгруппы.