Teoría de bases de datos
Teoría de bases de datos encapsula una amplia gama de temas relacionados con el estudio e investigación del ámbito teórico de bases de datos y sistemas de gestión de bases de datos.
Los aspectos teóricos de la gestión de datos incluyen, entre otras esferas, las bases de los idiomas de consulta, la complejidad computacional y el poder expresivo de las consultas, la teoría del modelo finito, la teoría del diseño de bases de datos, la teoría de dependencia, las bases de datos de control de concurrencia y recuperación de bases de datos, bases de datos deductivas, bases de datos temporales y espaciales, bases de datos en tiempo real, la gestión de datos inciertos y bases de datos probabilistas y datos y datos.
La mayoría de los trabajos de investigación se han basado tradicionalmente en el modelo relacional, ya que este modelo suele considerarse el modelo de interés más simple y fundamental. Los resultados correspondientes para otros modelos de datos, como los modelos orientados a objetos o semiestructurados o, más recientemente, los modelos de datos gráficos y XML, a menudo se pueden derivar de los del modelo relacional.
La teoría de bases de datos ayuda a comprender la complejidad y el poder de los idiomas de consulta y su conexión con la lógica. Partiendo del álgebra relacional y la lógica de primer orden (que son equivalentes por el teorema de Codd) y la percepción de que importantes consultas como la capacidad de llegar a gráficos no son expresables en este idioma, un lenguaje más poderoso basado en la programación lógica y la lógica del punto de referencia, como datalog fueron estudiados. La teoría también explora las bases de la optimización de consultas e integración de datos. Aquí la mayoría de los trabajos estudiaron consultas conjuntivas, que admiten la optimización de la consulta incluso bajo restricciones utilizando el algoritmo de persecución.
Las principales conferencias de investigación en el área son el Simposio ACM sobre Principios de Sistemas de Bases de Datos (PODS) y la Conferencia Internacional sobre Teoría de Bases de Datos (ICDT).