0
당신이 볼 수 있듯이설정된 관계의 "개수"를 표시하는 방법은 무엇입니까?
taking’ = taking ∪ {s? → m?}
아래에서 참조하시기 바랍니다, taking는 s지도 m에 관계의 이름입니다. 위의 관계는이 릴레이션에 새로운 maptlet을 추가하는 추가 과정 (합집합)을 보여줍니다.
그러나이 숫자에는 s이 필요합니다. 그것을 어떻게 얻을 수 있습니까? 아래는 내가 한 일입니다.
#taking = numberOfStudents
그러나 이것에 대해서는 잘 모르겠습니다. 당신이 다른 학생이 m을 가지고 얼마나 많은 그것은 쉽게
(m 무엇이든) 알고 싶은 경우에
어떤 언어입니까? – Chronial
@Chronial : 이것은 프로그래밍 문제는 아니지만 소프트웨어 설계 및 건축가와 관련이 있습니다. 이것은 옥스포드 대학이 지은 과학적 소프트웨어 개발에 사용되는 Z-Specification입니다. –
아직 언어가 충분합니다. 이 질문은 실제로이 Z 표기법에 관한 것이므로 대부분의 태그도 제거했습니다. 논리의 나머지 부분에 대한 대답은'| s |'입니다. – Chronial