İlişki cebiri ile ilişkisel cebir arasındaki farklar netleşiyor

Bilgisayar bilimleri ve mantık dünyasında sıklıkla birbirine karıştırılan ilişki cebiri ile ilişkisel cebir kavramları, benzer isimlerine rağmen temelde farklı matematiksel yapılara dayanıyor. Ted Codd tarafından 1970'li yıllarda temelleri atılan ilişkisel cebir, modern ilişkisel veri tabanlarının kuramsal temelini oluşturuyor. Codd teoremi uyarınca bu yapı, birinci dereceden mantık sorgularının belirli bir alt kümesine denk gelen alandan bağımsız ilişkisel kalkülüs ile eşdeğer kabul ediliyor.

Öte yandan ilişki cebiri, soyut matematik ve biçimsel mantık disiplinlerinde aksiyomlarla tanımlanan ikili ilişkiler cebirine dayanıyor. Alfred Tarski'nin çalışmalarıyla derinleşen bu cebirsel yapı, değişken sayısını üç ile sınırlayan FOL^3 mantığına denk düşüyor. İki kavram arasındaki yazım benzerliği, aralarında Wikipedia ve çeşitli teknik yayınların da bulunduğu pek çok kaynakta uzun süredir terim karmaşasına yol açıyordu.

İlişki cebiri yalnızca soyut matematikle sınırlı kalmayıp yazılım doğrulama araçlarından Alloy ve biçimsel yöntemlerde aktif biçimde kullanılıyor. Son yıllarda veri tabanı teorisine de uyarlanan bu yapı, Dirk Van Gucht ve çalışma arkadaşlarının geliştirdiği Prela gibi özgün sorgu dillerinin temelini oluşturuyor. Araştırmacılar, bu iki yapının ayrışması için Tarski'nin ilişki cebirinin bağımsız bir çerçevede ele alınması gerektiğini belirtiyor.