La teoría de bases de datos encapsula 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 , temporales y espaciales . bases de datos , bases de datos en tiempo real , gestión de datos inciertos y bases de datos probabilísticas , y datos web.
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. [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 . A partir 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] un lenguaje más potente basado en programación lógica y lógica de punto fijo como Datalog fueron estudiados. [3] La teoría también explora los fundamentos de la optimización de consultas y la integración de datos . Aquí la mayor parte del trabajo estudió 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 la teoría de bases de datos en Wikimedia Commons