Введение
Теоретическая область баз данных и систем управления базами данных. Теория баз данных охватывает широкий спектр тем, связанных с изучением и исследованием теоретической области баз данных и систем управления базами данных. Теоретические аспекты управления данными включают, в частности, основы языков запросов, вычислительную сложность и выразительную силу запросов, теорию конечных моделей, теорию проектирования баз данных, теорию зависимостей, основы управления параллелизмом и восстановления баз данных, дедуктивные базы данных, временные и пространственные базы данных, базы данных реального времени, управление неопределенными данными и вероятностными базами данных, а также веб-данные. Большинство исследований традиционно основывалось на реляционной модели, поскольку она обычно считается наиболее простой и фундаментальной моделью, представляющей интерес. Соответствующие результаты для других моделей данных, таких как объектно-ориентированные или полуструктурированные модели, или, в последнее время, графовые модели данных и XML, часто выводятся из результатов для реляционной модели. Теория баз данных помогает понять сложность и мощность языков запросов и их связь с логикой. Начиная с реляционной алгебры и логики первого порядка (которые эквивалентны согласно теореме Кодда) и понимания того, что важные запросы, такие как достижимость в графе, не могут быть выражены на этом языке, изучались более мощные языки, основанные на логическом программировании и логике неподвижных точек, такие как Datalog. Теория также исследует основы оптимизации запросов и интеграции данных. В этой области большинство работ посвящено конъюнктивным запросам, которые допускают оптимизацию запросов даже при наличии ограничений с использованием алгоритма «погони». Основными исследовательскими конференциями в этой области являются Симпозиум ACM по принципам систем баз данных (PODS) и Международная конференция по теории баз данных (ICDT).
Database theory encapsulates a broad range of topics related to the study and research of the theoretical realm of databases and database management systems. Theoretical aspects of data management include, among other areas, the foundations of query languages, computational complexity and expressive power of queries, finite model theory, database design theory, dependency theory, foundations of concurrency control and database recovery, deductive databases, temporal and spatial databases, real time databases, managing uncertain data and probabilistic databases, and Web data. Most research work has traditionally been based on the relational model, since this model is usually considered the simplest and most foundational model of interest. Corresponding results for other data models, such as object oriented or semi structured models, or, more recently, graph data models and XML, are often derivable from those for the relational model. Database theory helps one to understand the complexity and power of query languages and their connection to logic. Starting from relational algebra and first order logic (which are equivalent by Codd's theorem) and the insight that important queries such as graph reachability are not expressible in this language, more powerful language based on logic programming and fixpoint logic such as Datalog were studied. The theory also explores foundations of query optimization and data integration. Here most work studied conjunctive queries, which admit query optimization even under constraints using the chase algorithm. The main research conferences in the area are the ACM Symposium on Principles of Database Systems (PODS) and the International Conference on Database Theory (ICDT).
Общие ссылки
Дэвид Майер, Теория реляционных баз данных. © 1983 Дэвид Майер. Доступно по адресу http://web.cecs.pdx.edu/~maier/TheoryBook/TRD.html