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...

Tratamiento endoscópicamente asistido de la sinostosis sagital precoz (escafocefalia)

La sinostosis sagital precoz o escafocefalia es la forma más frecuente de craneosinostosis. Se produce por el cierre prematuro de la sutura sagital lo que da lugar a un cráneo alargado en su diámetro anteroposterior. El término escafocefalia fue acuñado por Baer en 1860, y significa cabeza en forma de quilla o bote (gr. σκαφοζ, barco), lo que describe a la perfección las deformidades presentes en estos pacientes: una cabeza alargada en su diámetro anteroposterior, con estrechamiento del diámetro biparietal y abombamientos compensadores frontales y occipitales. Su incidencia se calcula en torno a uno de cada 2000 a 3000 recién nacidos vivos con una proporción de 3,5 a 1 entre varones y mujeres. Aproximadamente el 72 % de los casos son de tipo esporádico aunque se ha observado agregación familiar en un 6% de los pacientes afectados. Se acepta que la causa de las craneosinostosis simples es multifactorial, con un origen heterogéneo desde el punto de vista etiológico y distintos procesos fisiopatológicos que pueden confluir en su desarrollo. Se postula que las craneosinostosis no sindrómicas tienen un componente genético, con interacciones entre genes y factores ambientales que aún no se conocen en su totalidad. Junto a factores mecánicos (como la restricción del movimiento fetal, compresiones por gestaciones múltiples, anomalías anatómicas uterinas...), se reconocen causas relacionadas con trastornos en la hidrodinámica del LCR (mielomeningocele, derivaciones ventriculoperitoneales en el tratamiento de la hidrocefalia), teratógenos o malformaciones del SNC que limitan la expansión de las vesículas telencefálicas (holoprosencefalia, microcefalia...)...