Veritabanı teorisi
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.