SlideShare una empresa de Scribd logo
1 de 16
John Denis Suarez Ortiz
Dorvin Eduardo Bardales Lucana
Cálculo Relacional
BASE DE DATOS I
Ingeniería de Sistemas y Telemática
http://heroepatriota.blogspot.com
Ing. Marco Aurelio Porro Chulli
http://jhonsuarezortiz.blogspot.com
CALCULO RACIONAL
 El Cálculo racional es un lenguaje de
consulta que describe la respuesta
deseada sobre una Base de datos sin
especificar como obtenerla, a
diferencia del Álgebra relacional que
es de tipo procedural, el cálculo
relacional es de tipo declarativo;
pero siempre ambos métodos logran
los mismos resultados.
 Lenguaje basado en el cálculo de
predicados de primer orden.
* No procedimental, se expresa qué se
quiere obtener y no cómo
* Relación: predicado
- Seleccionar aquellas tuplas cuyo
predicado es verdadero
Predicado permite operaciones {=, <>,
<, >,
<=, >=} entre una variable y una
constante o entre
dos variables
Variables
Como se puede observar por su definición, en las fórmulas
aparecen variables. A cada una de estas apariciones se les
denomina ocurrencia de una variable. En una misma fórmula
puede haber más de una ocurrencia de una misma variable o de
distintas.
 Variables libres y ligadas.
El alcance de "x en la fórmula "x F es F. Igualmente, el alcance de
$x en la fórmula $x F
también es F.
La regla iii) de la definición de fbf permite distinguir dos clases de
ocurrencias de las variables: libres y ligadas.
Una ocurrencia ligada de una variable en una fbf es una
ocurrencia sobre la que actúa un cuantificador, o una ocurrencia
dentro del alcance de un cuantificador que actúa sobre la misma
variable. Cualquier otra ocurrencia es libre.
 Variables libres y ligadas.
Ejemplos:
En la fórmula $x P(x,y) Ù Q(x), las dos
primeras ocurrencias de x son ligadas,
mientras que la tercera ocurrencia es libre, ya
que el alcance de $x es P(x,y).
En $x (P(x,y) Ù Q(x)), todas las ocurrencias de
x son ligadas, dado que el alcance de
$x es P(x,y) Ù Q(x).
 Fórmulas abiertas y cerradas.
Una fórmula abierta es aquella que tiene
ocurrencias libres de variables. Una fórmula
cerrada es la que no las posee. Habitualmente,
si F es una fórmula que tiene una ocurrencia
libre de la variable x, se suele expresar como
F(x).
Ejemplos:
La fórmula "y$x (P(x,y) Ù Q(x)) es cerrada.
En cambio, $x (P(x,y) Ù Q(x)) es abierta,
dado que hay una ocurrencia libre de la
variable y.
TIPOS DE CALCULO RELACIONAL
Calculo relacional orientado a
tuplas:
* Se procesan tuplas de una o
más relaciones
* SQL orientado a la tupla
utilizando nombres de relación y
etiquetas como variables de tupla.
Una consulta en este tipo de calculo
es de forma:
{T φ(T )}
donde T es una variable tipo tupla y
φ(T ) es una fórmula que describe a
T. El resultado de esta consulta, son
todas las tuplas t para las cuales la
fórmula es verdadera.
TIPOS DE CALCULO
RELACIONAL
 Calculo relacional orientado a
los dominios:
* Variables de tupla se
reemplazan por variables de
dominio
* Se procesan dominios que
alcanzan una o más relaciones.
Los átomos del cálculo relacional de dominios
tienen una de las siguientes formas:
1. (x, y, z ) r, donde r es una relación con n
atributos y x , y, z .son variables de dominio o
constantes.
2. x y, donde x e y son variables de dominio y
es un operador de comparación aritmética (>, <, =,
). Es necesario que los atributos x e y, tengan
dominios cuyos miembros puedan compararse
mediante .
3. x c, donde x es una variable de dominio, es
un operador de comparación y c es una constante
en el dominio del atributo x
EJEMPLOS DE CALCULO
RELACIONAL
 Dada la relación:
* ESTUDIANTE(DNI, NOM, EDAD, DIR)
 Seleccionar tuplas de estudiantes llamados Pepe:
* ESTUDIANTE: NOM=‘PEPE’
 Seleccionar estudiantes que viven en Bilbao y tienen
más de 23 años:
* ESTUDIANTE: DIR=‘Bilbao’ AND EDAD>23
 Seleccionar DNI y NOM de los estudiantes de
Gasteiz:
* ESTUDIANTE.DNI, ESTUDIANTE.NOM:
DIR=‘Gasteiz’
RESUMEN
El Cálculo racional es un lenguaje de consulta que describe la respuesta deseada
sobre una Base de datos sin especificar como obtenerla, es de tipo declarativo
VARIABLES
 Variables libres y ligadas.
 Variables libres y ligadas.
 Fórmulas abiertas y cerradas.
TIPOS DE CÁLCULO RELACIONAL
 Cálculo relacional orientado a tuplas.
 Cálculo relacional orientado a los dominios.
SUMMARY
Rational calculation is a query language that describes the desired answer on a
database without specifying how to obtain it , is declaratory
VARIABLES
 free and bound variables .
 free and bound variables .
 open and closed formulas .
TYPES OF RELATIONAL CALCULUS
 Calculation oriented relational tuples.
 Relational Calculus oriented domains.
Recomendaciones
Para trabajar con el cálculo relacional debemos tener en claro las diferencias con el
álgebra relacional ya que usa un enfoque completamente diferente al álgebra
relacional. No obstante, los dos lenguajes son lógicamente equivalentes. Esto
significa que cualquier consulta que pueda resolverse en un lenguaje puede
resolverse en el otro. Será más breve en el cálculo relacional, debido a que el
lenguaje en sí mismo tiene menos construcciones.
Conclusiones
El cálculo relacional es de tipo declarativo a diferencia del Álgebra
relacional que es de tipo procedural, pero siempre ambos métodos logran los
mismos resultados.
Apreciación del equipo
Gracias a este tema se conoce la definición, las variables, constantes y tipos del
cálculo relacional que serán de gran apoyo en el proceso de consulta de una base
de datos.
Glosario de términos
Declarativo: Que explica de manera clara lo que está dudoso
Átomos del cálculo relacional: son variables de dominio o constantes. x q y,
donde x e y son variables de dominio y q es un operador de comparación
aritmética (>, <, =, ¹).
Bibliografía y fuentes de información
http://www.dsi.fceia.unr.edu.ar/downloads/base_de_datos/CalculoRel
acional.pdf
http://www.mat.uson.mx/lcota/PPT/CALCULO%20RELACIONAL%20(
BD).pdf
http://ocw.univalle.edu.co/ocw/ingenieria-de-sistemas-telematica-y-
afines/base-de-datos/material-1/BD-6.pdf

Más contenido relacionado

La actualidad más candente

1.4 software numerico
1.4 software numerico1.4 software numerico
1.4 software numericomorenito9001
 
Los lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turingLos lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turingJonathan Bastidas
 
Normalizacion boyce codd_4_fn
Normalizacion boyce codd_4_fnNormalizacion boyce codd_4_fn
Normalizacion boyce codd_4_fnLuis Jherry
 
Tema 4 Sistemas Basados En Reglas Difusas
Tema 4 Sistemas Basados En Reglas DifusasTema 4 Sistemas Basados En Reglas Difusas
Tema 4 Sistemas Basados En Reglas DifusasESCOM
 
Operaciones entre lenguajes
Operaciones entre lenguajesOperaciones entre lenguajes
Operaciones entre lenguajesJean Bernard
 
Implementacion de bases de datos en mysql
Implementacion de bases de datos en mysqlImplementacion de bases de datos en mysql
Implementacion de bases de datos en mysqlPipe Muñoz
 
Estructura de Datos - Unidad 5 metodos de ordenamiento
Estructura de Datos - Unidad 5 metodos de ordenamientoEstructura de Datos - Unidad 5 metodos de ordenamiento
Estructura de Datos - Unidad 5 metodos de ordenamientoJosé Antonio Sandoval Acosta
 
hashing y colisiones
hashing y colisioneshashing y colisiones
hashing y colisionesemiru48
 
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosPortafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosHumano Terricola
 
Inserción de datos y selección de datos
Inserción de datos y selección de datosInserción de datos y selección de datos
Inserción de datos y selección de datoscarmen305
 
Automatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosAutomatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosRosviannis Barreiro
 
Segunda forma normal
Segunda forma normalSegunda forma normal
Segunda forma normalITCV
 
Ejercicios de entidad relacion en erwin data modeler
Ejercicios de entidad relacion en erwin data modelerEjercicios de entidad relacion en erwin data modeler
Ejercicios de entidad relacion en erwin data modelerPaolo Raul Liberato Camino
 
Programación lógica y funcional
Programación lógica y funcionalProgramación lógica y funcional
Programación lógica y funcionalAlejandra MA
 

La actualidad más candente (20)

Algebra relacional
Algebra relacionalAlgebra relacional
Algebra relacional
 
1.4 software numerico
1.4 software numerico1.4 software numerico
1.4 software numerico
 
Calculo relacional
Calculo relacionalCalculo relacional
Calculo relacional
 
Los lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turingLos lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turing
 
Normalizacion boyce codd_4_fn
Normalizacion boyce codd_4_fnNormalizacion boyce codd_4_fn
Normalizacion boyce codd_4_fn
 
Tema 4 Sistemas Basados En Reglas Difusas
Tema 4 Sistemas Basados En Reglas DifusasTema 4 Sistemas Basados En Reglas Difusas
Tema 4 Sistemas Basados En Reglas Difusas
 
Operaciones entre lenguajes
Operaciones entre lenguajesOperaciones entre lenguajes
Operaciones entre lenguajes
 
Implementacion de bases de datos en mysql
Implementacion de bases de datos en mysqlImplementacion de bases de datos en mysql
Implementacion de bases de datos en mysql
 
Estructura de Datos - Unidad 5 metodos de ordenamiento
Estructura de Datos - Unidad 5 metodos de ordenamientoEstructura de Datos - Unidad 5 metodos de ordenamiento
Estructura de Datos - Unidad 5 metodos de ordenamiento
 
hashing y colisiones
hashing y colisioneshashing y colisiones
hashing y colisiones
 
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosPortafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
 
Inserción de datos y selección de datos
Inserción de datos y selección de datosInserción de datos y selección de datos
Inserción de datos y selección de datos
 
Automatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosAutomatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No Deterministicos
 
Segunda forma normal
Segunda forma normalSegunda forma normal
Segunda forma normal
 
Ejercicios de entidad relacion en erwin data modeler
Ejercicios de entidad relacion en erwin data modelerEjercicios de entidad relacion en erwin data modeler
Ejercicios de entidad relacion en erwin data modeler
 
Método por plegamiento Hash
Método por plegamiento HashMétodo por plegamiento Hash
Método por plegamiento Hash
 
Arreglos Java
Arreglos JavaArreglos Java
Arreglos Java
 
Búsqueda secuencial y binaria
Búsqueda secuencial y binariaBúsqueda secuencial y binaria
Búsqueda secuencial y binaria
 
Programación lógica y funcional
Programación lógica y funcionalProgramación lógica y funcional
Programación lógica y funcional
 
Noción de archivo real y virtual
Noción de archivo real y virtual Noción de archivo real y virtual
Noción de archivo real y virtual
 

Destacado (13)

Calculo relacional
Calculo relacionalCalculo relacional
Calculo relacional
 
Algebra y calculo relacional
Algebra y calculo relacionalAlgebra y calculo relacional
Algebra y calculo relacional
 
Algebra relacional
Algebra relacionalAlgebra relacional
Algebra relacional
 
CV-Ahmed Mostafa
CV-Ahmed MostafaCV-Ahmed Mostafa
CV-Ahmed Mostafa
 
CALCULO RELACIONAL
CALCULO RELACIONALCALCULO RELACIONAL
CALCULO RELACIONAL
 
Calculo relacional
Calculo relacionalCalculo relacional
Calculo relacional
 
Calculo relacional
Calculo relacionalCalculo relacional
Calculo relacional
 
Calculo relacional diapositivas
Calculo relacional diapositivasCalculo relacional diapositivas
Calculo relacional diapositivas
 
Bases de Datos Cap:IV
Bases de Datos  Cap:IVBases de Datos  Cap:IV
Bases de Datos Cap:IV
 
Curso de bases de dtos
Curso de bases de dtosCurso de bases de dtos
Curso de bases de dtos
 
Algebra Relacional
Algebra RelacionalAlgebra Relacional
Algebra Relacional
 
Bases de Datos - Parte 6/10 Álgebra relacional
Bases de Datos - Parte 6/10 Álgebra relacionalBases de Datos - Parte 6/10 Álgebra relacional
Bases de Datos - Parte 6/10 Álgebra relacional
 
Vistas en bases de datos
Vistas en bases de datosVistas en bases de datos
Vistas en bases de datos
 

Similar a Cálculo relacional (20)

Cálculo de Predicados
Cálculo de PredicadosCálculo de Predicados
Cálculo de Predicados
 
Calculo relacional
Calculo relacionalCalculo relacional
Calculo relacional
 
Manual lab prolog
Manual lab prologManual lab prolog
Manual lab prolog
 
Modelo de una base de datos 2
Modelo de una base de datos 2Modelo de una base de datos 2
Modelo de una base de datos 2
 
Calculo relacional1
Calculo relacional1Calculo relacional1
Calculo relacional1
 
Calculo de predicados
Calculo de predicadosCalculo de predicados
Calculo de predicados
 
Calculo relacional
Calculo relacionalCalculo relacional
Calculo relacional
 
Multiplicadores de lagrange
Multiplicadores de lagrangeMultiplicadores de lagrange
Multiplicadores de lagrange
 
Expresiones Algebraicas
Expresiones AlgebraicasExpresiones Algebraicas
Expresiones Algebraicas
 
Lógica matemática
Lógica matemática Lógica matemática
Lógica matemática
 
Evaluación de expresiones - Método divide y vencerás
Evaluación de expresiones - Método divide y vencerás Evaluación de expresiones - Método divide y vencerás
Evaluación de expresiones - Método divide y vencerás
 
Expresiones regulares
Expresiones regularesExpresiones regulares
Expresiones regulares
 
Yghor flores
Yghor floresYghor flores
Yghor flores
 
Sistemas Basados En Logica
Sistemas Basados En LogicaSistemas Basados En Logica
Sistemas Basados En Logica
 
Sistemas Basados En Logica
Sistemas Basados En LogicaSistemas Basados En Logica
Sistemas Basados En Logica
 
Unidad 2
Unidad 2Unidad 2
Unidad 2
 
2logica-difusa-diapositivas.pdf
2logica-difusa-diapositivas.pdf2logica-difusa-diapositivas.pdf
2logica-difusa-diapositivas.pdf
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Calculo relacional
Calculo relacionalCalculo relacional
Calculo relacional
 
CÁLCULO RELACIONAL
CÁLCULO RELACIONALCÁLCULO RELACIONAL
CÁLCULO RELACIONAL
 

Más de DorvinEduardo

MODELOS DE REFERENCIA OSI
MODELOS DE REFERENCIA OSIMODELOS DE REFERENCIA OSI
MODELOS DE REFERENCIA OSIDorvinEduardo
 
IP (PROTOCOLO DE INTERNET)
IP (PROTOCOLO DE INTERNET)IP (PROTOCOLO DE INTERNET)
IP (PROTOCOLO DE INTERNET)DorvinEduardo
 
CLASIFICACIÓN DE REDES
CLASIFICACIÓN DE REDESCLASIFICACIÓN DE REDES
CLASIFICACIÓN DE REDESDorvinEduardo
 
Programacion de microcontrolador
Programacion de microcontroladorProgramacion de microcontrolador
Programacion de microcontroladorDorvinEduardo
 
Arquitectura de un microprocesador
Arquitectura de un microprocesadorArquitectura de un microprocesador
Arquitectura de un microprocesadorDorvinEduardo
 
Procedimientos almacenados
Procedimientos almacenadosProcedimientos almacenados
Procedimientos almacenadosDorvinEduardo
 
Microsoft sql server 2012
Microsoft sql server 2012Microsoft sql server 2012
Microsoft sql server 2012DorvinEduardo
 
MODELAMIENTO ENTIDAD-RELACION (ER)
MODELAMIENTO ENTIDAD-RELACION (ER)MODELAMIENTO ENTIDAD-RELACION (ER)
MODELAMIENTO ENTIDAD-RELACION (ER)DorvinEduardo
 
Diseño de una base de datos
Diseño de una base de datosDiseño de una base de datos
Diseño de una base de datosDorvinEduardo
 

Más de DorvinEduardo (14)

MODELOS DE REFERENCIA OSI
MODELOS DE REFERENCIA OSIMODELOS DE REFERENCIA OSI
MODELOS DE REFERENCIA OSI
 
IP (PROTOCOLO DE INTERNET)
IP (PROTOCOLO DE INTERNET)IP (PROTOCOLO DE INTERNET)
IP (PROTOCOLO DE INTERNET)
 
CLASIFICACIÓN DE REDES
CLASIFICACIÓN DE REDESCLASIFICACIÓN DE REDES
CLASIFICACIÓN DE REDES
 
Programacion de microcontrolador
Programacion de microcontroladorProgramacion de microcontrolador
Programacion de microcontrolador
 
Arquitectura risc
Arquitectura riscArquitectura risc
Arquitectura risc
 
Arquitectura de un microprocesador
Arquitectura de un microprocesadorArquitectura de un microprocesador
Arquitectura de un microprocesador
 
Procedimientos almacenados
Procedimientos almacenadosProcedimientos almacenados
Procedimientos almacenados
 
Vistas
VistasVistas
Vistas
 
Microsoft sql server 2012
Microsoft sql server 2012Microsoft sql server 2012
Microsoft sql server 2012
 
Normalizacion
NormalizacionNormalizacion
Normalizacion
 
MODELAMIENTO ENTIDAD-RELACION (ER)
MODELAMIENTO ENTIDAD-RELACION (ER)MODELAMIENTO ENTIDAD-RELACION (ER)
MODELAMIENTO ENTIDAD-RELACION (ER)
 
Modelo de datos
Modelo de datosModelo de datos
Modelo de datos
 
Diseño de una base de datos
Diseño de una base de datosDiseño de una base de datos
Diseño de una base de datos
 
Base de Datos
Base de DatosBase de Datos
Base de Datos
 

Último

Simbología de Soldadura, interpretacion y aplicacion en dibujo tecnico indus...
Simbología de Soldadura,  interpretacion y aplicacion en dibujo tecnico indus...Simbología de Soldadura,  interpretacion y aplicacion en dibujo tecnico indus...
Simbología de Soldadura, interpretacion y aplicacion en dibujo tecnico indus...esandoval7
 
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPSEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPJosLuisFrancoCaldern
 
Clase 1 Análisis Estructura. Para Arquitectura pptx
Clase 1 Análisis Estructura. Para Arquitectura pptxClase 1 Análisis Estructura. Para Arquitectura pptx
Clase 1 Análisis Estructura. Para Arquitectura pptxPaolaVillalba13
 
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIACLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIAMayraOchoa35
 
TEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptx
TEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptxTEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptx
TEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptxYEDSONJACINTOBUSTAMA
 
Topografía 1 Nivelación y Carretera en la Ingenierías
Topografía 1 Nivelación y Carretera en la IngenieríasTopografía 1 Nivelación y Carretera en la Ingenierías
Topografía 1 Nivelación y Carretera en la IngenieríasSegundo Silva Maguiña
 
Fe_C_Tratamientos termicos_uap _3_.ppt
Fe_C_Tratamientos termicos_uap   _3_.pptFe_C_Tratamientos termicos_uap   _3_.ppt
Fe_C_Tratamientos termicos_uap _3_.pptVitobailon
 
SOUDAL: Soluciones de sellado, pegado y hermeticidad
SOUDAL: Soluciones de sellado, pegado y hermeticidadSOUDAL: Soluciones de sellado, pegado y hermeticidad
SOUDAL: Soluciones de sellado, pegado y hermeticidadANDECE
 
Biología molecular ADN recombinante.pptx
Biología molecular ADN recombinante.pptxBiología molecular ADN recombinante.pptx
Biología molecular ADN recombinante.pptxluisvalero46
 
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBRQUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBRyanimarca23
 
Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...
Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...
Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...ssuser646243
 
PRESENTACION DE CLASE. Factor de potencia
PRESENTACION DE CLASE. Factor de potenciaPRESENTACION DE CLASE. Factor de potencia
PRESENTACION DE CLASE. Factor de potenciazacariasd49
 
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)ssuser6958b11
 
Electromagnetismo Fisica FisicaFisica.pdf
Electromagnetismo Fisica FisicaFisica.pdfElectromagnetismo Fisica FisicaFisica.pdf
Electromagnetismo Fisica FisicaFisica.pdfAnonymous0pBRsQXfnx
 
3039_ftg_01Entregable 003_Matematica.pptx
3039_ftg_01Entregable 003_Matematica.pptx3039_ftg_01Entregable 003_Matematica.pptx
3039_ftg_01Entregable 003_Matematica.pptxJhordanGonzalo
 
CENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdf
CENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdfCENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdf
CENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdfpaola110264
 
Peligros de Excavaciones y Zanjas presentacion
Peligros de Excavaciones y Zanjas presentacionPeligros de Excavaciones y Zanjas presentacion
Peligros de Excavaciones y Zanjas presentacionOsdelTacusiPancorbo
 
Centro Integral del Transporte de Metro de Madrid (CIT). Premio COAM 2023
Centro Integral del Transporte de Metro de Madrid (CIT). Premio COAM 2023Centro Integral del Transporte de Metro de Madrid (CIT). Premio COAM 2023
Centro Integral del Transporte de Metro de Madrid (CIT). Premio COAM 2023ANDECE
 
183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdfEdwinAlexanderSnchez2
 
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptxAMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptxLuisvila35
 

Último (20)

Simbología de Soldadura, interpretacion y aplicacion en dibujo tecnico indus...
Simbología de Soldadura,  interpretacion y aplicacion en dibujo tecnico indus...Simbología de Soldadura,  interpretacion y aplicacion en dibujo tecnico indus...
Simbología de Soldadura, interpretacion y aplicacion en dibujo tecnico indus...
 
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPSEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
 
Clase 1 Análisis Estructura. Para Arquitectura pptx
Clase 1 Análisis Estructura. Para Arquitectura pptxClase 1 Análisis Estructura. Para Arquitectura pptx
Clase 1 Análisis Estructura. Para Arquitectura pptx
 
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIACLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIA
 
TEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptx
TEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptxTEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptx
TEC-SEMANA 9-GRUPO1 SENATI SEGURIDAD Y PREVENCIÓN DE RIESGOS.pptx
 
Topografía 1 Nivelación y Carretera en la Ingenierías
Topografía 1 Nivelación y Carretera en la IngenieríasTopografía 1 Nivelación y Carretera en la Ingenierías
Topografía 1 Nivelación y Carretera en la Ingenierías
 
Fe_C_Tratamientos termicos_uap _3_.ppt
Fe_C_Tratamientos termicos_uap   _3_.pptFe_C_Tratamientos termicos_uap   _3_.ppt
Fe_C_Tratamientos termicos_uap _3_.ppt
 
SOUDAL: Soluciones de sellado, pegado y hermeticidad
SOUDAL: Soluciones de sellado, pegado y hermeticidadSOUDAL: Soluciones de sellado, pegado y hermeticidad
SOUDAL: Soluciones de sellado, pegado y hermeticidad
 
Biología molecular ADN recombinante.pptx
Biología molecular ADN recombinante.pptxBiología molecular ADN recombinante.pptx
Biología molecular ADN recombinante.pptx
 
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBRQUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
 
Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...
Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...
Como de produjo la penicilina de manera masiva en plena guerra mundial Biotec...
 
PRESENTACION DE CLASE. Factor de potencia
PRESENTACION DE CLASE. Factor de potenciaPRESENTACION DE CLASE. Factor de potencia
PRESENTACION DE CLASE. Factor de potencia
 
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
 
Electromagnetismo Fisica FisicaFisica.pdf
Electromagnetismo Fisica FisicaFisica.pdfElectromagnetismo Fisica FisicaFisica.pdf
Electromagnetismo Fisica FisicaFisica.pdf
 
3039_ftg_01Entregable 003_Matematica.pptx
3039_ftg_01Entregable 003_Matematica.pptx3039_ftg_01Entregable 003_Matematica.pptx
3039_ftg_01Entregable 003_Matematica.pptx
 
CENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdf
CENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdfCENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdf
CENTROIDES Y MOMENTOS DE INERCIA DE AREAS PLANAS.pdf
 
Peligros de Excavaciones y Zanjas presentacion
Peligros de Excavaciones y Zanjas presentacionPeligros de Excavaciones y Zanjas presentacion
Peligros de Excavaciones y Zanjas presentacion
 
Centro Integral del Transporte de Metro de Madrid (CIT). Premio COAM 2023
Centro Integral del Transporte de Metro de Madrid (CIT). Premio COAM 2023Centro Integral del Transporte de Metro de Madrid (CIT). Premio COAM 2023
Centro Integral del Transporte de Metro de Madrid (CIT). Premio COAM 2023
 
183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf
 
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptxAMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
 

Cálculo relacional

  • 1. John Denis Suarez Ortiz Dorvin Eduardo Bardales Lucana Cálculo Relacional BASE DE DATOS I Ingeniería de Sistemas y Telemática http://heroepatriota.blogspot.com Ing. Marco Aurelio Porro Chulli http://jhonsuarezortiz.blogspot.com
  • 2. CALCULO RACIONAL  El Cálculo racional es un lenguaje de consulta que describe la respuesta deseada sobre una Base de datos sin especificar como obtenerla, a diferencia del Álgebra relacional que es de tipo procedural, el cálculo relacional es de tipo declarativo; pero siempre ambos métodos logran los mismos resultados.
  • 3.  Lenguaje basado en el cálculo de predicados de primer orden. * No procedimental, se expresa qué se quiere obtener y no cómo * Relación: predicado - Seleccionar aquellas tuplas cuyo predicado es verdadero Predicado permite operaciones {=, <>, <, >, <=, >=} entre una variable y una constante o entre dos variables
  • 4. Variables Como se puede observar por su definición, en las fórmulas aparecen variables. A cada una de estas apariciones se les denomina ocurrencia de una variable. En una misma fórmula puede haber más de una ocurrencia de una misma variable o de distintas.  Variables libres y ligadas. El alcance de "x en la fórmula "x F es F. Igualmente, el alcance de $x en la fórmula $x F también es F. La regla iii) de la definición de fbf permite distinguir dos clases de ocurrencias de las variables: libres y ligadas. Una ocurrencia ligada de una variable en una fbf es una ocurrencia sobre la que actúa un cuantificador, o una ocurrencia dentro del alcance de un cuantificador que actúa sobre la misma variable. Cualquier otra ocurrencia es libre.
  • 5.  Variables libres y ligadas. Ejemplos: En la fórmula $x P(x,y) Ù Q(x), las dos primeras ocurrencias de x son ligadas, mientras que la tercera ocurrencia es libre, ya que el alcance de $x es P(x,y). En $x (P(x,y) Ù Q(x)), todas las ocurrencias de x son ligadas, dado que el alcance de $x es P(x,y) Ù Q(x).
  • 6.  Fórmulas abiertas y cerradas. Una fórmula abierta es aquella que tiene ocurrencias libres de variables. Una fórmula cerrada es la que no las posee. Habitualmente, si F es una fórmula que tiene una ocurrencia libre de la variable x, se suele expresar como F(x). Ejemplos: La fórmula "y$x (P(x,y) Ù Q(x)) es cerrada. En cambio, $x (P(x,y) Ù Q(x)) es abierta, dado que hay una ocurrencia libre de la variable y.
  • 7. TIPOS DE CALCULO RELACIONAL Calculo relacional orientado a tuplas: * Se procesan tuplas de una o más relaciones * SQL orientado a la tupla utilizando nombres de relación y etiquetas como variables de tupla.
  • 8. Una consulta en este tipo de calculo es de forma: {T φ(T )} donde T es una variable tipo tupla y φ(T ) es una fórmula que describe a T. El resultado de esta consulta, son todas las tuplas t para las cuales la fórmula es verdadera.
  • 9. TIPOS DE CALCULO RELACIONAL  Calculo relacional orientado a los dominios: * Variables de tupla se reemplazan por variables de dominio * Se procesan dominios que alcanzan una o más relaciones.
  • 10. Los átomos del cálculo relacional de dominios tienen una de las siguientes formas: 1. (x, y, z ) r, donde r es una relación con n atributos y x , y, z .son variables de dominio o constantes. 2. x y, donde x e y son variables de dominio y es un operador de comparación aritmética (>, <, =, ). Es necesario que los atributos x e y, tengan dominios cuyos miembros puedan compararse mediante . 3. x c, donde x es una variable de dominio, es un operador de comparación y c es una constante en el dominio del atributo x
  • 11. EJEMPLOS DE CALCULO RELACIONAL  Dada la relación: * ESTUDIANTE(DNI, NOM, EDAD, DIR)  Seleccionar tuplas de estudiantes llamados Pepe: * ESTUDIANTE: NOM=‘PEPE’  Seleccionar estudiantes que viven en Bilbao y tienen más de 23 años: * ESTUDIANTE: DIR=‘Bilbao’ AND EDAD>23  Seleccionar DNI y NOM de los estudiantes de Gasteiz: * ESTUDIANTE.DNI, ESTUDIANTE.NOM: DIR=‘Gasteiz’
  • 12. RESUMEN El Cálculo racional es un lenguaje de consulta que describe la respuesta deseada sobre una Base de datos sin especificar como obtenerla, es de tipo declarativo VARIABLES  Variables libres y ligadas.  Variables libres y ligadas.  Fórmulas abiertas y cerradas. TIPOS DE CÁLCULO RELACIONAL  Cálculo relacional orientado a tuplas.  Cálculo relacional orientado a los dominios.
  • 13. SUMMARY Rational calculation is a query language that describes the desired answer on a database without specifying how to obtain it , is declaratory VARIABLES  free and bound variables .  free and bound variables .  open and closed formulas . TYPES OF RELATIONAL CALCULUS  Calculation oriented relational tuples.  Relational Calculus oriented domains.
  • 14. Recomendaciones Para trabajar con el cálculo relacional debemos tener en claro las diferencias con el álgebra relacional ya que usa un enfoque completamente diferente al álgebra relacional. No obstante, los dos lenguajes son lógicamente equivalentes. Esto significa que cualquier consulta que pueda resolverse en un lenguaje puede resolverse en el otro. Será más breve en el cálculo relacional, debido a que el lenguaje en sí mismo tiene menos construcciones. Conclusiones El cálculo relacional es de tipo declarativo a diferencia del Álgebra relacional que es de tipo procedural, pero siempre ambos métodos logran los mismos resultados.
  • 15. Apreciación del equipo Gracias a este tema se conoce la definición, las variables, constantes y tipos del cálculo relacional que serán de gran apoyo en el proceso de consulta de una base de datos. Glosario de términos Declarativo: Que explica de manera clara lo que está dudoso Átomos del cálculo relacional: son variables de dominio o constantes. x q y, donde x e y son variables de dominio y q es un operador de comparación aritmética (>, <, =, ¹).
  • 16. Bibliografía y fuentes de información http://www.dsi.fceia.unr.edu.ar/downloads/base_de_datos/CalculoRel acional.pdf http://www.mat.uson.mx/lcota/PPT/CALCULO%20RELACIONAL%20( BD).pdf http://ocw.univalle.edu.co/ocw/ingenieria-de-sistemas-telematica-y- afines/base-de-datos/material-1/BD-6.pdf