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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/23518
Ver los metadatos del registro completo
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 |