[최종식]

위쪽에 설명에는 같은 종류(타입)의 "값"들끼리 일치하면 참이고 그 이외는 모두 거짓을...

이라고 되어있는데

레코드 타입에 대한 시멘틱스를 보면

Dom r1 = Dom r2 , ∀x ∈ Dom r1 : r1(x) =r2(x) 일때 r1=r2라고 되어있는데

∀x ∈ Dom r1 : r1(x) =r2(x) 이 말은 각자 x 가 나타내는 주소가 같다는 말이므로

"값"들끼리 일치하는것을 보는게 아니라 아예 동일한 객체인지 검사하는 equal 인것 같습니다.

문장의 설명대로라면

Dom r1=Dom r2 , ∀x ∈ Dom r1 : M(r1(x)) = M(r2(x))

가 되어야 하지 않을까요?

그리고 주어진 M도 있어야 겠고요.. 근데 이러면 M이 넘어가야 하는데 opequ에 M이 넘어가질 않으니 문제가 생기니

위의 설명에서 "값" 이란 레코드에서 각 도메인에 대해서 가지고 있는 "값"인 "주소"를 의미하는 것이라고 생각해야 하는걸까요?

[JinIKyun]

레코드의 정의가 메모리의 "주소"에 이름 붙인 것들의 묶음이므로

어떤 두 레코드가 같다는 의미는 단지 각 필드가 가리키는 주소가

같은지만 보면 되는 것이 아닐까요...(강의록 83 페이지)

[이광근]

[최종식]

레코드의 값이라고 함은 레코드 내부 id들의 주소라고 보는것이 타당한 정의이군요