це форма

обмежень у

задають

відповідність між значеннями

визначають

кількісні і якісні параметри

встановлюють зв‘язки між кортежами відношення

визначають

синтаксис та семантику