Bases de datos CALCULO DE PREDICADOS Unidad mnima de formalizacin: predicados que describen el sujeto de una oracin o afirmacin.

. Cada predicado se modela como relacin sobre un conjunto de dominios en el universo de las relaciones. Variables en los predicados representan a cualquier elemento en el universo de variables y pueden estar cuantificadas. Afirmaciones compuestas se modelan como conexiones de afirmaciones atmicas. Las conexiones se realizan a travs de conectores que modelan preposiciones del lenguaje natural. El clculo de predicados representa una alternativa al algebra relacional para manipular los datos su diferencia radica en que el lgebra ofrece una coleccin de operaciones explicitas que pueden ser usadas para obtener una relacin deseada a partir de las existentes y el clculo solo ofrece una notacin para formalizar la definicin de relacin que se desea a partir de la relaciones existentes. Ejemplo. Tabla suministrador (SUM) SNUM SNOM CIUDAD S1 Salazar Londres S2 Jaime Pars S3 Bernal Pars S4 Corona Londres S5 Olmedo Londres Tabla producto (PROD) PNUM PNOM COLOR P1 Tuercas Negro P2 Pernos Verde P3 Ganchos Azul P4 Ganchos Rojo P5 Bujas Azul P6 Engranajes Rojo

PRECIO 0,10 0,20 0,20 0,05 0,10 0,15

Tabla suministroproducto (SP) SNUM PNUM NUMFAC CANTIDAD S1 P1 F1 200 S1 P1 F4 700 S2 P2 F1 400 S2 P1 F2 200 S2 P2 F3 200 S2 P3 F4 500 S2 P3 F5 600 S2 P4 F6 400 S2 P5 F7 800 S2 P6 F2 500 EIE-TELECOMUNICACIONES Y REDES Pgina: 1

Bases de datos S3 S3 S4 S4 S5 S5 S5 P3 P4 P6 P6 P2 P2 P5 F1 F2 F3 F7 F2 F4 F5 200 500 300 300 200 100 500

Queremos obtener el nmero de ciudades de los suministros que suministran la pieza P2 1. 2. 3. 4. SUM in[SNUM, ciudad] Join SP Seleccionar las tuplas para el cual el cdigo de producto es P2 Proyectar la relacin resultante sobre [SNUM y CANTIDAD]

En el clculo relacional se la relacionara as: Obtener el nmero y la ciudad de los suministradores tales que exista un suministrador del producto que suministra el producto P2. La formulacin del clculo es descriptiva mientras que el lgebra es prescriptiva en el clculo de predicados se especifica el problema mientras que el lgebra se indica todo el procedimiento a realizar para resolver el problema es decir el lgebra es procedural y el clculo es no procedural. El clculo de predicados es ms parecido al lenguaje natural. Una de las caractersticas fundamentales del clculo es la de la variable de tuplas que es una variable que toma valores sobre una relacin. Una variable de tupla se define de la siguiente manera: Range of T is X1, X2, .. Xn Ejemplo: Range of SX is SUM Las listas de campos se separan por comas y se pueden usar los conectores lgicos: And, or y not. Los cuantificadores existenciales que se usan son: El formato ser: Range of T is X1, X2, .. Xn Lista objetos: predicado Para control de pago en una empresa productiva se tienen las siguientes tablas relacionales:

EIE-TELECOMUNICACIONES Y REDES

Pgina:

Bases de datos Tabla TRABAJADOR (T) (NUMEXPETE, NOMBRE, CARGO, DPTO, SUBDIRECCIN, SALARIO) Tabla AUSENCIAS (A) (MES, NUMEXPETE, TPERDIDOA, CANTIIMP, TPERDIDOT) Mediante el clculo relacional obtenga el nombre de los trabajadores, el tiempo perdido por ausencias y la cantidad de impuntualidades que tienen los trabajadores del departamento de metales durante el mes de marzo. RANGE of Tx is T RANGE of Ax is A Tx.NOMBRE, Ax.TPERDIDOA, Ax.CANTIIMP: Ax.MES=Marzo and Tx.NUMEXP = Ax.NOMEXP) (Tx.DPTO =Metales and

EIE-TELECOMUNICACIONES Y REDES

Pgina: