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