دورة Relational Algebra

الدرس 1 • أساسيات النموذج الارتباطي: العلاقات، التوبل، السمات، النطاقات، المخططات

يُشكل هذا القسم النموذج الارتباطي للبيانات التعليمية. يعرف العلاقات والتوبل والسمات والنطاقات والمخططات، ويظهر كيفية ترجمة هذه المفاهيم إلى جداول للطلاب والدورات والتقييمات في منصة التعلم.

الدرس 2 • المفاتيح والقيود: المفاتيح الأساسية، المفاتيح المرشحة، قيود التميز، NOT NULL، قيود التحقق

يوضح هذا القسم المفاتيح وقيود النزاهة في مخطط التعليم. يغطي المفاتيح الأساسية والمرشحة، وقيود التميز وNOT NULL، وظروف التحقق التي تتحقق من الدرجات والتواريخ وحالة التسجيل في بيانات التعلم.

الدرس 3 • المفاتيح الأجنبية وسلامة الإشارة: التسلسلات، دلالات ON DELETE/UPDATE والسلوك المنطقي المقصود

يركز هذا القسم على المفاتيح الأجنبية وسلامة الإشارة في التعلم الإلكتروني. يشرح علاقات الأب-الابن، وإجراءات ON DELETE وON UPDATE، والتسلسلات، وكيفية ترميز السلوك المنطقي المقصود للتسجيلات والتقييمات.

الدرس 4 • تصميم الكيانات للتعلم الإلكتروني: STUDENT، COURSE، INSTRUCTOR، ENROLLMENT، ASSESSMENT

يصمم هذا القسم الكيانات الأساسية للتعلم الإلكتروني، بما في ذلك STUDENT وCOURSE وINSTRUCTOR وENROLLMENT وASSESSMENT. يشرح السمات النموذجية والعلاقات وكيف تدعم هذه الجداول تتبع تقدم التعلم وأنشطة التدريس.

الدرس 1 • أولوية المشغلات، الترابط، وبناء تعبيرات آمنة للترجمة إلى SQL

يشرح هذا القسم قواعد الأولوية والترابط لمشغلات الجبر الارتباطي، وكيفية التحكم في التقييم باستخدام الأقواس، وبناء تعبيرات آمنة مستقلة عن النطاق تترجم بسلاسة وتنبؤ إلى استعلامات SQL.

الدرس 2 • ترجمة المتطلبات الحقيقية إلى تعبيرات جبرية: الاشتقاق التدريجي وتحولات التوازي

يظهر هذا القسم كيفية تحويل المتطلبات غير الرسمية إلى تعبيرات جبرية. ستتدرب على الاشتقاق التدريجي وتحلل الاستعلامات المعقدة واستخدام قواعد التوازي للحصول على صيغ أوضح وأكثر كفاءة وجاهزة لـSQL.

الدرس 3 • عائلة الربط ومشغلات المجموعة: الربط الطبيعي (⋈)، ربط ثيتا، مفاهيم داخلي/خارجي، اتحاد (∪)، تقاطع (∩)، فرق (−)

يدرس هذا القسم مشغلات الربط والمجموعات بالتفصيل. ستفحص الربط الطبيعي والربط الثيتا والانضمامات الخارجية على المستوى المفاهيمي، ومشغلات الاتحاد والتقاطع والفرق، مع التركيز على المخططات والقيود وأنماط الاستعلام النموذجية.

الدرس 4 • مشغلات متقدمة: القسمة (÷)، مفاهيم التجميع/التجميع في الصورة الجبرية (رؤية نظرية)

يطور هذا القسم مشغل القسمة وأفكار التجميع الجبري. ستدرس التعريفات الرسمية والحالات الاستخدامية النموذجية وكيفية ارتباط مفاهيم التجميع النظرية بـSQL GROUP BY وHAVING مع الحفاظ على وضوح الجبر.

الدرس 1 • نمذجة مهام التدريس: ربط INSTRUCTOR بـCOURSE، العدائية (واحد-للعديد، عديد-للعديد) وأدوار التدريس

