بس يا ريت إذا شي حدا فهم نص السؤال الأول يكتبو
حسب نظام مكتبة جامعية يمكن للطلاب والموظفين والمدرسين استعارة الكتب - ما يعنينا في هذا السؤال هو مجموعات الأرقام IDs للفئة --- الفئات. الموضفون والمدرسون فئتان منفصلتان تماماً بينما يمكن للطالب أن يكون موظفاً في نفس الوقت. ولا يمكن للطالب أن يكون مدرساً --- والمدرسون يمكنهم الاستعارة حكماً بينما يحتاج الطلاب للحصول على بطاقة --- ذلك (بعبارة أخرى الطلاب نوعان حاصلون على بطاقات وغير حاصلين). يطلب استخدام لغة Z لتحقيق مايلي:
1- مخطط schema لتعريف حالة النظام state واللا متغير في المعطيات data invariant.
2- --- --- تسجيل طالب جديد في الكلية.
3- مخطط لتعريف عملية قيام موظف بالتسجيل كطالب.
والله ما في منك يا سمورة شكراً كتير إلك
