Codd의 축소 알고리즘 정보

Codd의 알고리즘 은 튜플 관계형 미적분의 표현을 관계형 대수로 변환합니다.

1. 알고리즘의 표준 구현이 있습니까?
2. 이 알고리즘은 어디서나 사용됩니까? (업계에는 SQL과 변형 만 필요한 것 같습니다. 학계의 데이터베이스 이론가에 대해서는 확실하지 않습니다.)
3. 축소의 복잡성은 무엇입니까?

_{이것은 1 년 전에 SO 에 게시 되었지만 좋은 답변을 얻지 못했습니다.}

이 감소는 (안전한) Tuple Relational Calculus (TRC)라는 하위 집합이 RA (Relational Algebra)보다 표현력이 낮음을 보여주는 건설적인 증명 기술입니다. Safe-TRC와 RA의 표현력도 동일합니다. 예를 들어 정리 5.3.10 을 참조하십시오 . 구문 "안전성"제한은 미적분의 도메인 독립적 특성을 보장하며 필요합니다.

R-DBMS에서 SQL은 TRC에 대한 구체적인 (선언적) 언어로 볼 수 있습니다. RA 대응 항목은 SQL 표현식이 컴파일되는 절차 계획 (작업 순서)입니다. 따라서 변환은 실제로 컴파일 프로세스에 대한 공식적인 설명입니다. SQL에는 DISTINCT, ORDER BY, GROUP BY와 같은 확장이 도입되어 TRC 및 RA 이론의 범위를 벗어납니다.

변환의 정확한 이론적 복잡성을 모르지만 분명히 "저렴"해야합니다. 광자 콜라 염 은 그것이 선형 이라고 말합니다.

이 알고리즘의 개념 증명 구현을 알지 못합니다.