Описывается система типов, ограничения целостности данных и применимые к типам операций. Показано, что определение сложных структур может интерпретироваться как определения множества реляционных переменных (R-переменные). Вводится правило, определяющее существование и именование таких переменных и их атрибутов. Рассматриваются основные команды управления системой.