ConceptBase.cc

Təsvir

ConceptBase.cc obyekt mərkəzli məlumat modelinə malik çox istifadəçili deduktiv verilənlər bazası sistemidir. Məlumatı istənilən abstraksiya səviyyəsində (məlumat, sinif, metasinf, meta-sinf) təmsil etmək qabiliyyəti onu fərdiləşdirilmiş modelləşdirmə dillərinin metamodelləşdirilməsi və mühəndisliyi üçün güclü alətə çevirir. Sistem ConceptBase.cc serverinin məntiqə əsaslanan xüsusiyyətlərinə əsaslanan yüksək konfiqurasiya edilə bilən qrafik istifadəçi interfeysi ilə müşayiət olunur. ConceptBase.cc məlumat səviyyəsində məlumatı (nümunə verilənlər, prosesin icrasının izləri), sinif səviyyəsində (sxemlər, prosesin tərifləri), metasinf səviyyəsində (modelləşdirmə dillərinin konstruksiyaları), meta-metklass səviyyəsində (modelləşdirməni müəyyən etmək üçün konstruksiyalar) təmsil edə bilər. dillər) və s. Obyektin vahid təmsili. Bütün obyektlər Telos dilinin tərtibatçıları tərəfindən irəli sürülən P-faktlar adlı vahid dördlü məlumat strukturunda təmsil olunur. Obyektlər, onların atributları, ixtisasları və nümunələri hamısı P-faktları kimi təmsil olunur. Bununla, məsələn, obyektlərin atributları atributlara malik ola bilər və digər atributların nümunələridir. Hətta atributlar arasında ixtisaslaşma da tam dəstəklənir. Məntiqi ifadələr. Qaydalar, məhdudiyyətlər və sorğular birinci dərəcəli məntiq düsturlarında ifadə edilir. Daxili olaraq, sistem onları Datalog əsaslı qiymətləndirmə maşını tərəfindən şərh edilən Horn bəndlərinə çevirir. ConceptBase.cc-dəki məntiqi ifadələr növündən (qovşaq və keçid) və abstraksiya səviyyəsindən asılı olmayaraq istənilən obyekt üzərində dəyişə bilər. Datalog məntiqi ifadələri qiymətləndirmək üçün ən güclü hesablama sistemi kimi tanınır. Aktiv qaydalar. Aktiv qaydalar verilənlər bazasını yeniləyir və ya hadisələrə reaksiya olaraq xarici rejimləri çağırır.