Attributsetdomaines
SoitUensembleinfinidénombrabled'attributs
UestappeléUniversdesattribut
SoitDunensembleinfinidénombrabledevaleurs
Destledomainedebasededonnéessousjacent
SoitunattributAdansU,ledomainedeA,notéDOM(A),estunsous
ensembledeD
UniqueNameAssumption(UNA)
devaleursc1∈DOM(A1),c2∈DOM(A2)sontégales
sietseulementsiellessontsyntaxiquementidentiques,i.e.,elles
ontlemêmenom
Exemple"Toto"="Toto"mais"Toto"≠"Dupond"et"Toto"≠"21"