2026 소프트웨어 공학 이론서 재질문 드립니다.

[전현진]

p 646 쪽에, 

# 이 성립하려면, 부장 "또는(OR)" 사원 이어야 한다.

를

# -> 부장, # -> 사원

으로

나타낸 이 부분이 이해가 안됩니다. 

R 관계의 경우, 
A -> B 를 그린다면, A가 참일 때, B가 참이여아 한다는 의미로 이해하고 있습니다. 

그래서

A -> B 와 A -> C 2개를 그린다면,

A가 참일 때, B도 참 "그리고( AND )" C 도 참이다.

로

해석해야 맞는 것 같아서요. 

문제에서 보면,

# 으로 부터 부장, 사원에 각각 화살표가 연결 되어 있으니, 
# 이 성립하려면, 부장 "그리고(AND)" 사원 이어야 한다. 라고 해석이 되는 거 같은데, 
왜 

# 이 성립하려면, 부장 "또는(OR)" 사원 이어야 한다.

라고

해석하신지가 궁금합니다.

오히려 또는(OR) 로 해석하려면,

#으로 부터 부장, 사원에 각각 화살표가 연결되는게 아니라, 
#으로 부터 구성원 노드(부장과 사원을 V로 합친 노드) 에 화살표 하나를 연결하는게 맞는 것 같아서요.

#으로 부터 구성원 노드에 화살표 하나를 연결하면,

#이 성립하려면 구성원이어야 한다. 이고, 구성원은 부장 "또는" 사원이니까

의미상 이게 맞는 거 같다고 생각이 들어서 질문드립니다.

저 그래프가 여러 책들과 기출에 나오던데, 이해가 안됩니다. ㅠㅠ 

제가 어느 부분을 놓치고 있는지 모르겠습니다 ㅠㅠ 

[홍재연]

A--->B--->C처럼 연속적이면 AND

A--->B
A--->C는 OR

[전현진]

아.
R 이나 M 처럼 원인/결과 노드들 간의 조건 관계는 한 노드에서 연속적이지 않게 여러 노드를 제약하면 OR로 해석한다는 말씀이신가요?

[홍재연]

그렇습니다.
여자이면서 남자일 수는 없습니다.

[전현진]

노드a가 지역이고,
노드b가 성별인데,
노드c가 나이라고 하면,

이문제에서 #이 교수, 학생을 각각 가리키는 것처럼
c가 a, b를 각각 가리킬때도 or로 해석을 해야하나요?

정답이 없는거에 정답을 찾는건지 참 어렵습니다ㅠㅠ

[전현진]

죄송합니다. 뭐를 준거점으로 잡아야할지 혼란스러워 이렇게 질문드립니다.ㅜㅜ