Gelen bilgisayar bilimleri , veritabanı teorisi teorik alandaki çalışmalara ve araştırmalara ilişkin konularda geniş bir yelpazede kapsar veritabanlarının ve bunların yönetim sistemleri .
Veritabanı yönetiminin teorik yönleri arasında, diğerlerinin yanı sıra, sorgu dillerinin temelleri , karmaşıklık , sorguların ifade gücü, sonlu model teorisi , bağımlılık kontrolü , eşzamanlılık kontrolünün temelleri , yedekleme ve geri yükleme, geçici veritabanları , tümdengelimli (giriş) , mekansal , olasılıklı (giriş) , belirsiz verileri (giriş) yönetme ve Web verileri.
Bu model genellikle en basit ve en temel model olarak kabul edildiğinden, çalışma geleneksel olarak ilişkisel modele dayanır . Uzantı veya genelleme yoluyla, nesne yönelimli veya yarı yapılandırılmış (içinde) şablonlar veya veri modelleri ve dil XML'deki grafikler gibi diğer veri modellerine karşılık gelen sonuçlar elde edilir .
Veritabanı teorisinin ana teması, sorgu dillerinin karmaşıklığını ve ifade gücünü ve bunların mantıkla olan bağlantılarını anlamaktır . Başlangıç noktaları ilişkisel cebir ve Codd teoremine göre eşdeğer olan birinci dereceden mantıktır . Bu bağlamda grafiklerde erişilebilirlik gibi önemli talepler ifade edilemez; veri günlüğü gibi mantık programlamaya dayalı daha güçlü diller incelenmiştir. İlgi duyulan diğer bir konu, sorgu optimizasyonu ve veri entegrasyonunun temelleri ile ilgilidir . Bu alanda, çalışmalar esas olarak , kısıtlamalar altında bile bir optimizasyonu kabul eden ve Chase algoritmasını (en) kullanan birleşik sorgulara (en) odaklanmaktadır .
Bu alandaki ana bilimsel konferanslar, ACM Veritabanı Sistemleri İlkeleri Sempozyumu (PODS) ve Uluslararası Veritabanı Teorisi Konferansıdır (ICDT).