ConceptBase.cc

Նկարագրություն

ConceptBase.cc-ը բազմաֆունկցիոնալ դեդուկտիվ տվյալների բազայի համակարգ է՝ օբյեկտակենտրոն տվյալների մոդելով: Ցանկացած վերացական մակարդակով (տվյալներ, դաս, մետակլաս, մետա-մետակլաս) տեղեկատվություն ներկայացնելու կարողությունը այն դարձնում է հզոր գործիք մետամոդելավորման և հարմարեցված մոդելավորման լեզուների ճարտարագիտության համար: Համակարգն ուղեկցվում է բարձր կարգավորելի գրաֆիկական ինտերֆեյսով, որը հիմնված է ConceptBase.cc սերվերի տրամաբանության վրա հիմնված հատկանիշների վրա: ConceptBase.cc-ը կարող է տեղեկատվություն ներկայացնել տվյալների մակարդակում (օրինակ տվյալներ, գործընթացի կատարման հետքեր), դասի մակարդակ (սխեմաներ, գործընթացի սահմանումներ), մետադասի մակարդակ (մոդելավորման լեզուների կոնստրուկցիաներ), մետա-մետակլասի մակարդակ (մոդելավորման սահմանման կառուցվածքներ): լեզուներ) և այլն։ Օբյեկտների միասնական ներկայացում: Բոլոր օբյեկտները ներկայացված են տվյալների միասնական քառապատիկ կառուցվածքով, որը կոչվում է P-facts, որը ստեղծվել է Telos լեզվի մշակողների կողմից: Օբյեկտները, նրանց ատրիբուտները, մասնագիտացումները և ինստանցիաները բոլորը ներկայացված են որպես P-փաստեր: Դրանով, օրինակ, օբյեկտների ատրիբուտները կարող են ունենալ ատրիբուտներ և այլ ատրիբուտների օրինակներ են: Նույնիսկ ատրիբուտների միջև մասնագիտացումը լիովին աջակցվում է: Տրամաբանական արտահայտություններ. Կանոնները, սահմանափակումները և հարցումներն արտահայտվում են առաջին կարգի տրամաբանական բանաձևերով: Ներքին առումով, համակարգը դրանք վերածում է Horn կետերի, որոնք մեկնաբանվում են Datalog-ի վրա հիմնված գնահատման մեքենայի կողմից: ConceptBase.cc-ի տրամաբանական արտահայտությունները կարող են տատանվել ցանկացած օբյեկտի վրա՝ անկախ դրա տեսակից (հանգույց ընդդեմ հղման) և աբստրակցիայի մակարդակից: Datalog-ը հայտնի է նրանով, որ այն տրամաբանական արտահայտությունների գնահատման ամենակայուն հաշվողական համակարգն է: Ակտիվ կանոններ. Ակտիվ կանոնները թարմացնում են տվյալների բազան կամ կանչում են արտաքին ռեժիմներ՝ որպես իրադարձությունների արձագանք: