К синтезу логической структуры базы данных

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