Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación

En esta memoria hacemos contribuciones dentro del campo de los lenguajes de bases de datos. Nos hemos propuesto tres objetivos fundamentales: 1. Mejorar la expresividad de los lenguajes de bases de datos actuales. 2. Desarrollar semánticas formales para nuestras propuestas de lenguajes de bases de datos extendidos. 3. Llevar a cabo la implementación de las semánticas anteriores en sistemas de bases de datos prácticos. Hemos conseguido estos tres objetivos en distintas áreas dentro de las bases de datos. Por un lado, en el campo de las bases de datos deductivas, proponemos HH:(C). Este lenguaje extiende las capacidades de los lenguajes de bases de datos deductivos con restricciones dado que permite consultas hipotéticas y cuanti cación universal. Por otro lado, utilizamos el estudio dentro de las bases de datos deductivas y lo aplicamos a las bases de datos relacionales. En concreto proponemos HR-SQL que incorpora consultas hipotéticas y de niciones recursivas no lineales y mutuamente recursivas. La idea tras esta propuesta es superar algunas limitaciones expresivas del lenguaje estándar de de nición de bases de datos SQL. A continuación introducimos ambas aproximaciones. Las fórmulas de Harrop hereditarias con restricciones, HH(C), se han usado como base para lenguajes de programación lógica con restricciones. Al igual que la programación lógica da soporte a lenguajes de bases de datos deductivas como Datalog (con restricciones), este marco se usa como base para un sistema de bases de datos deductivas que mejora la expresividad de los sistemas aparecidos hasta el momento. En el segundo capítulo de esta memoria se muestran los resultados teóricos que fundamentan el lenguaje HH:(C) y una implementación concreta de este esquema que demuestra la viabilidad y expresividad del esquema. Las principales aportaciones con respecto a Datalog son la incorporación de la implicación intuicionista, que permite formular hipótesis, y el uso de cuanti cadores incluso en el lenguaje de restricciones. El sistema está diseñado de forma que soporta diferentes sistemas de restricciones. La implementación incluye varios dominios concretos y también funciones de agregación y restricciones de integridad que son habituales en otros lenguajes de bases de datos relacionales. El signi cado del lenguaje se de ne mediante una semántica de pruebas y el mecanismo operacional se de ne mediante una sem ánica de punto jo que es correcta y completa con respecto a la primera. Para el cómputo de las consultas hipotéticas y de las funciones de agregación se hace uso de una noción de estrati cación más compleja que la que usa Datalog. La semántica de punto jo desarrollada constituye un marco apropiado que lleva a la implementación de un sistema concreto...

La implementación de un modelo de Proyecto Emprendedor Grupal de Aula, fomentando el uso de las nuevas tecnologías y el desarrollo de competencias transversales y emprendedoras aplicadas al campo profesional.

Utilizar el Proyecto Emprededor de Aula como una fuente de aprendizaje y emprendimiento entre los jóvenes dentro del aula.

Ángeles López de Ayala (1858-1926): icono del librepensamiento en la España de entre siglos

Durante las dos últimas décadas del siglo XIX y las primeras del XX, España fue escenario de diferentes proyectos políticos y sociales asociados al republicanismo y las ideologías de izquierdas. Sus promotores hablaban de conseguir la regeneración del país mediante la reorganización de la sociedad. Se trataba, según ellos, de sacar al país del atraso en el que se encontraba y de acercarlo a aquellos países en los que el progreso se había impuesto a las fuerzas partidarias de mantener las viejas y caducas estructuras sociales y regímenes políticos. Entre estos grupos progresistas el discurso dominante era el de un cambio social y político radical. Volvían con nostalgia su mirada hacia atrás, teniendo como modelo la Primera República y sus ideales, y aspiraban a implantar la Segunda República. Su discurso anticlerical y antimonárquico promovía una revolución social y política, que cambiase totalmente el país en todos sus aspectos: costumbres, política, educación, y también que reinventase las relaciones de género, y redefiniese el papel de la mujer en la nueva sociedad...

Detection and assessment of electrocution in endangered raptors by infrared thermography

BACKGROUND Most European birds of prey find themselves in a poor state of conservation, with electrocution as one of the most frequent causes of unnatural death. Since early detection of electrocution is difficult, treatment is usually implemented late, which reduces its effectiveness. By considering that electrocution reduces tissue temperature, it may be detectable by thermography, which would allow a more rapid identification. Three individuals from three endangered raptor species [Spanish imperial eagle (Aquila adalberti), Lammergeier (Gypaetus barbatus) and Osprey (Pandion haliaetus)] were studied thermographically from the time they were admitted to a rehabilitation centre to the time their clinical cases were resolved. CASES PRESENTATION The three raptors presented lesions lacking thermal bilateral symmetry and were consistent with electrocution of feet, wings and eyes, visible by thermography before than clinically; lesions were well-defined and showed a lower temperature than the surrounding tissue. Some lesions evolved thermally and clinically until the appearance of normal tissue recovered, while others evolved and became necrotic. A histopathological analysis of a damaged finger amputated off a Lammergeier, and the necropsy and histopathology examination of an osprey, confirmed the electrocution diagnosis. CONCLUSIONS These results suggest that thermography is effective and useful for the objective and early detection and monitoring of electrocuted birds, and that it may prove especially useful for examining live animals that require no amputation or cannot be subjected to invasive histopathology.

Assessment of virulence factors characteristic of human Escherichia coli pathotypes and antimicrobial resistance in O157:H7 and non-O157:H7 isolates from livestock in Spain

The distribution of virulence factors (VFs) typical of diarrheagenic Escherichia coli and the antimicrobial resistance (AMR) profiles were assessed in 780 isolates from healthy pigs, broilers, and cattle from Spain. VF distribution was broader than expected, although at low prevalence for most genes, with AMR being linked mainly to host species.

Is Spain Different? Innovation systems in the long-term development of the tourism sector. The IBEROSTAR case study.

Tourism is a highly competitive sector which is characterized by permanent transformation. Therefore, tourism firms depend largely on innovation to adapt themselves and compete, ensuring their survival and competitiveness. Despite research on innovation concludes that tourism firms are in most cases only moderately innovative, there are outstanding exceptions in specific fields and destinies. Spain, which is an unquestionable leader in tourism, constitutes one of them. In fact, Spanish tourism firms have shown a strong innovation capacity. They have improved and diversified their products thus meeting the requirements of a changing demand. This raises the need to properly understand how and why innovation takes place and who is involved in such a process. This paper aims to address these questions through the case study of one of the largest Spanish hospitality firms. The long history of Iberostar Group confirms that family firms and the networks they provide, along with environments that foster competition as was the case of the Spanish tourism industry, are important determinants of innovation particularly in a late-developed country.