Теория баз данных охватывает широкий спектр тем, связанных с изучением и исследованием теоретической области баз данных и систем управления базами данных .
Теоретические аспекты управления данными включают, среди прочего, основы языков запросов, вычислительную сложность и выразительную силу запросов, теорию конечных моделей , теорию проектирования баз данных , теорию зависимостей , основы параллельного управления и восстановления баз данных, дедуктивные базы данных , временные и пространственные базы данных , базы данных реального времени , управление неопределенными данными и вероятностные базы данных , а также веб-данные.
Большинство исследовательских работ традиционно основывалось на реляционной модели , поскольку эта модель обычно считается самой простой и фундаментальной моделью, представляющей интерес. Соответствующие результаты для других моделей данных, таких как объектно-ориентированные или полуструктурированные модели или, в последнее время, графовые модели данных и XML , часто можно получить из результатов для реляционной модели. [1]
Теория баз данных помогает понять сложность и мощь языков запросов и их связь с логикой . Начиная с реляционной алгебры и логики первого порядка (которые эквивалентны теореме Кодда ) и понимания того, что важные запросы, такие как достижимость графа, невыразимы на этом языке, [2] более мощный язык, основанный на логическом программировании и логике фиксированных точек , такой как Datalog были изучены. [3] Теория также исследует основы оптимизации запросов и интеграции данных . Здесь большая часть работ посвящена конъюнктивным запросам , которые допускают оптимизацию запросов даже при ограничениях с использованием алгоритма преследования .
Основными исследовательскими конференциями в этой области являются Симпозиум ACM по принципам систем баз данных (PODS) и Международная конференция по теории баз данных (ICDT).