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

Estructura de datos - Unidad 1: Introducción a las estructuras de datos
Estructura de datos - Unidad 1: Introducción a las estructuras de datosEstructura de datos - Unidad 1: Introducción a las estructuras de datos
Estructura de datos - Unidad 1: Introducción a las estructuras de datosJosé Antonio Sandoval Acosta
 
Programación Orientada a Objetos - atributos y métodos
Programación Orientada a Objetos - atributos y métodosProgramación Orientada a Objetos - atributos y métodos
Programación Orientada a Objetos - atributos y métodosAlvaro Enrique Ruano
 
Métodos POO
Métodos POOMétodos POO
Métodos POO1da4
 
Modelos de arquitecturas de computadoras
Modelos de arquitecturas de computadorasModelos de arquitecturas de computadoras
Modelos de arquitecturas de computadorasYESENIA CETINA
 
Programación Orientada a Objetos - constructores y destructores
Programación Orientada a Objetos - constructores y destructoresProgramación Orientada a Objetos - constructores y destructores
Programación Orientada a Objetos - constructores y destructoresAlvaro Enrique Ruano
 
Representacion del Conocimiento Inteligencia Artificial
Representacion del Conocimiento Inteligencia ArtificialRepresentacion del Conocimiento Inteligencia Artificial
Representacion del Conocimiento Inteligencia Artificialjorgeescalona2387
 
5. Ejercicios normalización
5. Ejercicios normalización5. Ejercicios normalización
5. Ejercicios normalizaciónMarcelo Herrera
 
Tipos de usuarios de base de datos diapositivas
Tipos de usuarios de base de datos diapositivasTipos de usuarios de base de datos diapositivas
Tipos de usuarios de base de datos diapositivasgrupo niche ortega
 
automatas finitos
 automatas finitos automatas finitos
automatas finitosAnel Sosa
 
esto es de transformacion del modelo relacional
esto es  de transformacion del modelo relacionalesto es  de transformacion del modelo relacional
esto es de transformacion del modelo relacionalBrahyan Marquez
 
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
 
Componentes y Librerías - Tópicos avanzados de programación.
Componentes y Librerías - Tópicos avanzados de programación.Componentes y Librerías - Tópicos avanzados de programación.
Componentes y Librerías - Tópicos avanzados de programación.Giancarlo Aguilar
 
Diccionario de datos
Diccionario de datosDiccionario de datos
Diccionario de datosJorge Garcia
 
Inteligencia artificial unidad iii
Inteligencia artificial unidad iiiInteligencia artificial unidad iii
Inteligencia artificial unidad iiiGuadalupe Lopez
 

La actualidad más candente (20)

Estructura de datos - Unidad 1: Introducción a las estructuras de datos
Estructura de datos - Unidad 1: Introducción a las estructuras de datosEstructura de datos - Unidad 1: Introducción a las estructuras de datos
Estructura de datos - Unidad 1: Introducción a las estructuras de datos
 
1. Modelo de Datos
1. Modelo de Datos1. Modelo de Datos
1. Modelo de Datos
 
Programación Orientada a Objetos - atributos y métodos
Programación Orientada a Objetos - atributos y métodosProgramación Orientada a Objetos - atributos y métodos
Programación Orientada a Objetos - atributos y métodos
 
control de concurrencia
control de concurrenciacontrol de concurrencia
control de concurrencia
 
Métodos POO
Métodos POOMétodos POO
Métodos POO
 
Algoritmo de dekker
Algoritmo de dekker Algoritmo de dekker
Algoritmo de dekker
 
Modelos de arquitecturas de computadoras
Modelos de arquitecturas de computadorasModelos de arquitecturas de computadoras
Modelos de arquitecturas de computadoras
 
Programación Orientada a Objetos - constructores y destructores
Programación Orientada a Objetos - constructores y destructoresProgramación Orientada a Objetos - constructores y destructores
Programación Orientada a Objetos - constructores y destructores
 
Representacion del Conocimiento Inteligencia Artificial
Representacion del Conocimiento Inteligencia ArtificialRepresentacion del Conocimiento Inteligencia Artificial
Representacion del Conocimiento Inteligencia Artificial
 
