Aljabar relasional

Aljabar relasional adalah bagian dari ilmu komputer, cabang dari logika predikat tingkat pertama dan aljabar himpunan, yang menangani suatu set relasi hingga yang memiliki sifat ketertutupan dengan operator-operator tertentu. Operator ini bertindak dengan satu atau lebih relasi untuk menghasilkan suatu relasi (gabungan). Aljabar relasional mulai mendapat perhatian dengan diterbitkannya model relasional data oleh Edgar F. Codd pada tahun 1970 yang mengusulkan untuk menggunakan aljabar ini sebagai dasar dari bahasa kueri basis data.