ConceptBase.cc. أداء ميتسمونغ وهندسة الطريقة باستخدام قاعدة بيانات استنتاجية.
التحميل الان

ConceptBase.cc. الترتيب والملخص

ConceptBase.cc. العلامات

مشاهد رأي تركيز نظام استنتاجي استنتاجي نظام قاعدة البيانات الاستنتاجية مستوى التجريد تمثل الطبقة التلوي

ConceptBase.cc. وصف

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

ConceptBase.cc. برامج ذات صلة