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