Computación paralela de queries expresados con circuitos booleanos
Este trabajo se encuadra como una etapa de un proyecto mayor, en el que utilizamos los circuitos booleanos como un modelo teórico adecuado para la expresión de consultas a una base de datos relacional, estudiando diferentes aspectos de relevancia; en este caso, el grado de paralelización que poseen...
Guardado en:
Autores principales: | , , , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
2000
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23663 |
Aporte de: |
id |
I19-R120-10915-23663 |
---|---|
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 circuitos booleanos Relational databases paralelismo Query processing lógica de primer orden |
spellingShingle |
Ciencias Informáticas circuitos booleanos Relational databases paralelismo Query processing lógica de primer orden Gagliardi, Edilma Olinda Herrera, Norma Edith Reyes, Nora Susana Turull Torres, José María Computación paralela de queries expresados con circuitos booleanos |
topic_facet |
Ciencias Informáticas circuitos booleanos Relational databases paralelismo Query processing lógica de primer orden |
description |
Este trabajo se encuadra como una etapa de un proyecto mayor, en el que utilizamos los circuitos booleanos como un modelo teórico adecuado para la expresión de consultas a una base de datos relacional, estudiando diferentes aspectos de relevancia; en este caso, el grado de paralelización que poseen las mismas.
Para ello, consideramos la equivalencia entre lógica de primer orden y una clase restringida de familias de circuitos booleanos. Presentamos cómo transformar una consulta dada a otra equivalente, ambas expresadas en lógica de primer orden, de modo tal que traducida a una subfamilia finita de circuitos booleanos, resulte apropiada para el uso de recursos de paralelismo.
Analizamos la profundidad de los circuitos booleanos. Para ello trabajamos sobre los árboles de expresión de las fórmulas, buscando transformaciones sobre los mismos para lograr mínima profundidad en los circuitos booleanos asociados. |
format |
Objeto de conferencia Objeto de conferencia |
author |
Gagliardi, Edilma Olinda Herrera, Norma Edith Reyes, Nora Susana Turull Torres, José María |
author_facet |
Gagliardi, Edilma Olinda Herrera, Norma Edith Reyes, Nora Susana Turull Torres, José María |
author_sort |
Gagliardi, Edilma Olinda |
title |
Computación paralela de queries expresados con circuitos booleanos |
title_short |
Computación paralela de queries expresados con circuitos booleanos |
title_full |
Computación paralela de queries expresados con circuitos booleanos |
title_fullStr |
Computación paralela de queries expresados con circuitos booleanos |
title_full_unstemmed |
Computación paralela de queries expresados con circuitos booleanos |
title_sort |
computación paralela de queries expresados con circuitos booleanos |
publishDate |
2000 |
url |
http://sedici.unlp.edu.ar/handle/10915/23663 |
work_keys_str_mv |
AT gagliardiedilmaolinda computacionparaleladequeriesexpresadosconcircuitosbooleanos AT herreranormaedith computacionparaleladequeriesexpresadosconcircuitosbooleanos AT reyesnorasusana computacionparaleladequeriesexpresadosconcircuitosbooleanos AT turulltorresjosemaria computacionparaleladequeriesexpresadosconcircuitosbooleanos |
bdutipo_str |
Repositorios |
_version_ |
1764820466077270018 |