En una relación de tipos, el tipo base es el tipo desde el cual se deriva otro tipo. Un tipo derivado hereda elementos desde el tipo base. Un tipo complejo extendido es un tipo derivado que hereda elementos desde un tipo base e incluye elementos adicionales. Un tipo complejo restringido es un tipo derivado que restringe algunos elementos del tipo base.