Теория баз данных - Database theory

Эта статья включает в себя список общих Рекомендации, но он остается в основном непроверенным, потому что ему не хватает соответствующих встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Ноябрь 2015) (Узнайте, как и когда удалить этот шаблон сообщения)

Теория баз данных охватывает широкий круг тем, связанных с изучением и исследованием теоретической области базы данных и системы управления базами данных.

Теоретические аспекты управления данными включают, среди прочего, основы языков запросов, вычислительная сложность и выразительная сила запросов, теория конечных моделей, дизайн базы данных теория теория зависимости, основы контроль параллелизма и восстановление базы данных, дедуктивные базы данных, временный и пространственные базы данных, базы данных в реальном времени, управление неопределенные данные и вероятностные базы данных, и веб-данные.

Большинство исследовательских работ традиционно основывались на реляционная модель, поскольку эта модель обычно считается наиболее простой и фундаментальной из интересующих моделей. Соответствующие результаты для других моделей данных, например объектно-ориентированных или полуструктурированные модели, или, в последнее время, графические модели данных и XML, часто выводятся из реляционной модели.^[1]

Основное внимание в теории баз данных уделяется пониманию сложности и мощности языков запросов и их связи с логика. Начиная с реляционной алгебры и логика первого порядка (которые эквивалентны Теорема Кодда ) и понимание того, что важные запросы, такие как достижимость графа невозможно выразить на этом языке, более мощный язык, основанный на логическое программирование и логика фиксированной точки Такие как лог данных были изучены. Еще одно внимание было уделено основам оптимизация запросов и интеграция данных. Здесь изучается больше всего работ конъюнктивные запросы, которые допускают оптимизацию запросов даже при ограничениях с использованием гнаться алгоритм.

Основными исследовательскими конференциями в этой области являются: Симпозиум ACM по принципам систем баз данных (PODS) и Международная конференция по теории баз данных (ICDT).

Смотрите также

• Конъюнктивный запрос
• Выразительная сила

Рекомендации

Общие ссылки

• Абитебул, Серж; Халл, Ричард Б.; Виану, Виктор (1995), Основы баз данных, Эддисон-Уэсли, ISBN  0-201-53771-0
• Дэвид Майер, Теория реляционных баз данных. Авторские права 1983 Дэвид Майер. Доступны на http://web.cecs.pdx.edu/~maier/TheoryBook/TRD.html

внешняя ссылка

• СМИ, связанные с Теория баз данных в Wikimedia Commons