Bağıntısal cebir

Bağıntısal cebir, cebirin bağıntılar üzerine yoğunlaşıp birinci düzey mantığı kullanan bir dalıdır. Bilgisayar bilimlerinde ve özellikle veritabanı kuramlarında uygulamalarına rastlanır.