ГЕНЕРАТОРИ-ТИПІВ і реляційна модель

Тепер звернемося до вивчення типів, які не визначені за допомогою оператора TYPE, а отримані шляхом виклику деякого генератора типу (Type generator) Загалом, генератор типу – це просто особливий вид оператора його специфіка полягає в тому, що він повертає тип, скажімо, замість простого скалярного значення Наприклад, у звичайному мові програмування можна застосувати таку конструкцію