La teoría de bases de datos abarca una amplia gama de temas relacionados con el estudio y la investigación del ámbito teórico de las bases de datos y los sistemas de gestión de bases de datos .
Los aspectos teóricos de la gestión de datos incluyen, entre otras áreas, los fundamentos de los lenguajes de consulta, la complejidad computacional y el poder expresivo de las consultas, la teoría de modelos finitos , la teoría del diseño de bases de datos , la teoría de la dependencia , los fundamentos del control de concurrencia y la recuperación de bases de datos, las bases de datos deductivas , las bases de datos temporales y espaciales , las bases de datos en tiempo real , la gestión de datos inciertos y bases de datos probabilísticas , y los datos web.
La mayor parte 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 , suelen derivarse de los del modelo relacional. [1]
La teoría de bases de datos ayuda a comprender la complejidad y el poder de los lenguajes de consulta y su conexión con la lógica . Partiendo del álgebra relacional y la lógica de primer orden (que son equivalentes según el teorema de Codd ) y la idea de que consultas importantes como la accesibilidad de gráficos no se pueden expresar en este lenguaje, [2] se estudiaron lenguajes más potentes basados en la programación lógica y la lógica de punto fijo como Datalog . [3] La teoría también explora los fundamentos de la optimización de consultas y la integración de datos . Aquí la mayoría de los trabajos estudiaron consultas conjuntivas , que admiten la optimización de consultas 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).
Medios relacionados con Teoría de bases de datos en Wikimedia Commons