SlideShare una empresa de Scribd logo
1 de 13
CÁLCULORELACIONAL
Vannesa Del Pilar Salazar Ugaz
Thalía Margarita Serrano Díaz
Universidad Politécnica
Amazónica
Definición
Es un lenguaje de consulta no procedimental,
Describe la información deseada sin dar un
procedimiento específico para obtenerla, es de
tipo declarativo.
1. Contenido
Relación con la lógica de primer orden
Variable de tipo tupla: Una variable tipo tupla T es una
variable capaz de tomar cualquier valor tupla que
pertenece a una relación (o tabla).
Variable de tipo dominio: Conjunto de posibles valores
que puede tomar en la relación.
 Podemos definir una formula con base a combinaciones de
fórmulas atómicas.
 Una formula atómica es una combinación de variables (tipo
tupla o tipo dominio, según corresponda) y atributos o
constantes, gracias al uso de operadores como <, >, =, !=, <=,
>=.
 También es una formula atómica variable ∈ Relación.
 Las combinaciones de fórmulas atómicas se generan a partir
del uso de operadores como NOT (¬), AND (∧), OR (∨), →.
 Los cuantificadores ∃, ∀ limitan una variable.
Una consulta en TRC es de la forma:
{T | φ(T )}
Es decir, el conjunto de todas las tuplas t, tal que el predicado P,
es verdadero para t.
Sintaxis de consulta en TRC
La sintaxis es definida a partir de la lógica de primer orden.
Donde la variable a utilizar es de tipo tupla. Una variable es libre
en una fórmula (o subfórmula) si la (sub) fórmula no contiene
ninguna ocurrencia de cuantificadores que la limiten. En una
consulta en TRC de la forma: {T | φ(T )}, T es la única variable
libre.
CÁLCULO RELACIONAL
DE TUPLAS (TRC):
Elementos del predicado
t  r (la tupla t está contenida en la relación r)
t[at1] (valor del atributo at1 de la tupla t)
Condiciones de comparación: (>,>=,<,<=, =, ≠)
Comparaciones entre atributos o entre un atributo y una
constante t1[at1] ≠ t1[at2] La tupla t1 del atributo at1 es
distinto de la tupla t1 del atributo at2 t1[at1] > 15 La tupla t1
del atributo at1 es mayor que el valor constante 15
t1[at1] = t2[at2] La tupla t1 del atributo at1 es igual a la tupla
t2 del atributo at2
Cuantificadores
Existencial (∃): ∃ t  r (P(t)) Evalúa el valor de verdad de al menos una
tupla t de la relación r que cumple con el predicado P.
Universal (∀): ∀ t  r (P(t)) Evalúa el valor de verdad de todas las
tuplas t de r que cumplen con el predicado P.
Ejemplos de TCR:
Obtener la información de todos los alumnos
{t/ t  Alumno}
Obtener la información de los alumnos que son mayores de 25
años.
{t/ t  Alumno  t[edad] > 25}
Obtener solamente los números de expedientes de los alumnos
{t/ ∃ s  Alumno (t[exp] = s[exp])}
Obtener los números de expedientes de los alumnos mayores de
25 años.
{t/ ∃ r  Alumno (t[exp] = r[exp]  r[edad] >25)}
Está constituido con los mismos operadores que el cálculo relacional
de tuplas pero no hay tuplas sino variables dominio. Las expresiones
del cálculo relacional de dominios son de la forma { (x, y, z, ...) / P(x,
y, z, ...) }, donde x, y, z representan las variables de dominio, P
representa una fórmula compuesta de átomos (igual que en el CRT).
- Una expresión en el CRD es de la forma
{< x1, x2 , ... , n > | P(x1, x2 , ... , xn)}
Dónde:
x1 , x2 , . . . , xn representan variables de dominio
P es una fórmula compuesta por átomos
- Un átomo en el CRD tiene una de las formas siguientes:
< x1 , x2 , . . . , xn > ∈ r ó ( r(x1 , x2 , . . . , xn ))
Dónde:
r es una relación en n atributos y
x1, x2, . . . , xn son variables de dominio.
- x α y donde:
x e y son variables de dominio
α es un operador de comparación ( < , <=, = , <>, >, >=).
x e y tienen dominios que puedan compararse por medio de α.
- x α c donde:
x es una variable de dominio
α es un operador de comparación
c es una constante en el dominio del atributo correspondiente
Las fórmulas se construyen a partir de átomos usando las reglas
siguientes:
- Un átomo es una fórmula.
- Si P1 es una fórmula, entonces también lo son : ¬ P1 y (P1)
- Si P1 y P2 son fórmulas, entonces también lo son: P1 v P2 , P1 ∧ P2 , y
P1 => P2.
- Si P1(x) es una fórmula en x, donde x es una variable de dominio,
entonces también son fórmulas: ∃ x (P1 (x) ) y ∀ x (P1(x)).
 Ejemplos de DRC:
 Encontrar nombre de sucursal, número
