The property of a relational table that guarantees each entity has a unique value in a primary key and that the key has no null values.

union$-$compatible

foreign key $($FK$)$

determination

entity integrity