ConceptBase.cc

תיאור

ConceptBase.cc היא מערכת מסד נתונים דדוקטיבית מרובה משתמשים עם מודל נתונים ממוקד אובייקטים. היכולת שלו לייצג מידע בכל רמת הפשטה (נתונים, מחלקה, מטא-קלאס, מטא-מטא-קלאס) הופכת אותו לכלי רב עוצמה ליצירת מודלים והנדסה של שפות מידול מותאמות אישית. המערכת מלווה בממשק משתמש גרפי הניתן להגדרה, המתבסס על התכונות מבוססות ההיגיון של שרת ConceptBase.cc. ConceptBase.cc יכול לייצג מידע ברמת הנתונים (נתונים לדוגמא, עקבות של ביצוע תהליכים), רמת המחלקה (סכימות, הגדרות תהליך), רמת המטא-קלאס (קונסטרוקציות של שפות מידול), רמת meta-metaclass (קונסטרוקציות להגדרת מידול שפות), וכן הלאה. ייצוג אובייקט אחיד. כל האובייקטים מיוצגים במבנה נתונים מרובע אחיד הנקרא P-facts שחלו על ידי מפתחי שפת הטלוס. אובייקטים, תכונותיהם, ההתמחויות והמופעים שלהם מיוצגים כולם כעובדות P. לפי זה, למשל, לתכונות של אובייקטים יכולות להיות תכונות והן מופעים של תכונות אחרות. אפילו התמחות בין תכונות נתמכת באופן מלא. ביטויים לוגיים. כללים, אילוצים ושאילתות באים לידי ביטוי בנוסחאות לוגיות מסדר ראשון. באופן פנימי, המערכת הופכת אותם לסעיפים של הורן המתפרשים על ידי מכונת הערכה מבוססת Datalog. ביטויים לוגיים ב-ConceptBase.cc יכולים לנוע על פני כל אובייקט ללא קשר לסוג שלו (צומת לעומת קישור) ולרמת ההפשטה שלו. Datalog ידועה בתור מערכת החישוב החזקה ביותר להערכת ביטויים לוגיים. כללים פעילים. כללים פעילים מעדכנים את מסד הנתונים או קוראים לשגרות חיצוניות כתגובה לאירועים.