abstract: Рассматривается задача проверки корректности формирования многомерного представления данных. Для этого предлагается алгоритм предварительного анализа промежуточного представления, который позволяет сократить суммарные вычислительные затраты при проверке свойства соединения отношений базы данных без потери информации. Приведено доказательство корректности работы алгоритма.
keywords: базы данных, многомерные представления, гиперкуб, вычислительные затраты