Na modelagem de dados de um sistema, uma relação é definida ...

Na modelagem de dados de um sistema, uma relação é definida como um conjunto de tuplas. Por definição, todos os elementos de um conjunto são distintos: portanto, as tuplas, em uma relação, devem também ser distintas. Isso significa que duas tuplas não podem ter a mesma combinação de valores para todos os seus atributos. Geralmente, existem outros subconjuntos de atributos de um esquema de uma relação R com a propriedade de duas tuplas em qualquer estado da relação x de R devem possuir a mesma combinação de valores para esses atributos. Suponha que expressemos um desses subconjuntos de atributos como SK; então para quaisquer duas tuplas distintas t1 e t2 num estado da relação x de R, teremos a restrição de que t1[SK] é diferente de t2[SK]. Qualquer um desses conjuntos de atributos SK é chamado ______________ do esquema da relação R.