Codd azaltma algoritması hakkında

Codd Algoritması , ilişkisel analizdeki bir ifadeyi İlişkisel Cebire dönüştürür.

1. Algoritmanın standart bir uygulaması var mı?
2. Bu algoritma herhangi bir yerde kullanılıyor mu? (Görünüşe göre endüstrinin sadece SQL ve varyantlara ihtiyacı var, akademideki veritabanı teorisyenlerinden emin değilim.)
3. İndirgemenin karmaşıklığı nedir?

_{Bu SO üzerinde bir yıl önce yayınlanmıştır, ancak iyi bir cevap almamıştır.}

Bu azaltma, bir alt kümenin (güvenli olarak adlandırılır) Tuple İlişkisel Kalkülüsünün (TRC) İlişkisel Cebir'den (RA) daha az anlamlı olduğunu gösteren yapıcı kanıt tekniğidir. Diğer yol da doğru olduğunda, Safe-TRC ve RA'nın eşdeğer ifade gücü vardır. Örneğin Teorem 5.3.10'a bakınız . Sözdizimsel "güvenlik" kısıtlaması, analizin alandan bağımsız özelliğini sağlar ve gereklidir.

R-DBMS'de SQL, TRC için somut (bildirimsel) bir dil olarak görülebilir. RA karşılığı, bir SQL ifadesinin derlendiği prosedürel plandır (bir dizi işlem). Yani, dönüşüm aslında derleme sürecinin resmi açıklamasıdır. SQL, DICINCT, ORDER BY, GROUP BY gibi TRC ve RA teorisinin kapsamı dışında olan uzantılar getirdiğini unutmayın.

Dönüşümün kesin teorik karmaşıklığını bilmiyorum, ama açıkça "ucuz" olması gerekiyor. Foton Kolaitis lineer olduğunu belirtir.

Bu algoritmanın bir kavram kanıtı uygulamasının farkında değilim.