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