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