Совместимость по типу важна при использовании реляционных операторов, потому что некоторые из них, например объединение, требуют, чтобы отношения имели одинаковые заголовки. 13

Если исходные отношения не совместимы по типу, то результат операции не будет отношением. 13 Это происходит по нескольким причинам: 1

• Разное количество атрибутов. 13 Объединение разнотипных кортежей нельзя представить в виде отношения. 13
• Различные наименования атрибутов. 13 Даже если отношения имеют одинаковое количество атрибутов, но они названы по-разному, невозможно определить заголовок полученного отношения. 13
• Атрибуты с одинаковыми наименованиями, но определены на различных доменах. 13 В таком случае объединение кортежей не будет образовывать отношение. 13

Некоторые отношения не совместимы по типу, но могут стать таковыми после переименования атрибутов. 13 Для этого используют вспомогательный оператор переименования атрибутов. 13