| dbpprop:abstract
|
- 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. A central focus of database theory is on understanding 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. Another focus was on the 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).
- Veritabanı kuramı, veritabanları ve veritabanı yönetim sistemlerine ilişkin araştırma ve çalışmalar bütününün genel adıdır. Kuramsal veri yönetimi; sorgu dilleri, sorguların berimsel karmaşıklığı ve ifade gücü, sonlu model kuramı, veritabanı tasarımı kuramı, bağımlılık kuramı, eşzamanlılık denetimi, veritabanı kurtarma, çıkarsamalı veritabanları, geçici ve uzamsal veritabanları, gerçek zamanlı veritabanları, değişken veri ve olasılıklı veritabanı yönetimi ve Web tabanlı veriyi konu edinmektedir. İlişkisel modelin görece anlaşılabilir bir doğaya sahip oluşu bu kavram üzerinde yapılan araştırmaların yoğunluğunun temel nedenidir. Nesne yönelimli ya da yarı yapısal modeller, örüntü verisi modeli ve XML gibi diğer veri modelleri için elde edilen sonuçlar ilişkisel modelle örtüşmektedir. Veritabanı kuramının odak noktası sorgu dillerinin karmaşıklığı ve ifade gücünü ölçmek ve bu dillerin mantıkla ilişkisini ortaya koymaktır. İlişkisel cebir ve birinci dereceden mantıktan (Codd kuramına göre bu iki kavram eşdeğerdir) başlanarak ve örüntü ile ilintili karmaşık sorguların bu dillerde ifade edilemiyor oluşu göz önüne alınarak mantık programlamaya dayalı güçlü diller konusunda çalışmalar yapılmıştır. Üzerinde çalışılan diğer konular ise sorgu hızlandırma ve veri tümleştirmedir. ACM Veritabanı Sistemleri İlkeleri Sempozyumu (PODS) ve Uluslararası Veritabanı Kuramı Konferansı (ICDT) bu konuya ilişkin başlıca araştırma konferanslarıdır.
- 資料庫理論（Database theory）指資料庫與資料庫管理系統的相關理論與研究。
|
![[RDF Data]](/statics/sw-cube.png)
