Теория баз данных
![]() | Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( Ноябрь 2015 г. ) |
Теория баз данных охватывает широкий спектр тем, связанных с изучением и исследованием теоретической области баз данных и систем управления базами данных .
Теоретические аспекты управления данными включают, среди прочего, основы языков запросов, вычислительную сложность и выразительную силу запросов, теорию конечных моделей , теорию проектирования баз данных , теорию зависимостей , основы параллельного управления и восстановления баз данных , дедуктивные базы данных , временные и пространственные базы данных , базы данных реального времени , управление неопределенными данными и вероятностные базы данных , а также веб-данные.
Большинство исследовательских работ традиционно основывалось на реляционной модели , поскольку эта модель обычно считается самой простой и фундаментальной моделью, представляющей интерес. Соответствующие результаты для других моделей данных, таких как объектно-ориентированные или полуструктурированные модели или, в последнее время, графовые модели данных и XML , часто можно получить из результатов для реляционной модели. [1]
Теория баз данных помогает понять сложность и мощь языков запросов и их связь с логикой . Начиная с реляционной алгебры и логики первого порядка (которые эквивалентны теореме Кодда ) и понимания того, что важные запросы, такие как достижимость графа, не выражаются на этом языке, [2] были изучены более мощный язык, основанный на логическом программировании и логике фиксированных точек, такой как Datalog . [3] Теория также исследует основы оптимизации запросов и интеграции данных . Здесь большая часть работ посвящена конъюнктивным запросам , которые допускают оптимизацию запросов даже при ограничениях с использованием алгоритма преследования .
Основными исследовательскими конференциями в этой области являются Симпозиум ACM по принципам систем баз данных (PODS) и Международная конференция по теории баз данных (ICDT).
См. также [ править ]
Ссылки [ править ]
- ^ «Веб-сайт, посвященный теоретическим основам управления данными» .
- ^ Ахо, А.В. и Ульман, JD, 1979, январь. Универсальность языков поиска данных. В материалах 6-го симпозиума ACM SIGACT-SIGPLAN по принципам языков программирования (стр. 110-119).
- ^ Майер Д., Текле К.Т., Кифер М. и Уоррен Д.С., 2018. Журнал данных: концепции, история и перспективы. В декларативном логическом программировании: теория, системы и приложения (стр. 3–100).
Общие ссылки [ править ]
- Абитбул, Серж ; Халл, Ричард Б .; Виану, Виктор (1995), Основы баз данных , Аддисон-Уэсли, ISBN 0-201-53771-0
- Дэвид Майер , Теория реляционных баз данных. Авторские права принадлежат Дэвиду Майеру, 1983 г. Доступно по адресу http://web.cecs.pdx.edu/~maier/TheoryBook/TRD.html.
Внешние ссылки [ править ]
СМИ, связанные с теорией баз данных , на Викискладе?