لماذا لا تعود عدم المساواة مع الفارغ دائمًا

عند مقارنة قيم فارغة مع عامل عدم المساواة ("! =") ، فغالبًا ما يكون من المفترض أن تكون النتيجة صحيحة ، لأن لا شيء لا يساوي نفسه. ومع ذلك ، في سياقات معينة مثل SQL ، هذا الافتراض غير صالح. هذا يقدم حالة منطقية ثالثة تتجاوز الحقيقي والخطأ ، والمعروفة باسم "غير معروف". نتيجة لذلك ، تتبع مقارنات عدم المساواة مع الفارغ المنطق الثلاثية ، حيث يمكن أن تكون النتيجة واحدة من ثلاثة خيارات:

العبارة: حيث (a b)

إذا كانا A و B كلاهما خالية ، فإن التعبير أعلاه يرجع "غير معروف" لأنه لا توجد طريقة لتحديد ما إذا كانا غير متكافئين حقًا أو كلاهما غير معروف. قد لا يعود فحص عدم المساواة البسيط مع NULL دائمًا. لضمان نتائج دقيقة ، من الضروري التحقق بشكل صريح عن الظروف الخالية من استخدام "خالية" و "ليس فارغًا". دمج هذه الاختبارات الصريحة ، يمكن لقاعدة البيانات تحديد النتيجة المنطقية الصحيحة (صواب ، خطأ ، أو غير معروف) لجميع الحالات الممكنة التي تتضمن قيم خالية.