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.