データベース理論

データベース理論（データベースりろん、）は、データベースおよびデータベース管理システムの理論的領域の研究に関わる幅広い主題を包含する分野である。

データ管理の理論的側面には、とりわけ、問合せ言語の基礎、問合せの計算量と、有限モデル理論、データベース設計理論、、並行性制御との基礎、演繹データベース、および、、および、Web データが含まれる。

研究の大半は伝統的に関係モデルに基づいてきた。関係モデルは、関心のある最も単純で最も基礎的なモデルとされているためである。オブジェクト指向モデルや、より最近ではグラフデータモデルやXML といった他のデータモデルに関する対応する結果は、しばしば関係モデルの結果から導出される。

データベース理論は問合せ言語の複雑さと表現力、およびそれらと論理との関係の理解に役立つ。関係代数と一階述語論理（両者はによって同値である）から出発し、グラフの到達可能性のような重要な問合せがこの言語では表現できないという知見Aho, A.V. and Ullman, J.D., 1979, January. Universality of data retrieval languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119).を経て、論理プログラミングおよびに基づくより強力な言語（Datalog など）が研究されてきたMaier, D., Tekle, K.T., Kifer, M. and Warren, D.S., 2018. Datalog: concepts, history, and outlook. In Declarative Logic Programming: Theory, Systems, and Applications (pp. 3-100).。理論はまた、やの基礎も探求する。ここでは、制約下でもアルゴリズムを用いた問合せ最適化を可能にするについての研究が最も多く行われている。

この分野の主要な研究会議は（PODS）および（ICDT）である。

データベース理論

Źródło i licencja