Computación de queries a bases de datos relacionales utilizando circuitos booleanos

En este trabajo se muestra la utilización de Subfamilias Finitas de Circuitos Booleanos como un modelo teórico adecuado para la expresión de consultas a una Base de Datos Relacional, cuyo fundamento se basa en la equivalencia demostrada entre Lógica de Primer Orden y una clase restringida de familia...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Gagliardi, Edilma Olinda, Grosso, Alejandro, Turull Torres, José María, Piffaretti, Patricia, Pereyra, Sonia Raquel
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
Bases de Datos Relacionales
base de datos
Circuitos Booleanos
Queries
Queries Computables
Lógica de Primer Orden
Cálculo Relacional
Cálculo Proposicional
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23518
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23518
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Bases de Datos Relacionales
base de datos
Circuitos Booleanos
Queries
Queries Computables
Lógica de Primer Orden
Cálculo Relacional
Cálculo Proposicional
spellingShingle Ciencias Informáticas
Bases de Datos Relacionales
base de datos
Circuitos Booleanos
Queries
Queries Computables
Lógica de Primer Orden
Cálculo Relacional
Cálculo Proposicional
Gagliardi, Edilma Olinda
Grosso, Alejandro
Turull Torres, José María
Piffaretti, Patricia
Pereyra, Sonia Raquel
Computación de queries a bases de datos relacionales utilizando circuitos booleanos
topic_facet Ciencias Informáticas
Bases de Datos Relacionales
base de datos
Circuitos Booleanos
Queries
Queries Computables
Lógica de Primer Orden
Cálculo Relacional
Cálculo Proposicional
description En este trabajo se muestra la utilización de Subfamilias Finitas de Circuitos Booleanos como un modelo teórico adecuado para la expresión de consultas a una Base de Datos Relacional, cuyo fundamento se basa en la equivalencia demostrada entre Lógica de Primer Orden y una clase restringida de familias de Circuitos Booleanos. Se destaca un aspecto relevante que surge de utilizar los Circuitos Booleanos para la expresión de consultas a Bases de Datos Relacionales, puesto que constituyen un formalismo apropiado para apreciar la paralelizabilidad de las mismas. También se observa que al considerar aquellas aplicaciones en donde el dominio de la base de datos es fijo, y que se conoce que no se producirán alteraciones sobre la misma que le modifiquen, conforman casos apropiados para definir consultas a priori expresadas utilizando los Circuitos Booleanos, con el fin de implementarlas a nivel de hardware. Se describe la implementación de un traductor de consultas expresadas en Lógica de Primer Orden a una Subfamilia Finita de Circuitos Booleanos para una Base de Datos Relacional dada; y la implementación de un evaluador de la consulta expresada como una Subfamilia Finita de Circuitos Booleanos.
format Objeto de conferencia
Objeto de conferencia
author Gagliardi, Edilma Olinda
Grosso, Alejandro
Turull Torres, José María
Piffaretti, Patricia
Pereyra, Sonia Raquel
author_facet Gagliardi, Edilma Olinda
Grosso, Alejandro
Turull Torres, José María
Piffaretti, Patricia
Pereyra, Sonia Raquel
author_sort Gagliardi, Edilma Olinda
title Computación de queries a bases de datos relacionales utilizando circuitos booleanos
title_short Computación de queries a bases de datos relacionales utilizando circuitos booleanos
title_full Computación de queries a bases de datos relacionales utilizando circuitos booleanos
title_fullStr Computación de queries a bases de datos relacionales utilizando circuitos booleanos
title_full_unstemmed Computación de queries a bases de datos relacionales utilizando circuitos booleanos
title_sort computación de queries a bases de datos relacionales utilizando circuitos booleanos
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/23518
work_keys_str_mv AT gagliardiedilmaolinda computaciondequeriesabasesdedatosrelacionalesutilizandocircuitosbooleanos
AT grossoalejandro computaciondequeriesabasesdedatosrelacionalesutilizandocircuitosbooleanos
AT turulltorresjosemaria computaciondequeriesabasesdedatosrelacionalesutilizandocircuitosbooleanos
AT piffarettipatricia computaciondequeriesabasesdedatosrelacionalesutilizandocircuitosbooleanos
AT pereyrasoniaraquel computaciondequeriesabasesdedatosrelacionalesutilizandocircuitosbooleanos
bdutipo_str Repositorios
_version_ 1764820465733337088

Ejemplares similares