ConceptBase.cc

ConceptBase.cc, obyekt mərkəzli bir məlumat modelinə sahib olan bir çox istifadəçi deduktiv verilənlər bazası sistemi. Hər hansı soyuducu səviyyədə (məlumatlar, sinif, metaclass, meta-metaclass) informasiyanı təmsil etmək bacarığı onu xüsusi modelləşdirmə dillərinin metamodelləməsi və mühəndisliyi üçün güclü bir vasitədir. Sistem, ConceptBase.cc serverinin məntiq əsaslı xüsusiyyətləri əsasında qurulmuş yüksək səviyyədə konfiqurasiya ediləcək qrafik istifadəçi interfeysi ilə müşayiət olunur. ConceptBase.cc məlumat səviyyəsində (nümunə məlumatları, proseslərin icrası izləri), sinif səviyyəsini (şemalar, proses anlayışları), metaclass səviyyəsini (modelləşdirmə dillərinin quruluşları), meta-metaclass səviyyəsini (modelləşdirmə dillər) və s. Vahid obyektin təqdimatı. 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. Nesneler, onların atributları, ixtisasları və dəlilləri P-faktlar kimi təqdim olunur. Bununla, məsələn, obyektlərin atributları özniteliklərə malik ola bilər və digər xüsusiyyətlərin nümunələri ola bilər. Atributlar arasında hətta ixtisaslaşma tam dəstəklənir. Məntiqi ifadələr. Qaydalar, məhdudiyyətlər və sorgular ilk növbədə mantıksal formullarda ifadə edilir.Daxili olaraq, sistem onları bir Datalog-based qiymətləndirmə maşını tərəfindən şərh edilən Horn maddələrinə çevirir. ConceptBase.cc-dəki məntiqi ifadələr, növündən asılı olmayaraq hər hansı bir obyekt üzərində (node ​​vs. link) və onun soyuducu səviyyəsinə qədər dəyişə bilər. Datalog, mantıksal ifadələri qiymətləndirmək üçün ən möhkəm hesablama sistemidir. Aktiv qaydalar. Aktiv qaydalar verilənlər bazasını yeniləyir və ya hadisələrə reaksiya olaraq xarici rutinləri çağırır.
    

Bu sürümdə yeni nə :

Sürüm 8.0: Çətin redaktorunun daha çevik konfiqurasiyası; CBserver'ın daha yaxşı performansı; çoxlu səhv gidermə;

7.8 versiyasında yeni :

7.8 versiyası müəyyən edilməmiş yenilikləri, təkmilləşdirmələri və ya səhv giderləri daxil edə bilər.

7.7 versiyasında, müəyyən edilməmiş yenilikləri, genişləndirmələri və ya səhv giderləri daxil edə bilər.