The relational model's type system is contained inside of this work as the schema component.