de préstamo, nombre de cliente y
cantidad de préstamos mayores de
1200 dólares.
{<b,l,c,a> / <b,l,c,a > ∈
préstamo ∧ a>1200}
 Encontrar clientes que tienen un
préstamo de sucursal Perryridge y
ciudad en que viven.
{ < c,x > / ∃ b,l,a (<b,l,c,a> ∈
préstamo ∧ b="Perryridge" ∧
∃ y (<c,y,x> ∈ cliente ))}
El Cálculo relacional 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.
Además tenemos dos tipos de variantes
tuplas y dominios.
2. Resumen
3. Conclusiones
El cálculo relacional es una herramienta formal
utilizada como lenguaje de consulta a bases de
datos relacionales, según el tipo de variables
que se manejan, existen dos tipos de Cálculo
relacional. El cálculo relacional de tuplas emplea
variables-tupla, que designan a tuplas de
relaciones. En el cálculo relacional de dominios
se utilizan variables-dominio, que toman valores
de los dominios asociados a los atributos de las
relaciones.
4. Apreciación del equipo
El Cálculo relacional es descriptivo (se indica
cuál es el problema y no cómo resolverlo),
mientras que el Algebra lineal es procedural (se
indica un procedimiento para resolver el
problema).
Cálculo relacional: lenguaje declarativo para consultas en bases de datos

Más contenido relacionado

La actualidad más candente

Calculo diferencial resumen
Calculo diferencial  resumenCalculo diferencial  resumen
Calculo diferencial resumenJose Urueta
 
Matematica yhacmir
Matematica yhacmirMatematica yhacmir
Matematica yhacmirYHACMIR
 
Cálculo de limites de funciones polinómicas, racionales y en el infinito.
Cálculo de limites de funciones polinómicas, racionales y en el infinito.Cálculo de limites de funciones polinómicas, racionales y en el infinito.
Cálculo de limites de funciones polinómicas, racionales y en el infinito.Gerardo Martínez
 
Modulo 1: Análisis Matemático de la Optimización
Modulo 1: Análisis Matemático de la OptimizaciónModulo 1: Análisis Matemático de la Optimización
Modulo 1: Análisis Matemático de la OptimizaciónHoracio Santander
 
Función proposicional [recuperado]
Función proposicional [recuperado]Función proposicional [recuperado]
Función proposicional [recuperado]Victor Alegre
 
Lógica de predicados
Lógica de predicadosLógica de predicados
Lógica de predicadosGabriel Chung
 
Limites con radicales al infinito
Limites con radicales al infinitoLimites con radicales al infinito
Limites con radicales al infinitoPablo Chinchin
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógicaBertha Vega
 
Multiplicadores de lagrange
Multiplicadores de lagrangeMultiplicadores de lagrange
Multiplicadores de lagrangeBryan Guerra
 
Factorizacion 2do Prfoesional
Factorizacion 2do PrfoesionalFactorizacion 2do Prfoesional
Factorizacion 2do Prfoesionalyolimaratacho
 
Terminologia algebraica
Terminologia algebraicaTerminologia algebraica
Terminologia algebraicajlba96
 
Funciones variables
Funciones variablesFunciones variables
Funciones variablesvirval
 

La actualidad más candente (20)

Calculo de predicados
Calculo de predicadosCalculo de predicados
Calculo de predicados
 
Calculo diferencial resumen
Calculo diferencial  resumenCalculo diferencial  resumen
Calculo diferencial resumen
 
Cálculo de Predicados
Cálculo de PredicadosCálculo de Predicados
Cálculo de Predicados
 
Matematica yhacmir
Matematica yhacmirMatematica yhacmir
Matematica yhacmir
 
Cálculo de limites de funciones polinómicas, racionales y en el infinito.
Cálculo de limites de funciones polinómicas, racionales y en el infinito.Cálculo de limites de funciones polinómicas, racionales y en el infinito.
Cálculo de limites de funciones polinómicas, racionales y en el infinito.
 
Modulo 1: Análisis Matemático de la Optimización
Modulo 1: Análisis Matemático de la OptimizaciónModulo 1: Análisis Matemático de la Optimización
Modulo 1: Análisis Matemático de la Optimización
 
Calculo ll .
Calculo ll .Calculo ll .
Calculo ll .
 
Función proposicional [recuperado]
Función proposicional [recuperado]Función proposicional [recuperado]
Función proposicional [recuperado]
 
Lógica de predicados
Lógica de predicadosLógica de predicados
Lógica de predicados
 
Ensayo limites completado
Ensayo limites completadoEnsayo limites completado
Ensayo limites completado
 
Limites con radicales al infinito
Limites con radicales al infinitoLimites con radicales al infinito
Limites con radicales al infinito
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógica
 
Multiplicadores de lagrange
Multiplicadores de lagrangeMultiplicadores de lagrange
Multiplicadores de lagrange
 
Factorizacion 2do Prfoesional
Factorizacion 2do PrfoesionalFactorizacion 2do Prfoesional
Factorizacion 2do Prfoesional
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Matematica derivadas
Matematica derivadasMatematica derivadas
Matematica derivadas
 
Terminologia algebraica
Terminologia algebraicaTerminologia algebraica
Terminologia algebraica
 
Limites
LimitesLimites
Limites
 
Funciones variables
Funciones variablesFunciones variables
Funciones variables
 

Similar a Cálculo relacional: lenguaje declarativo para consultas en bases de datos

Similar a Cálculo relacional: lenguaje declarativo para consultas en bases de datos (20)

Calculo relacional
Calculo relacionalCalculo relacional
Calculo relacional
 
Calculo relacional
Calculo relacionalCalculo relacional
Calculo relacional
 
Calculo relacional
Calculo relacionalCalculo relacional
Calculo relacional
 
Calculo relacional
Calculo relacionalCalculo relacional
Calculo relacional
 
Logica de primer orden
Logica de primer ordenLogica de primer orden
Logica de primer orden
 
Bases de Datos Cap:IV
Bases de Datos  Cap:IVBases de Datos  Cap:IV
Bases de Datos Cap:IV
 
Calculo relacional diapositivas
Calculo relacional diapositivasCalculo relacional diapositivas
Calculo relacional diapositivas
 
Unidad i
Unidad iUnidad i
Unidad i
 
Calculo relacional de base de datos
Calculo relacional de base de datosCalculo relacional de base de datos
Calculo relacional de base de datos
 
Algebra 1 - Relaciones
Algebra 1 - Relaciones Algebra 1 - Relaciones
Algebra 1 - Relaciones
 
Recta Numerica
Recta NumericaRecta Numerica
Recta Numerica
 
Logica...
Logica...Logica...
Logica...
 
Relaciones y Grafos
Relaciones y GrafosRelaciones y Grafos
Relaciones y Grafos
 
calculo de predicados
calculo  de predicadoscalculo  de predicados
calculo de predicados
 
bd2-teorico01.pdf
bd2-teorico01.pdfbd2-teorico01.pdf
bd2-teorico01.pdf
 
Relaciones Generales
Relaciones GeneralesRelaciones Generales
Relaciones Generales
 
Calculo de predicados
Calculo de predicadosCalculo de predicados
Calculo de predicados
 
Algoritmica
AlgoritmicaAlgoritmica
Algoritmica
 
Metodos numericos1
Metodos numericos1Metodos numericos1
Metodos numericos1
 
Metodos numericos1
Metodos numericos1Metodos numericos1
Metodos numericos1
 

Más de Vannesa Salazar

Más de Vannesa Salazar (18)

Subneteo de redes
Subneteo de redesSubneteo de redes
Subneteo de redes
 
Modelo de referencia TCP/IP
Modelo de referencia TCP/IPModelo de referencia TCP/IP
Modelo de referencia TCP/IP
 
Dispositivos de red
Dispositivos de redDispositivos de red
Dispositivos de red
 
Arreglos
ArreglosArreglos
Arreglos
 
Salto condicional
Salto condicionalSalto condicional
Salto condicional
 
Programación de microcontrolador
Programación de microcontroladorProgramación de microcontrolador
Programación de microcontrolador
 
Arquitectura risc
Arquitectura riscArquitectura risc
Arquitectura risc
 
Arquitectura de un microprocesador
Arquitectura de un microprocesadorArquitectura de un microprocesador
Arquitectura de un microprocesador
 
Base de datos en microsoft sql server
Base de datos en microsoft sql serverBase de datos en microsoft sql server
Base de datos en microsoft sql server
 
Microsoft sql-server-2012
Microsoft sql-server-2012Microsoft sql-server-2012
Microsoft sql-server-2012
 
Normalización de Base de Datos
Normalización de Base de DatosNormalización de Base de Datos
Normalización de Base de Datos
 
Algebra relacional
Algebra relacionalAlgebra relacional
Algebra relacional
 
Modelo Entidad_Relación (ER)
Modelo Entidad_Relación (ER)Modelo Entidad_Relación (ER)
Modelo Entidad_Relación (ER)
 
Modelo relacional
Modelo relacionalModelo relacional
Modelo relacional
 
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
 
Fases para la creación de una Base de Datos
Fases para la creación de una Base de DatosFases para la creación de una Base de Datos
Fases para la creación de una Base de Datos
 
Base de datos
Base de datosBase de datos
Base de datos
 

Último

periodico mural y sus partes y caracteristicas
periodico mural y sus partes y caracteristicasperiodico mural y sus partes y caracteristicas
periodico mural y sus partes y caracteristicas123yudy
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADOJosé Luis Palma
 
Factores ecosistemas: interacciones, energia y dinamica
Factores ecosistemas: interacciones, energia y dinamicaFactores ecosistemas: interacciones, energia y dinamica
Factores ecosistemas: interacciones, energia y dinamicaFlor Idalia Espinoza Ortega
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzprofefilete
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PCCesarFernandez937857
 
Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteUnidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteJuan Hernandez
 
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIATRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIAAbelardoVelaAlbrecht1
 
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPEPlan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPELaura Chacón
 
Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.José Luis Palma
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosCesarFernandez937857
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinavergarakarina022
 
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...JAVIER SOLIS NOYOLA
 
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMALVOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMALEDUCCUniversidadCatl
 
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdfTarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdfManuel Molina
 
Tarea 5-Selección de herramientas digitales-Carol Eraso.pdf
Tarea 5-Selección de herramientas digitales-Carol Eraso.pdfTarea 5-Selección de herramientas digitales-Carol Eraso.pdf
Tarea 5-Selección de herramientas digitales-Carol Eraso.pdfCarol Andrea Eraso Guerrero
 
Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadAlejandrino Halire Ccahuana
 