5. Ejercicios normalización
5. Ejercicios normalización5. Ejercicios normalización
5. Ejercicios normalización
 
Transacciones
TransaccionesTransacciones
Transacciones
 
Tipos de usuarios de base de datos diapositivas
Tipos de usuarios de base de datos diapositivasTipos de usuarios de base de datos diapositivas
Tipos de usuarios de base de datos diapositivas
 
Algebra relacional
Algebra relacionalAlgebra relacional
Algebra relacional
 
automatas finitos
 automatas finitos automatas finitos
automatas finitos
 
esto es de transformacion del modelo relacional
esto es  de transformacion del modelo relacionalesto es  de transformacion del modelo relacional
esto es de transformacion del modelo 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
 
Componentes y Librerías - Tópicos avanzados de programación.
Componentes y Librerías - Tópicos avanzados de programación.Componentes y Librerías - Tópicos avanzados de programación.
Componentes y Librerías - Tópicos avanzados de programación.
 
Lenguaje ensamblador
Lenguaje ensambladorLenguaje ensamblador
Lenguaje ensamblador
 
Diccionario de datos
Diccionario de datosDiccionario de datos
Diccionario de datos
 
Inteligencia artificial unidad iii
Inteligencia artificial unidad iiiInteligencia artificial unidad iii
Inteligencia artificial unidad iii
 

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 relacional1
Calculo relacional1Calculo relacional1
Calculo relacional1
 
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
 
Logica de predicados1
Logica de predicados1Logica de predicados1
Logica de predicados1
 
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
 

Más de thalia margarita serrano diaz (20)

Ip
IpIp
Ip
 
Modelo de referencia osi
Modelo de referencia osiModelo de referencia osi
Modelo de referencia osi
 
Clasificacion de redes
Clasificacion de redesClasificacion de redes
Clasificacion de redes
 
Array bidimensionales
Array bidimensionalesArray bidimensionales
Array bidimensionales
 
Ciclos
CiclosCiclos
Ciclos
 
Lenguaje ensamblador
Lenguaje ensambladorLenguaje ensamblador
Lenguaje ensamblador
 
Microcontrolador
MicrocontroladorMicrocontrolador
Microcontrolador
 
Procedimientos almacenados
Procedimientos almacenadosProcedimientos almacenados
Procedimientos almacenados
 
Microprocesadores
MicroprocesadoresMicroprocesadores
Microprocesadores
 
Procedimientos almacenados
Procedimientos almacenadosProcedimientos almacenados
Procedimientos almacenados
 
Vistas
VistasVistas
Vistas
 
Lenguaje transact sql
Lenguaje transact sqlLenguaje transact sql
Lenguaje transact sql
 
Tablas y tipos de datos
Tablas y tipos de datosTablas y tipos de datos
Tablas y tipos de datos
 
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
NormalizaciónNormalización
Normalización
 
Algebra relacional
Algebra relacionalAlgebra relacional
Algebra relacional
 
Modelo entidad
Modelo entidadModelo entidad
Modelo entidad
 
Modelo relacional
Modelo relacionalModelo relacional
Modelo relacional
 
Modelo de una b.d
Modelo de una b.dModelo de una b.d
Modelo de una b.d
 

Último

Biología molecular ADN recombinante.pptx
Biología molecular ADN recombinante.pptxBiología molecular ADN recombinante.pptx
Biología molecular ADN recombinante.pptxluisvalero46
 
3.3 Tipos de conexiones en los transformadores trifasicos.pdf
3.3 Tipos de conexiones en los transformadores trifasicos.pdf3.3 Tipos de conexiones en los transformadores trifasicos.pdf
3.3 Tipos de conexiones en los transformadores trifasicos.pdfRicardoRomeroUrbano
 
Fijaciones de balcones prefabricados de hormigón - RECENSE
Fijaciones de balcones prefabricados de hormigón - RECENSEFijaciones de balcones prefabricados de hormigón - RECENSE
Fijaciones de balcones prefabricados de hormigón - RECENSEANDECE
 
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
 
