Teoría de la computación y bases de datos

Abstract

En nuestro trabajo estudiamos las consultas a bases de datos, o queries, usando como marco teórico la Teoría de Modelos Finitos ([AHV95] y [EF95]), con el objetivo de contribuir a la construcción de una Teoría de Bases de Datos que, por una parte, abarque en la forma más completa posible las aplicaciones reales y por otra parte, que admita la consideración de problemas en la computación de queries y en la estructura de las bases de datos que puedan surgir de la utilización de nuevas tecnologías en la materia, como las bases de datos distribuidas.