Académique Documents
Professionnel Documents
Culture Documents
INDICE
Modelos conceptuales.
Modelos lgicos.
Modelos fsicos.
Modelos conceptuales
Entidades
Atributos
Relaciones
Modelos lgicos
Registros / Objetos
Modelos fsicos
lgebra Relacional
El lgebra Relacional fue introducida por E.F.Codd en 1972. Consiste en un conjunto de
operaciones con las relaciones.
SELECT (): extrae tuplas a partir de una relacin que satisfagan una restriccin
dada. Sea R una tabla que contiene un atributo A. A=a(R) = {t R t(A) = a}
donde t denota una tupla de R y t(A) denota el valor del atributo A de la tupla t.
PROJECT (): extrae atributos (columnas) especficos de una relacin. Sea R una
relacin que contiene un atributo X. X(R) = {t(X) t R}, donde t(X) denota el
valor del atributo X de la tupla t.
PRODUCT (): construye el producto cartesiano de dos relaciones. Sea R una
tabla de rango (arity) k1 y sea S una tabla con rango (arity) k2. R S es el conjunto
de las k1 + k2-tuplas cuyos primeros k1 componentes forman una tupla en R y
cuyos ltimos k2 componentes forman una tupla en S.
UNION (): supone la unin de la teora de conjuntos de dos tablas. Dadas las
tablas R y S (y ambas deben ser del mismo rango), la unin R S es el conjunto
de las tuplas que estn en R S o en las dos.
INTERSECT (): Construye la interseccin de la teora de conjuntos de dos tablas.
Dadas las tablas R y S, R S es el conjunto de las tuplas que estn en R y en S>.
De nuevo requiere que R y S tengan el mismo rango.
Clculo Relacional
El Clculo Relacional se basa en la lgica de primer orden. Hay dos variantes del clculo
relacional:
BIBLIOGRAFA
http://www.hipertexto.info/documentos/b_datos.htm
http://es.wikipedia.org/wiki/Modelo_de_base_de_datos