튜플 관계형 미적분학

Question

안전한 튜플 관계형 미적분학은 튜링 완전한 언어입니까?

Answer 1

안전을 잊어 버리자. 에 의해 Codd의 정리, 관계형 미적분학은 1 차 논리와 동일합니다. Foll은 매우 제한되어 있으며 일부 그래프에서 A 지점에서 B 지점 B로 경로가 있다는 사실을 표현할 수 없습니다 (예를 들어 A 지점에서 지점 B 로의 경로가 제한된 길이가 있다는 사실을 표현할 수 있습니다. x ∃y ∃z ∃z ∃t 경로 (a, x) 및 경로 (x, y) 및 Route (y, z) 및 Route (z, t) 및 Route (t, b)는 길이 4의 경로가 있음을 의미합니다.

보다 설명 복잡성 다른 논리의 강점에 대한 설명을 위해.

Answer 2

에 따르면 Codd의 정리, 관계 대수와 관계형 미적분학은 동일합니다. 관계형 대수가 완전하지 않으므로 관계형 미적분학도 아님은 잘 알려져 있습니다.

편집하다 예를 들어, 집계 작업 (예 : Sum, Max)을 수행하거나 관계형 대수/미적분학에서 재귀 쿼리를 할 수는 없습니다. 보다 여기 (끝 근처).