도메인 관계해석(Domain Relational Calculus)
행 전체를 변수로 삼는 대신, '나이', '이름' 같은 개별 속성(열)의 값 하나하나를 변수로 두고 그 값들이 만족해야 할 조건을 논리식으로 표현하는 관계해석의 한 방식입니다.
한눈에 보는 정의
도메인 관계해석(Domain Relational Calculus)은 행 전체를 변수로 삼는 대신, 개별 속성(열)의 값 하나하나를 변수로 두고 그 값들이 만족해야 할 조건을 논리식으로 표현하는 관계해석(Relational Calculus) (관계해석)의 한 방식입니다.
자세히 알아보기
- 예문: "'이름이 n이고 나이가 a인데, a가 20 이상이다'처럼 속성 값 하나하나를 변수 n, a로 나눠 표현하는 것이 도메인 관계해석이다."
- 튜플 관계해석(Tuple Relational Calculus) (튜플 관계해석)가 행 전체를 하나의 변수로 다루는 것과 달리, 도메인 관계해석은 속성 각각을 별도의 변수로 다뤄 더 세밀한 표현이 가능합니다.
- 이런 세밀함 때문에 조건식이 다소 길어질 수 있지만, 필요한 속성만 정확히 짚어 조건을 기술할 수 있다는 장점이 있습니다.
- 두 관계해석 방식 모두 수학적으로 같은 표현력을 가진 것으로 증명되어 있어, 어떤 방식을 쓰든 결과적으로 같은 질의를 표현할 수 있습니다.