ConceptBase.cc

وصف

ConceptBase.cc هو نظام قاعدة بيانات استنتاجي متعدد المستخدمين مع نموذج بيانات يركز على الكائن. إن قدرتها على تمثيل المعلومات في أي مستوى من مستويات التجريد (البيانات ، والفئة ، والميتاكلاس ، والفئة الوصفية) تجعلها أداة قوية لتشكيل وهندسة لغات النمذجة المخصصة. ويرافق النظام واجهة مستخدم رسومية عالية التهيئة تعتمد على الميزات المنطقية لخادم ConceptBase.cc. يمكن أن يمثل ConceptBase.cc المعلومات على مستوى البيانات (مثال البيانات ، آثار عمليات تنفيذ العملية) ، مستوى الفصل (المخططات ، تعريفات العملية) ، مستوى الطبقة الفوقية (تراكيب لغات النمذجة) ، مستوى meta-metaclass (بنيات لتحديد النمذجة اللغات) وما إلى ذلك. تمثيل كائن موحد. يتم تمثيل جميع الكائنات في بنية بيانات رباعية موحدة تسمى حقائق P التي ابتكرها مطورو لغة Telos. يتم تمثيل الكائنات وسماتها وتخصصاتها والتشكيلات على أنها حقائق P. من خلال هذا ، على سبيل المثال ، يمكن أن يكون لسمات الكائنات سمات وهي أمثلة لسمات أخرى. حتى التخصص بين السمات مدعوم بالكامل. التعبيرات المنطقية. يتم التعبير عن القواعد والقيود والاستعلامات في صيغ منطقية من الدرجة الأولى. داخليًا ، يقوم النظام بتحويلها إلى جمل Horn التي يتم تفسيرها بواسطة آلة التقييم القائمة على Datalog. يمكن أن تتراوح التعبيرات المنطقية في ConceptBase.cc فوق أي كائن بغض النظر عن نوعه (العقدة مقابل الارتباط) ومستوى التجريد. يُعرف Datalog بأنه أقوى نظام حسابي لتقييم التعبيرات المنطقية. القواعد النشطة. تقوم القواعد النشطة بتحديث قاعدة البيانات أو استدعاء إجراءات خارجية كرد فعل على الأحداث.