Soubor pravidel zajiÜ¥ujφcφ logickou integritu databßze. Vyjad°uje po₧adavek, aby urΦit² atribut urΦitΘ tabulky mohl nab²vat pouze t∞ch hodnot, kterΘ mß jin² atribut v n∞kterΘm zßznamu jinΘ tabulky (Φφselnφku).