К вопросу оптимального построения таблиц
Нижние оценки сложности для машинных моделей вычисления
Об алгебрах с финитно-аппроксимируемыми позитивно представимыми обогащениями
Об использовании иерархических структур для представления топологической информации
Об описании структур данных языков программирования
Процедурные механизмы абстракции
Роль детерминизма в языках запросов для баз данных.
Сокращенные функциональные зависимости и нормальные формы схем отношений