يُنمذج هذا القسم مهام التدريس بين المدربين والدورات. ستُعبّر عن العدائية واحد-للعديد والعديد-للعديد، وتمثل أدوار التدريس، وتفرض القيود باستخدام علاقات الارتباط واستعلامات جبرية.

الدرس 2 • تصميم ENROLLMENT ككيان علاقة: ربط STUDENT وCOURSE، سمات مثل enrollment_date، status، final_grade

يصمم هذا القسم ENROLLMENT ككيان علاقة يربط الطلاب والدورات. ستعرف السمات والمفاتيح والقيود، وتُعبّر عن الاستعلامات النموذجية وفحوصات النزاهة بتعبيرات جبر ارتباطي.

الدرس 3 • نمذجة علاقة التقييم: ربط ASSESSMENT بـCOURSE، سمات type، max_score، date، weight

يُنمذج هذا القسم علاقة ASSESSMENT وربطها بالدورات. ستعرف سمات مثل النوع والدرجة القصوى والتاريخ والوزن، وتُعبّر عن القيود والاستعلامات التي تربط التقييمات بالتسجيلات والدرجات.

الدرس 4 • قواعد النزاهة للدرجات والدرجات: النطاقات (0–100)، أنواع التقييم المسموحة، قيود مجمعة (مجموع الأوزان)

يُشكل هذا القسم قواعد النزاهة للدرجات والدرجات في الجبر الارتباطي. ستحدد النطاقات وأنواع التقييم الصالحة وقيود الوزن المجمع باستخدام الاختيار والإسقاط والربط والعلاقات المشتقة.

الدرس 1 • الاختيار + مطابقة الأنماط على السمات النصية: استخدام σ مع شروط النص الجزئي للعناوين التي تحتوي 'الجبر'

يركز هذا القسم على استخدام الاختيار مع الشروط النصية في الجبر الارتباطي. ستتعلم نمذجة شروط النص جزئياً والأنماط على العناوين، وترميزها كمشغلات σ، ودمجها مع مشغلات أخرى مع الحفاظ على صرامة الجبر.

الدرس 2 • كشف الفراغ/عدم التسجيل: طرق جبرية للعثور على دورات بدون ENROLLMENT المطابقة باستخدام الفرق وأنماط نصف يسارية

يقدم هذا القسم استراتيجيات جبرية لكشف المطابقات الفارغة، مثل الدورات بدون تسجيلات. ستتعلم استخدام الفرق وأنماط نصف يسارية وإعادة كتابة مضادة للربط للتعبير عن استعلامات عدم التسجيل ضمن الجبر الارتباطي الكلاسيكي.

الدرس 3 • ربط لاسترجاع معلومات اتصال الطلاب: ربط ENROLLMENT، COURSE، وSTUDENT وسقوط الاسم/البريد

يشرح هذا القسم كيفية استرجاع معلومات الاتصال بالطلاب بربط ENROLLMENT وCOURSE وSTUDENT. ستُصمم تعبيرات الربط، وتطبق الاختيار لدورات محددة، وتُسقط الأسماء والبريد الإلكتروني اللازم للاتصال أو التقارير.

الدرس 4 • أنماط ربط مدرب-دورة-تقييم: استرجاع المدربين مع تقييمات 'الامتحان النهائي' عبر الربط والإسقاط

يحلل هذا القسم أنماط الربط لربط المدربين والدورات والتقييمات. ستتعلم التعبير عن الربط متعدد الاتجاهات، وتصفية التقييمات النهائية، والإسقاط فقط للسمات اللازمة للتقارير أو الاستعلامات اللاحقة.

الدرس 1 • استخدام القسمة للتعبير عن 'مسجل في جميع دورات مدرب X' وبناءات مكافئة باستخدام الربط والفرق

يطبق هذا القسم القسمة على استعلامات مثل “مسجل في جميع دورات مدرب X” ويعيد كتابتها باستخدام الربط والفرق. ستُصمم المخططات وتُشتق التعبيرات خطوة بخطوة وتتحقق من الصحة ضد بيانات عينة.

الدرس 2 • قوالب جبرية معملة لبدائل القسمة: نمط مضاد الربط/الفرق والترجمات المفاهيمية المبنية على العد

يقدم هذا القسم تفكيراً على طراز الإثبات لتعبيرات القسمة، مع التركيز على الصحة والكمال. ستحلل الحالات الحدية مثل المقسمات الفارغة والمطابقات المفقودة والتكرارات، وتتعلم تبرير تحولات التوازي.

الدرس 3 • تعريف رسمي لقسمة الارتباطي (R ÷ S) وقصده: العثور على توبل مرتبطة بجميع التوبل في علاقة أخرى

يطور هذا القسم قوالب جبرية تتجنب القسمة الصريحة، باستخدام مضاد الربط والفرق وأفكار العد. ستتعلم الاشتقاق والمقارنة وتحسين التعبيرات المكافئة للشروط الكلية في الاستعلامات.

الدرس 1 • المفاتيح بعد التحليل: اختيار مفاتيح أساسية جديدة، مفاتيح أجنبية، والحفاظ على الاعتماديات (ربط خالي من الفقدان وحفظ الاعتمادية)

يشرح هذا القسم كيفية اختيار المفاتيح الأساسية والأجنبية بعد التحليل، والتحقق من الربط الخالي من الفقدان، وفحص الحفاظ على الاعتمادية. ستتعلم الحفاظ على النزاهة وقوة الاستعلام أثناء إعادة هيكلة المخططات.

الدرس 2 • نظرية التطبيع المتعلقة بالمخطط: تعريفات 1NF، 2NF، 3NF، BCNF وكشف المخالفات

يراجع هذا القسم 1NF و2NF و3NF وBCNF، مع تعريفات دقيقة وأنماط مخالفة. ستتعلم اختبار مخطط تعلم إلكتروني ضد كل شكل طبيعي وقرر الشكل الهدف المناسب.

الدرس 3 • أمثلة التحليل: تقسيم ENROLLMENT إلى ENROLLMENT وGRADE_HISTORY أو علاقة ASSESSMENT_RESULT

يمشي هذا القسم عبر تحليلات ملموسة لـENROLLMENT إلى ENROLLMENT وGRADE_HISTORY أو ASSESSMENT_RESULT. ستتدرب على فحص المفاتيح والربط والاعتماديات لضمان الصحة والاستخدامية العملية.

الدرس 1 • معايير توثيق إجابات الجبر الارتباطي: رموز موحدة، معايير إعادة التسمية (ρ)، وتعليقات الخطوات للمصححين

يحدد هذا القسم أسلوباً واضحاً ومتسقاً لكتابة حلول الجبر الارتباطي. ستتعلم رموز المشغلات القياسية وإعادة التسمية بـρ وتسمية التوبل والسمات والتعليقات التدريجية الموجهة للمصححين البشريين.

الدرس 2 • تقنيات التحقق: إنشاء حالة عينة، بناء أمثلة مضادة، وتقييم جبري على الحالات

يقدم هذا القسم تقنيات للتحقق من أن التصميم الجبري ومخطط SQL يتصرفان كما هو مقصود. ستُبني حالات عينة وتبحث عن أمثلة مضادة وتشغل استعلامات جبرية وSQL لمقارنة النتائج المتوقعة.

الدرس 3 • تحديد النطاقات والقيود بدقة لتكون ترجمة SQL غير مبهمة: أنواع البيانات، قيود CHECK، فهارس التميز

يظهر هذا القسم كيفية تحديد النطاقات والقيود بحيث تكون تنفيذات SQL مخلصة للتصاميم الجبرية. ستُسقط السمات على أنواع SQL وترميز المفاتيح والتميز وتعبر عن CHECK وقيود النزاهة الأخرى.