تقليل تعديلات مخطط قاعدة البيانات العلائقية باستخدام تجميع الأعمدة

الملخص

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

تقدم هذه الورقة منهجًا جديدًا لاختزال الطفرات قبل مرحلة التوليد (Pre-generation Reduction)، يهدف إلى منع توليد الطفرات المكررة من مصدرها باستخدام تجميع الأعمدة (Column Clustering). ويتم تجميع أعمدة قاعدة البيانات وفقًا لدرجة التشابه بينها استنادًا إلى متجه قيود (Constraint Vector) يرمّز قيود المفتاح الأساسي (PRIMARY KEY)، والتفرّد (UNIQUE)، وعدم السماح بالقيم الفارغة (NOT NULL)، والمفتاح الخارجي (FOREIGN KEY)، والتحقق (CHECK). ومن كل مجموعة من الأعمدة ذات تكوينات القيود المتطابقة، يتم اختيار عمود ممثل واحد لتوليد الطفرات، مما يحد من التكرار دون الحاجة إلى إجراء تحليل لاحق لعملية التوليد.

تم تقييم المنهج المقترح على ثمانية مخططات لقواعد بيانات واقعية، تضم ما مجموعه 2,472 عمودًا و542 قيدًا، بما في ذلك مخططات تحتوي على قيود FOREIGN KEY وUNIQUE. وأظهرت النتائج أن المنهج المقترح خفّض إجمالي عدد الطفرات المولدة من 12,084 إلى 934 طفرة، أي بنسبة انخفاض بلغت 92.3%، مع الحفاظ على درجات طفرات (Mutation Scores) متقاربة، حيث بلغ متوسط الفرق أقل من 0.5 نقطة مئوية.

وتراوحت معدلات الاختزال الخاصة بمشغلات الطفرات المختلفة بين 42.2% و99.8%، في حين حققت المشغلات المرتبطة بقيود FOREIGN KEY معدلات اختزال تراوحت بين 66.7% و75.0%، وحققت المشغلات المرتبطة بقيود UNIQUE معدلات تراوحت بين 78.9% و85.3% في المخططات التي تحتوي على هذه القيود. كما كانت التكلفة الإضافية لعملية التجميع محدودة جدًا، إذ استغرقت أقل من ثانيتين لكل مخطط، بينما تراوحت الوفورات الصافية في زمن التنفيذ بين 64% و88%.

وتُظهر هذه النتائج أن اختزال الطفرات قبل توليدها باستخدام تجميع الأعمدة يُعد نهجًا فعّالًا وعمليًا، ويوفر بديلًا قابلًا للتوسع مقارنةً بالأساليب التقليدية التي تعتمد على اختزال الطفرات بعد توليدها، وذلك في سياق اختبار الطفرات لمخططات قواعد البيانات العلائقية.