Último (20)

periodico mural y sus partes y caracteristicas
periodico mural y sus partes y caracteristicasperiodico mural y sus partes y caracteristicas
periodico mural y sus partes y caracteristicas
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
 
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdfTema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
 
Factores ecosistemas: interacciones, energia y dinamica
Factores ecosistemas: interacciones, energia y dinamicaFactores ecosistemas: interacciones, energia y dinamica
Factores ecosistemas: interacciones, energia y dinamica
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PC
 
Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteUnidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parte
 
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIATRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
 
Unidad 4 | Teorías de las Comunicación | MCDI
Unidad 4 | Teorías de las Comunicación | MCDIUnidad 4 | Teorías de las Comunicación | MCDI
Unidad 4 | Teorías de las Comunicación | MCDI
 
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPEPlan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPE
 
Earth Day Everyday 2024 54th anniversary
Earth Day Everyday 2024 54th anniversaryEarth Day Everyday 2024 54th anniversary
Earth Day Everyday 2024 54th anniversary
 
Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos Básicos
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karina
 
Repaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia GeneralRepaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia General
 
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
 
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMALVOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
 
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdfTarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
 
Tarea 5-Selección de herramientas digitales-Carol Eraso.pdf
Tarea 5-Selección de herramientas digitales-Carol Eraso.pdfTarea 5-Selección de herramientas digitales-Carol Eraso.pdf
Tarea 5-Selección de herramientas digitales-Carol Eraso.pdf
 
Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdad
 

