سلامة الكيان

تُعنى سلامة الكيان بضمان احتواء كل صف في الجدول على قيمة مفتاح أساسي فريدة وغير فارغة؛ وهذا يعني أن كل صف في الجدول يُمثل نسخة واحدة من نوع الكيان الذي يُمثله الجدول. ومن متطلبات EF Codd في بحثه الرائد أن المفتاح الأساسي للكيان، أو أي جزء منه، لا يمكن أن يأخذ قيمة فارغة. ^{[ 1 ]} ينص النموذج العلائقي على أن كل علاقة (أو جدول ) يجب أن تحتوي على مُعرّف، يُسمى المفتاح الأساسي (PK)، بحيث يُمكن تحديد كل صف في العلاقة نفسها من خلال محتواه، أي من خلال قيمة فريدة وقصوى. المفتاح الأساسي عبارة عن مجموعة غير فارغة من السمات (أو الأعمدة ). وينطبق التنسيق نفسه على المفتاح الخارجي (FK) لأن كل مفتاح خارجي يُطابق مفتاحًا أساسيًا موجودًا مسبقًا. يجب أن تحتوي كل سمة من سمات المفتاح الأساسي (أو المفتاح الخارجي) على قيم بيانات (مثل الأرقام أو الأحرف أو الرموز الطباعية) ولكن ليس على علامات بيانات (المعروفة أيضًا بعلامات NULL في لغة SQL ). من الناحية المورفولوجية، يكون المفتاح الأساسي المركب في حالة "مستقرة": إذا تم تقليصه، سيفقد المفتاح الأساسي خاصية تحديد كل صف في علاقته، ولكن إذا تم توسيعه، سيصبح المفتاح الأساسي زائدًا عن الحاجة.

• سلامة المجال
• سلامة البيانات
• سلامة المرجع
• قيمة فارغة (SQL)