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

Autores
Gagliardi, Edilma Olinda; Grosso, Alejandro; Turull Torres, José María; Piffaretti, Patricia; Pereyra, Sonia Raquel
Año de publicación
2001
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: Base de datos
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
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
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/23518

id SEDICI_555f99ee56ab01769655752a00f7e27b
oai_identifier_str oai:sedici.unlp.edu.ar:10915/23518
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Computación de queries a bases de datos relacionales utilizando circuitos booleanosGagliardi, Edilma OlindaGrosso, AlejandroTurull Torres, José MaríaPiffaretti, PatriciaPereyra, Sonia RaquelCiencias InformáticasBases de Datos Relacionalesbase de datosCircuitos BooleanosQueriesQueries ComputablesLógica de Primer OrdenCálculo RelacionalCálculo ProposicionalEn 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.Eje: Base de datosRed de Universidades con Carreras en Informática (RedUNCI)2001-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/23518spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:18Zoai:sedici.unlp.edu.ar:10915/23518Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:18.693SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Computación de queries a bases de datos relacionales utilizando circuitos booleanos
title Computación de queries a bases de datos relacionales utilizando circuitos booleanos
spellingShingle Computación de queries a bases de datos relacionales utilizando circuitos booleanos
Gagliardi, Edilma Olinda
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
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
dc.creator.none.fl_str_mv Gagliardi, Edilma Olinda
Grosso, Alejandro
Turull Torres, José María
Piffaretti, Patricia
Pereyra, Sonia Raquel
author Gagliardi, Edilma Olinda
author_facet Gagliardi, Edilma Olinda
Grosso, Alejandro
Turull Torres, José María
Piffaretti, Patricia
Pereyra, Sonia Raquel
author_role author
author2 Grosso, Alejandro
Turull Torres, José María
Piffaretti, Patricia
Pereyra, Sonia Raquel
author2_role author
author
author
author
dc.subject.none.fl_str_mv 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
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
dc.description.none.fl_txt_mv 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.
Eje: Base de datos
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2001
dc.date.none.fl_str_mv 2001-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/23518
url http://sedici.unlp.edu.ar/handle/10915/23518
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260121589121024
score 13.13397