튜플 관계형 미적분학
-
19-09-2019 - |
문제
안전한 튜플 관계형 미적분학은 튜링 완전한 언어입니까?
해결책
안전을 잊어 버리자. 에 의해 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의 경로가 있음을 의미합니다.
보다 설명 복잡성 다른 논리의 강점에 대한 설명을 위해.
제휴하지 않습니다 StackOverflow