INFORMATICA

Páginas: 5 (1038 palabras) Publicado: 2 de junio de 2013




INTRODUCCIÓN

Los lenguajes relacionales (LR) operan sobre conjuntos de tuplas, es decir , no son lenguajes navegacionales(que manipulan registros, como Pascal,Basic,Cobol,XBase,…) sino de especificación. Se dividen en dos tipos:
Algebraicos: Los cambios de estado se especifican mediante operaciones, cuyos operadores son relaciones y cuyo operandos son relaciones y cuyo resultado esotra relación. Se conocen como álgebra relacional.
Predicativos: Los cambios de estado se especifican mediante predicados que definen es estado objetivo sin indicar La operaciones que hay que realizar para llegar al mismo. Se conocen como calculo relacional y se dividen en dos subtipos: orientados a tuplas y orientados a dominios.


CÁLCULO RELACIONAL

Calculo relacional
Los cambios deestado se especifican mediante predicados que definen el estado objetivo sin indicar las operaciones que hay que realizar para llegar al mismo.Se conoce como cálculo relacional y se dividen en dos subtipos:
Orientados a tuplas y orientado a dominios

Calculo relacional orientado a Tuplas
Una consulta en TRC es de la siguiente forma
{T | φ(T )}
donde T es una variable tipo tupla y φ(T ) es unafórmula que describe a T.El resultado de esta consulta, son todas las tuplas t para las cuales la fórmula es verdadera.


CALCULO RELACIONAL DE TUPLAS
Podemos usar dos cuantificadores para decir a cuantas instancias se aplica el predicado:
Cuantificador Existencial ϶()
Cuantificador Universal ν ()

La variable de tupla cualificadas mediante ν or ϶ se denominan variables legadas, mientras quesi no están cualificadas se denominan variables libres.

CUANTIFICADOR UNIVERSAL
El cuantificador Universal se utilizan en enunciados que deben ser ciertos para rodas las instancias.
“Es la proposición que es verdadera para todos los valores de X en el universo de discurso”
Ej.:
1.- Formalizar la expresión “Los estudiantes de Mecatrónica ha estudiado programación” como una cuantificaciónuniversal.
Sea P(X)=”X ha estudiado programación”
Donde X=”Alumnos del ITESCAM”
Entonces se puede expresar como: XP(X) que se lee “Todos los alumnos del ITESCAM han estudiado programación.

Nota: El símbolo .: significa “Entonces..” o “En conclusión…”

CUANTIFICADOR EXISTENCIAL

El cuantificador existencial se utiliza en formulas que deben ser ciertas para almenos una instancia como en .
1.- Formalizar la expresión “No todos son alumnos”

Sea P(X)=”X es alumno”
Donde X= “Personas de universo ITESCAM”
:. ⌐ X(PX)
Si lo miramos desde otra perspectiva podemos afirmar que “No todas las personas del ITESCAM son alumnos “es equivalente a afirmar que existe al menos una persona del ITESCAM que no es alumno “la cual expresaríamos de lasiguiente manera: ϶XP(⌐X)
ALGEBRA RELACIONAL
Algebra relacional es un lenguaje de consulta procedural. Consta de un conjunto de operaciones queque toman como entrada una o dos relaciones y producen como resultado una nueva relación, por lo tanto es posible anidar y combinar operadores.

Aviso : Concepto de cálculo y algebra son equivalentes.
Cálculo y el Álgebra sonequivalentes.
Cualquier expresión del cálculo relacional puede transformarse en una expresión del algebre relacional y viceversa.

OPERACIONES BASICAS

UNIÓN (U)
La operación de unión permite combinar datos de varias relaciones. Construye una relación formada por todas las tuplas que aparecen en cualquiera de dos relaciones específicas, eliminándose las duplicadas.
No siempre es posible realizarconsultas de unión entre varias tablas, para poder realizar consultas de unión entre varias tablas, es necesario que las tablas a unir tengan las mismas estructuras y que sus campos sean iguales.


Símbolo : U
Términino Común :UNIÓN
Notación :R1 U R2


Ejemplo:
Teniendo dos relaciones R y S, R U S, es el conjunto de tuplas que pertenecen a R, a S
O ambas. R y S deben tener esquemas...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Informatica
  • Informatica
  • Informatica
  • Informatica
  • Informatica
  • Informática
  • Informatica
  • Informatica

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS