Нормальные формы

• 
  отсутствие списка атрибутов подразумевает указание всех атрибутов (операция тождественной проекции);
  
• 
  выражение вида R[ ] означает пустую проекцию, результатом которой является пустое множество;
  
• 
  операция проекции может применяться к произвольному отношению, в том числе и к результату выборки.
  

Результатом деления отношения R1 с атрибутами А и В на отношение R2 с атрибутом В (Rl DIVIDEBY R2), где А и В простые или составные атрибуты, причем атрибут В — общий атрибут, определенный на одном и том же домене (множестве доменов составного атрибута), является отношение R с заголовком А и телом, состо­ящим из кортежей г таких, что в отношении R1 имеются кортежи (г, s), причем множество значений s включает множество значений атрибута В отношения R2.