predikßt_UNIQUE ::= UNIQUE ( dotazov²_v²raz )
Predikßt UNIQUE °φkß, zda vÜechny zßznamy v odpov∞di na dotazov² v²raz (subdotaz) majφ unikßtnφ hodnoty. P°itom bere v ·vahu pouze °ßdky obsahujφcφ hodnotu r∙znou od NULL.