Cálculo relacional: lenguaje declarativo para consultas en bases de datos

  • 1. CÁLCULORELACIONAL Vannesa Del Pilar Salazar Ugaz Thalía Margarita Serrano Díaz Universidad Politécnica Amazónica
  • 2. Definición Es un lenguaje de consulta no procedimental, Describe la información deseada sin dar un procedimiento específico para obtenerla, es de tipo declarativo. 1. Contenido
  • 3. Relación con la lógica de primer orden Variable de tipo tupla: Una variable tipo tupla T es una variable capaz de tomar cualquier valor tupla que pertenece a una relación (o tabla). Variable de tipo dominio: Conjunto de posibles valores que puede tomar en la relación.  Podemos definir una formula con base a combinaciones de fórmulas atómicas.  Una formula atómica es una combinación de variables (tipo tupla o tipo dominio, según corresponda) y atributos o constantes, gracias al uso de operadores como <, >, =, !=, <=, >=.  También es una formula atómica variable ∈ Relación.  Las combinaciones de fórmulas atómicas se generan a partir del uso de operadores como NOT (¬), AND (∧), OR (∨), →.  Los cuantificadores ∃, ∀ limitan una variable.
  • 4. Una consulta en TRC es de la forma: {T | φ(T )} Es decir, el conjunto de todas las tuplas t, tal que el predicado P, es verdadero para t. Sintaxis de consulta en TRC La sintaxis es definida a partir de la lógica de primer orden. Donde la variable a utilizar es de tipo tupla. Una variable es libre en una fórmula (o subfórmula) si la (sub) fórmula no contiene ninguna ocurrencia de cuantificadores que la limiten. En una consulta en TRC de la forma: {T | φ(T )}, T es la única variable libre. CÁLCULO RELACIONAL DE TUPLAS (TRC):
  • 5. Elementos del predicado t  r (la tupla t está contenida en la relación r) t[at1] (valor del atributo at1 de la tupla t) Condiciones de comparación: (>,>=,<,<=, =, ≠) Comparaciones entre atributos o entre un atributo y una constante t1[at1] ≠ t1[at2] La tupla t1 del atributo at1 es distinto de la tupla t1 del atributo at2 t1[at1] > 15 La tupla t1 del atributo at1 es mayor que el valor constante 15 t1[at1] = t2[at2] La tupla t1 del atributo at1 es igual a la tupla t2 del atributo at2
  • 6. Cuantificadores Existencial (∃): ∃ t  r (P(t)) Evalúa el valor de verdad de al menos una tupla t de la relación r que cumple con el predicado P. Universal (∀): ∀ t  r (P(t)) Evalúa el valor de verdad de todas las tuplas t de r que cumplen con el predicado P. Ejemplos de TCR: Obtener la información de todos los alumnos {t/ t  Alumno} Obtener la información de los alumnos que son mayores de 25 años. {t/ t  Alumno  t[edad] > 25} Obtener solamente los números de expedientes de los alumnos {t/ ∃ s  Alumno (t[exp] = s[exp])} Obtener los números de expedientes de los alumnos mayores de 25 años. {t/ ∃ r  Alumno (t[exp] = r[exp]  r[edad] >25)}
  • 7. Está constituido con los mismos operadores que el cálculo relacional de tuplas pero no hay tuplas sino variables dominio. Las expresiones del cálculo relacional de dominios son de la forma { (x, y, z, ...) / P(x, y, z, ...) }, donde x, y, z representan las variables de dominio, P representa una fórmula compuesta de átomos (igual que en el CRT). - Una expresión en el CRD es de la forma {< x1, x2 , ... , n > | P(x1, x2 , ... , xn)} Dónde: x1 , x2 , . . . , xn representan variables de dominio P es una fórmula compuesta por átomos - Un átomo en el CRD tiene una de las formas siguientes: < x1 , x2 , . . . , xn > ∈ r ó ( r(x1 , x2 , . . . , xn )) Dónde: r es una relación en n atributos y x1, x2, . . . , xn son variables de dominio.
  • 8. - x α y donde: x e y son variables de dominio α es un operador de comparación ( < , <=, = , <>, >, >=). x e y tienen dominios que puedan compararse por medio de α. - x α c donde: x es una variable de dominio α es un operador de comparación c es una constante en el dominio del atributo correspondiente Las fórmulas se construyen a partir de átomos usando las reglas siguientes: - Un átomo es una fórmula. - Si P1 es una fórmula, entonces también lo son : ¬ P1 y (P1) - Si P1 y P2 son fórmulas, entonces también lo son: P1 v P2 , P1 ∧ P2 , y P1 => P2. - Si P1(x) es una fórmula en x, donde x es una variable de dominio, entonces también son fórmulas: ∃ x (P1 (x) ) y ∀ x (P1(x)).
  • 9.  Ejemplos de DRC:  Encontrar nombre de sucursal, número de préstamo, nombre de cliente y cantidad de préstamos mayores de 1200 dólares. {<b,l,c,a> / <b,l,c,a > ∈ préstamo ∧ a>1200}  Encontrar clientes que tienen un préstamo de sucursal Perryridge y ciudad en que viven. { < c,x > / ∃ b,l,a (<b,l,c,a> ∈ préstamo ∧ b="Perryridge" ∧ ∃ y (<c,y,x> ∈ cliente ))}
  • 10. El Cálculo relacional 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. Además tenemos dos tipos de variantes tuplas y dominios. 2. Resumen
  • 11. 3. Conclusiones El cálculo relacional es una herramienta formal utilizada como lenguaje de consulta a bases de datos relacionales, según el tipo de variables que se manejan, existen dos tipos de Cálculo relacional. El cálculo relacional de tuplas emplea variables-tupla, que designan a tuplas de relaciones. En el cálculo relacional de dominios se utilizan variables-dominio, que toman valores de los dominios asociados a los atributos de las relaciones.
  • 12. 4. Apreciación del equipo El Cálculo relacional es descriptivo (se indica cuál es el problema y no cómo resolverlo), mientras que el Algebra lineal es procedural (se indica un procedimiento para resolver el problema).