ConceptBase.cc היא מערכת נתונים מרובת משתמשים דדוקטיבית עם מודל נתונים ממוקד אובייקט. היכולת שלו לייצג מידע בכל רמת הפשטה (נתונים, מחלקה, מטאקלאס, מטא-מטאקלס) הופכת אותו לכלי רב עוצמה עבור מטאמודינג והנדסה של שפות דוגמנות מותאמות אישית. המערכת מלווה ממשק המשתמש הגרפי מאוד להגדרה בונה על התכונות מבוססות ההיגיון של שרת ConceptBase.cc. ConceptBase.cc יכול לייצג מידע ברמת הנתונים (נתונים לדוגמה, עקבות של הוצאות להורג), רמת המעמד (סכימות, הגדרות תהליך), רמת המטאלאס (מבנים של שפות דוגמנות), רמת meta-metaclass (מבנים להגדרת מודלים שפות), וכן הלאה. ייצוג אובייקט אחיד. כל האובייקטים מיוצגים במבנה נתונים מרובע אחיד הנקרא P-Facts שהחל היזמים של שפת הטלוס. אובייקטים, תכונותיהם, התמחויות, ומוצגים מייצגים כולם כ- P- עובדות. על ידי כך, למשל, תכונות של אובייקטים יכולות להיות תכונות והן תכונות של תכונות אחרות. אפילו ההתמחות בין תכונות נתמכת במלואה. ביטויים לוגיים. כללים, אילוצים ושאילתות באים לידי ביטוי בנוסחאות לוגיות מסדר ראשון.באופן פנימי, המערכת הופכת אותם לסעיפים של הורן המתפרשים על ידי מכונת הערכה המבוססת על Datalog. ביטויים לוגיים ב- ConceptBase.cc יכולים לנוע על כל אובייקט ללא קשר לסוגו (צומת לעומת קישור) ורמת ההפשטה שלו. Datalog ידועה כמערכת החישובית החזקה ביותר להערכת ביטויים לוגיים. חוקים פעילים. כללים פעילים מעדכנים את מסד הנתונים או קוראים שגרות חיצוניות כתגובה לאירועים.
מה חדש במהדורה זו:
גרסה 8.0: תצורה גמישה יותר של עורך הגרפים; ביצועים טובים יותר של CBserver; תיקוני באגים רבים; תמיכה במודלים ברמה גבוהה.
מה חדש בגירסה 7.8:
גרסה 7.8 עשויים לכלול עדכונים שלא פורטו, שיפורים או תיקוני באגים.
p>מה חדש בגירסה 7.7:
גרסה 7.7 עשויים לכלול עדכונים שלא פורטו, שיפורים או תיקוני באגים.
תגובות לא נמצא