La visión formal de una relación en el modelo relacional se caracteriza por tener valores atómicos en los atributos, no permitir tuplas repetidas, no tener un orden definido de las tuplas, y representar los datos de forma abstracta e independiente de su estructura física. Las relaciones también se caracterizan por no tener un orden definido de atributos y por utilizar claves candidatas para identificar de forma única los datos contenidos.

2. CARACTERÍSTICAS DE LA VISIÓN
FORMAL DE UNA RELACIÓN.

3. CARACTERÍSTICAS:

4. Los valores de los atributos de una relación deben ser
atómicos; es decir, no deben tener estructura
interna, esta característica proviene del hecho de
que los atributos siempre deben tomar un valor se su
dominio o bien un valor nulo y de que se ha
establecido que los valores de los dominio deben ser
atómicos en el modelo relacional.

5. Es un fichero clásico puede ocurrir que dos de
los registros sean exactamente igual; es decir,
que contenga los mismos datos.
En el caso del modelo relacional, en cambio,
no es posible que una relación contenga tuplas
repetidas.

6. De la definición de la extensión de una
relación como un conjunto de tuplas se deduce
también que estas tuplas no estarán
ordenadas, teniendo en cuenta que no es
posible que haya una ordenación entre los
elementos de un conjunto.
La finalidad de esta característica es conseguir
que, mediante el modelo relacional, se puedan
representar los hechos en un nivel abstracto
que sea independiente de su estructura física.

7. El esquema de una ralcion consta de un
nombre de relación R y un conjunto de
atributos { A1, A2,……An }. Asi pues, no hay un
orden entre los atributos de un esquema de
relación, teniendo en cuenta q estos atributos
forman el conjunto.

8. Toda la información que contiene una base de datos debe
poderse identificar de una forma, en este caso particular de
las bases de datos que siguen el modelo relacional, para
identificar los datos que la base de datos contiene, se puede
utilizar las claves candidatas de las relaciones.

9. Es un subconjunto de los atributos del esquema tal
que no pueda a ver dos tuplas o registros, en la
extensión de la relación que tengan las misma
combinación de valores para los atributos de los
subconjuntos.

10. Es una superclave C de la relación, cumple que
ningún elementos del subconjunto propio de C
es superclave.
Es decir, C cumple que la eliminación de
cualquiera de sus atributos dan un conjunto de
atributos que no es superclave de la relación.