في عالم البيانات المعقّدة، يُعتبر SHACL (لغة قيود الشكل) أداة قوية للتعبير عن القيود المفروضة على بيانات RDF من خلال ما يُعرف بالشكل. الجانب الأساسي لهذه اللغة هو عملية التحقق - أي تأكيد ما إذا كان رسم بياني للبيانات يتوافق مع مستند SHACL محدد. وعلى الرغم من ذلك، تفتقر الأبحاث الحالية إلى خدمات تحليل ثابت تتمكن من مقارنة المستندات بشكل مباشر.

تتناول ورقة العمل الجديدة مشكلةٍ مليئة بالتحديات: كيف يمكننا أن نحدد ما إذا كانت جميع الرسوم البيانية التي تحقق مستند SHACL واحد أيضًا تحقق مستندًا آخر؟

بدلاً من التركيز فقط على تأثير تعبيرات الشكل كما فعلت الأبحاث السابقة، تأخذ هذه الدراسة في اعتبارها المستندات التي تشمل تعاريف أشكال متكررة (recursive shape definitions) وأهداف متنوعة.

وقد جاء الدليل الرئيسي في هذه الورقة مثيرًا، فقد تبين أن المسألة المرتبطة بالتضمين (implication)، أو ما يُعرف بالاحتواء (containment)، لا يمكن اتخاذ قرار بشأنها تحت النماذج المدعومة (supported model semantics) ونماذج الاستقرار (stable model semantics). ولكن، وبشكل مفاجئ، فإن نفس المسألة تصبح قابلة للقرار تحت النماذج القائمة على البيانات المثلى (well-founded semantics)، وذلك في الوقت الأُسي الأحادي (single exponential time).

تُعَد المساهمة الفنية الرئيسية في هذه الدراسة ترجمة SHACL تحت النماذج القائمة على البيانات المثلى إلى حساب موحد كامل (full hybrid mu-calculus). هذه العلاقة الجديدة بين النماذج القائمة على البيانات المثلى ومنطق النقاط الثابتة (fixed point modal logic) توفر إجراءً يعتمد على الأوتوماتا (automata-based decision procedure) يُعتبر الأمثل في أسوأ الظروف.

التهديدات والمزايا المتواجدة بشأن تحليل مستندات SHACL ستفتح لنا آفاقًا جديدة في عالم البيانات، مما يجعل الشفافية والدقة في التحقق من البيانات حتمية.