Busque entre los 155959 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-11-05T16:10:40Z | |
dc.date.available | 2012-11-05T16:10:40Z | |
dc.date.issued | 2000-10 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/23663 | |
dc.description.abstract | 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. | es |
dc.language | es | es |
dc.subject | circuitos booleanos | es |
dc.subject | Relational databases | es |
dc.subject | paralelismo | es |
dc.subject | Query processing | es |
dc.subject | lógica de primer orden | es |
dc.title | Computación paralela de queries expresados con circuitos booleanos | es |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Gagliardi, Edilma Olinda | es |
sedici.creator.person | Herrera, Norma Edith | es |
sedici.creator.person | Reyes, Nora Susana | es |
sedici.creator.person | Turull Torres, José María | es |
sedici.description.note | Área: Informática Teórica - Inteligencia Artificial - Lenguajes - Compiladores | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 2000-10 | |
sedici.relation.event | VI Congreso Argentino de Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |