Análisis semántico de lenguajes de consulta

DirectorMENA NIETO, EDUARDO
Titulaciones
Duracion6 meses
LugarLab L1.03a (Edif. Ada Byron)
Fecha Alta2016-05-26
Fecha Baja2017-05-26
ResumenA la hora de desarrollar sistemas de información, detectar consultas de datos que pueden ser incorrectas en tiempo de desarrollo es realmente importante. En los actuales lenguajes de consulta (SQL, SPARQL, XPATH, …) se tienen en cuenta principalmente que la consulta sea sintácticamente correcta a la hora de enviarla al motor de búsqueda para ser procesada. El objetivo de este TFM es estudiar el modelado de lenguajes de consulta extendiendo el análisis sintáctico-semántico de las consultas mediante el uso de anotaciones basadas en lenguajes de Lógicas Descriptivas (Description Logics - DL). Dichas anotaciones semánticas permitirían evaluar si una consulta escrita en un lenguaje de consulta tiene sentido con respecto al modelo/esquema que se consulta. Mediante el uso de ontologías y razonadores DL, permitirá capturar y detectar violaciones de restricciones que de otra manera se escapan a los lenguajes de consulta actuales por expresividad (ej., restricciones de alto nivel en el entidad-relación que luego en el relacional no se implementan de manera directa como el disjointness entre tablas/conceptos). También se estudiará cómo utilizar dicho análisis semántico de las consultas para realizar un mecanismo para detectar inconsistencias y curar los datos en distintos repositorios. Como casos de uso, se tomarían dos ejemplos que sirvieran de demostrador del análisis semántico: SQL y XPATH. Se contempla que los resultados de esta TFM se envien a distintos foros internacionales para su evaluación y difusión.
Detalles/Contactoemena@unizar.es
Volver