الاعتماديات المضمنة المفككة من الدرجة الأولى بشكل قوي في دلالات الفرق

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