5.1 MATERIAL COMPLEMENTARIO Sesión 02.pptx
5.1 MATERIAL COMPLEMENTARIO Sesión 02.pptx5.1 MATERIAL COMPLEMENTARIO Sesión 02.pptx
5.1 MATERIAL COMPLEMENTARIO Sesión 02.pptxNayeliZarzosa1
 
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
 
594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...
594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...
594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...humberto espejo
 
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
 
Revista estudiantil, trabajo final Materia ingeniería de Proyectos
Revista estudiantil, trabajo final Materia ingeniería de ProyectosRevista estudiantil, trabajo final Materia ingeniería de Proyectos
Revista estudiantil, trabajo final Materia ingeniería de ProyectosJeanCarlosLorenzo1
 
SEMANA 6 MEDIDAS DE TENDENCIA CENTRAL.pdf
SEMANA  6 MEDIDAS DE TENDENCIA CENTRAL.pdfSEMANA  6 MEDIDAS DE TENDENCIA CENTRAL.pdf
SEMANA 6 MEDIDAS DE TENDENCIA CENTRAL.pdffredyflores58
 
Flujo potencial, conceptos básicos y ejemplos resueltos.
Flujo potencial, conceptos básicos y ejemplos resueltos.Flujo potencial, conceptos básicos y ejemplos resueltos.
Flujo potencial, conceptos básicos y ejemplos resueltos.ALEJANDROLEONGALICIA
 
S454444444444444444_CONTROL_SET_A_GEOMN1204.pdf
S454444444444444444_CONTROL_SET_A_GEOMN1204.pdfS454444444444444444_CONTROL_SET_A_GEOMN1204.pdf
S454444444444444444_CONTROL_SET_A_GEOMN1204.pdffredyflores58
 
Espontaneidad de las reacciones y procesos espontáneos
Espontaneidad de las reacciones y procesos espontáneosEspontaneidad de las reacciones y procesos espontáneos
Espontaneidad de las reacciones y procesos espontáneosOscarGonzalez231938
 
Electromagnetismo Fisica FisicaFisica.pdf
Electromagnetismo Fisica FisicaFisica.pdfElectromagnetismo Fisica FisicaFisica.pdf
Electromagnetismo Fisica FisicaFisica.pdfAnonymous0pBRsQXfnx
 
NOM-002-STPS-2010, combate contra incendio.pptx
NOM-002-STPS-2010, combate contra incendio.pptxNOM-002-STPS-2010, combate contra incendio.pptx
NOM-002-STPS-2010, combate contra incendio.pptxJairReyna1
 
Diagrama de flujo metalurgia del cobre..pptx
Diagrama de flujo metalurgia del cobre..pptxDiagrama de flujo metalurgia del cobre..pptx
Diagrama de flujo metalurgia del cobre..pptxHarryArmandoLazaroBa
 
Sistema de Base de Datos (Rubén Alberto)
Sistema de Base de Datos (Rubén Alberto)Sistema de Base de Datos (Rubén Alberto)
Sistema de Base de Datos (Rubén Alberto)mendezruben1901
 
Historia de la Arquitectura II, 1era actividad..pdf
Historia de la Arquitectura II, 1era actividad..pdfHistoria de la Arquitectura II, 1era actividad..pdf
Historia de la Arquitectura II, 1era actividad..pdfIsbelRodrguez
 
Parámetros de Perforación y Voladura. para Plataformas
Parámetros de  Perforación y Voladura. para PlataformasParámetros de  Perforación y Voladura. para Plataformas
Parámetros de Perforación y Voladura. para PlataformasSegundo Silva Maguiña
 
Estacionamientos, Existen 3 tipos, y tienen diferentes ángulos de inclinación
Estacionamientos, Existen 3 tipos, y tienen diferentes ángulos de inclinaciónEstacionamientos, Existen 3 tipos, y tienen diferentes ángulos de inclinación
Estacionamientos, Existen 3 tipos, y tienen diferentes ángulos de inclinaciónAlexisHernandez885688
 

Último (20)

Biología molecular ADN recombinante.pptx
Biología molecular ADN recombinante.pptxBiología molecular ADN recombinante.pptx
Biología molecular ADN recombinante.pptx
 
3.3 Tipos de conexiones en los transformadores trifasicos.pdf
3.3 Tipos de conexiones en los transformadores trifasicos.pdf3.3 Tipos de conexiones en los transformadores trifasicos.pdf
3.3 Tipos de conexiones en los transformadores trifasicos.pdf
 
Fijaciones de balcones prefabricados de hormigón - RECENSE
Fijaciones de balcones prefabricados de hormigón - RECENSEFijaciones de balcones prefabricados de hormigón - RECENSE
Fijaciones de balcones prefabricados de hormigón - RECENSE
 
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
 
5.1 MATERIAL COMPLEMENTARIO Sesión 02.pptx
5.1 MATERIAL COMPLEMENTARIO Sesión 02.pptx5.1 MATERIAL COMPLEMENTARIO Sesión 02.pptx
5.1 MATERIAL COMPLEMENTARIO Sesión 02.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
 
594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...
594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...
594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...
 
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
 
Revista estudiantil, trabajo final Materia ingeniería de Proyectos
Revista estudiantil, trabajo final Materia ingeniería de ProyectosRevista estudiantil, trabajo final Materia ingeniería de Proyectos
Revista estudiantil, trabajo final Materia ingeniería de Proyectos
 
SEMANA 6 MEDIDAS DE TENDENCIA CENTRAL.pdf
SEMANA  6 MEDIDAS DE TENDENCIA CENTRAL.pdfSEMANA  6 MEDIDAS DE TENDENCIA CENTRAL.pdf
SEMANA 6 MEDIDAS DE TENDENCIA CENTRAL.pdf
 
Flujo potencial, conceptos básicos y ejemplos resueltos.
Flujo potencial, conceptos básicos y ejemplos resueltos.Flujo potencial, conceptos básicos y ejemplos resueltos.
Flujo potencial, conceptos básicos y ejemplos resueltos.
 
S454444444444444444_CONTROL_SET_A_GEOMN1204.pdf
S454444444444444444_CONTROL_SET_A_GEOMN1204.pdfS454444444444444444_CONTROL_SET_A_GEOMN1204.pdf
S454444444444444444_CONTROL_SET_A_GEOMN1204.pdf
 
Espontaneidad de las reacciones y procesos espontáneos
Espontaneidad de las reacciones y procesos espontáneosEspontaneidad de las reacciones y procesos espontáneos
Espontaneidad de las reacciones y procesos espontáneos
 
Electromagnetismo Fisica FisicaFisica.pdf
Electromagnetismo Fisica FisicaFisica.pdfElectromagnetismo Fisica FisicaFisica.pdf
Electromagnetismo Fisica FisicaFisica.pdf
 
NOM-002-STPS-2010, combate contra incendio.pptx
NOM-002-STPS-2010, combate contra incendio.pptxNOM-002-STPS-2010, combate contra incendio.pptx
NOM-002-STPS-2010, combate contra incendio.pptx
 
Diagrama de flujo metalurgia del cobre..pptx
Diagrama de flujo metalurgia del cobre..pptxDiagrama de flujo metalurgia del cobre..pptx
Diagrama de flujo metalurgia del cobre..pptx
 
Sistema de Base de Datos (Rubén Alberto)
Sistema de Base de Datos (Rubén Alberto)Sistema de Base de Datos (Rubén Alberto)
Sistema de Base de Datos (Rubén Alberto)
 
Historia de la Arquitectura II, 1era actividad..pdf
Historia de la Arquitectura II, 1era actividad..pdfHistoria de la Arquitectura II, 1era actividad..pdf
Historia de la Arquitectura II, 1era actividad..pdf
 
Parámetros de Perforación y Voladura. para Plataformas
Parámetros de  Perforación y Voladura. para PlataformasParámetros de  Perforación y Voladura. para Plataformas
Parámetros de Perforación y Voladura. para Plataformas
 
Estacionamientos, Existen 3 tipos, y tienen diferentes ángulos de inclinación
Estacionamientos, Existen 3 tipos, y tienen diferentes ángulos de inclinaciónEstacionamientos, Existen 3 tipos, y tienen diferentes ángulos de inclinación
Estacionamientos, Existen 3 tipos, y tienen diferentes ángulos de inclinación
 

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).