Jump to content

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

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

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

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

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

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

См. также [ править ]

Ссылки [ править ]

  1. ^ «Веб-сайт, посвященный теоретическим основам управления данными» .
  2. ^ Ахо, А.В. и Ульман, JD, 1979, январь. Универсальность языков поиска данных. В материалах 6-го симпозиума ACM SIGACT-SIGPLAN по принципам языков программирования (стр. 110-119).
  3. ^ Майер Д., Текле К.Т., Кифер М. и Уоррен Д.С., 2018. Журнал данных: концепции, история и перспективы. В декларативном логическом программировании: теория, системы и приложения (стр. 3–100).

Общие ссылки [ править ]

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: c53a87709b5ea6f95fe3bf2ae7e56eb7__1706615880
URL1:https://arc.ask3.ru/arc/aa/c5/b7/c53a87709b5ea6f95fe3bf2ae7e56eb7.html
Заголовок, (Title) документа по адресу, URL1:
Database theory - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)