En informatique, la théorie des bases de données englobe un vaste ensemble de sujets relatifs aux études et recherches dans le domaine théorique des bases de données et de leur systèmes de gestion.
Les aspects théoriques de la gestion des bases de données incluent entre autres les fondements des langages de requêtes, la complexité, la puissance d'expression des requêtes, la théorie des modèles finis, le contrôle de dépendance, les fondements du contrôle de concurrence, la sauvegarde et restauration, les bases de données temporelles, , spatiales, , la gestion de , et les données du Web.
Les travaux sont basés traditionnellement sur le modèle relationnel, car ce modèle est considéré généralement comme le plus simple et le plus fondamental. Par extension ou généralisation, on obtient des résultats qui correspondent à d'autres modèles de données, comme les modèles orientés objet ou , ou des modèles de données en graphes et le langage XML.
Un thème central de la théorie des bases de données est de comprendre la complexité et la puissance d'expression des langages de requête et leur connexion avec la logique. Les points de départ sont l'algèbre relationnelle et la logique du premier ordre qui, par le théorème de Codd, sont équivalents. Dans ce cadre, des requêtes importantes comme l'accessibilité dans les graphes ne peuvent pas être exprimées ; des langages plus puissants basés sur la programmation logique, tels que datalog, ont été étudiés. Un autre sujet d'intérêt concerne les fondements de l'optimisation de requêtes et de l'intégration de données. Dans ce domaine, les études portent surtout sur les qui admettent une optimisation même sous contraintes, en utilisant l'.
Les conférences scientifiques principales dans ce domaine sont le ACM Symposium on Principles of Database Systems (PODS) et la International Conference on Database Theory (ICDT).
Jacky Akoka et Isabelle Comyn-Wattiau, Conception des bases de données relationnelles en pratique, Vuibert 2001.
Langage de requête
Logique du premier ordre
Graphe conceptuel