Resumen: Las bases de datos en grafos (graph databases -GDBs-) son bases de datos en las que la información que contienen está organizada en un grafo, lo que es muy importante cuando la topología de los datos es tan importante como los propios datos. Aunque se puede considerar que CODASYL es el primer modelo de GDB, lo cierto es que estas bases de datos, tal como se entienden hoy en día, adquieren su importancia en el primer decenio del 2000. Sin embargo, aunque uno de los aspectos que han contribuido al éxito de las bases de datos relacionales ha sido su fundamentación lógica y algebraica, este tipo de fundamentación está prácticamente ausente en las GDBs desde entonces.

En esta conferencia presentaremos un marco lógico para las GDBs, gracias al cual, además de poder estudiar la semántica de los lenguajes de queries, hemos podido estudiar diversas extensiones como son la definición de esquemas incluyendo herencia, tanto a nivel de las clases de objetos (nodos del grafo), como de aristas y caminos o la definición de propiedades de caminos, permitiendo que los caminos pasen a ser ciudadanos de primera clase.

Dr. en Matemáticas (Univ. Complutense) desde 1980 y Catedrático en el área de Lenguajes y Sistemas Informáticos, desde 1987. Su trabajo se ha centrado, sobre todo, en el estudio de aspectos teóricos ligados al desarrollo de software. Especialmente, en temas relacionados con la especificación y modelización de software, la programación lógica, la transformación de grafos y, últimamente, las bases de datos en grafos. Alrededor de estos temas ha participado o dirigido proyectos de investigación españoles y europeos, en cuyo ámbito ha dirigido 12 tesis doctorales y publicado unos 150 trabajos. Por su trayectoria investigadora, en 2016 recibió el Premio Nacional de Informática "José García Santesmases”.