Group items matching

in title, tags, annotations or url

يبدو أن العلاقة بين الخط والموقف والمحطة غامضة قليلاً، هل يمكن توضيحها ولماذا رسمت على مخطط الكيانات على هذا النحو؟

المفتاح المرشح هو اصغر مجموعة من الواصفات تلزم لتحديد كيان user_id غير كافي  أليس كذلك !! اشارة ال (#) تشير إلى مفتاح ثانوي

لم أجده بهذه الصيغة إلا هنا لكن يوجد https://en.wikipedia.org/wiki/Phong_reflection_model

أليس هناك خطأ في القاعدة الثالثة؟ ألا يجب أن تكون يقتضي في نهايتها بدل أو؟

الآن فهمت :) تم تعويضها بطريقة implication elemination وشرحت تحتها وسميّت قاعدة هورن :)

هناك خطأ في الصورة: في المرحلة الثانية عند حذف الـ M يجب أن ينتج not L حسب قاعدة الـ resoulution (سأضعها في النقاش)

ألا يوجد خطأ في تعويض u في بداية الحل؟ (لطفاً راجع صفحة النقاش)

هل المقصود وما هي المدن التي يعيشون بها ؟؟؟