다음 튜플 관계해석 식에서 기호 ∀가 나타내는 의미는?
{ c | CUSTOMER(c) ∧ ∀p (REQUIRED_PRODUCT(p) → ∃o ORDERED(c, p, o)) }
정답 3번
∀는 전칭 정량자로 ‘모든 것에 대하여’를 뜻한다. 식은 각 고객 c가 모든 필수 상품 p에 대해 주문 관계를 하나 이상 갖는지를 표현하므로 ③이 정답이다.
콘텐츠 정보
- 자료 유형
- 편집복원
- 검수 상태
- 내용 검수 완료
- 해설 작성·검수
- 정처LAB 편집 기준
- 최종 검수
- 2026-08-21