Buscar
Mostrando ítems 1-10 de 43
A General procedure to test conjunctive query containment
(2001)
Resumo
En esta tesis se presenta un procedimiento sintáctico que permite comprobar si una consulta Q esta incluida en otra consulta Q', Para ello se consideran los dos siguientes factores.
La presencia de ...
Modelizaciones elásticas y plásticas e inestabilidad de elementos estructurales verticales de fábrica
(2001)
[Resumen]
La tesis pasa revista a los diferentes métodos de validación de las estructuras de fábricas propuestos por diversos autores. Desarrolla la justificación teórica del Método de la Sección Eficaz como caso ...
Revisión del catálogo sísmico gallego
(2001)
[Resumen]Todo estudio sobre sismicidad de una determinada zona geográfica necesita basarse en
un catálogo sísmico lo más exhaustivo y exacto posible. De éste dependerán, en
consecuencia, la bondad de los resultados ...
Las barras huecas de madera en la construcción de estructuras espaciales
(2001)
[Resumen]
La tesis doctoral se centra en el desarrollo de los siguientes aspectos básicos para la construcción de una malla espacial de madera:
En primer lugar, partiendo de los trabajos iniciales recogidos ...
Los genuinos delitos socioeconómicos de consumidores
(2001)
[Resumen]El trabajo analiza los genuinos delitos socio-economicos de consumidores, partiendo
de la determinacion de los intereses juridicos de los consumidores y usuarios,
para analizar la tutela extrapenal de estos ...
Chase of datalog programs and its application to solve the functional dependencies implication problem
(2001)
[Resumen]Esta tesis presenta resultados en dos áreas principales. Por un lado
se presentan resultados en el área de optimización de consultas recursivas
(programas datalog recursivos lineales) en sistemas de gestión de ...
A logical model of information retrieval based on propositional logic and belief revision
(2001)
[Resumen]
En esta tesis se propone un modelo lógico para modelar el problema de Recuperación de Información RI, A partir un formalismo básico se han formalizado varias tareas clásicas de RI, estudiado sus costes ...