ConceptBase.cc yra daugelio vartotojų deduktyvių duomenų bazių sistema su objektų centruoto duomenų modeliu. Jo sugebėjimas pateikti informaciją bet kokiame abstrakcijos lygyje (duomenys, klasė, metaklasas, meta-metaklasas), tai yra galingas įrankis pritaikytų modeliavimo kalbų metamodeliavimui ir inžinerijai. Sistemą lydi labai konfigūruojama grafinė vartotojo sąsaja, kuri remiasi logika pagrįstomis "ConceptBase.cc" serverio funkcijomis. ConceptBase.cc gali atstovauti informaciją duomenų lygmenyje (pavyzdiniai duomenys, proceso vykdymo pėdsakai), klasės lygmenys (schemos, proceso apibrėžimai), metaklaso lygis (modeliavimo kalbų konstrukcijos), metametaklių lygis (konstrukcijos, apibrėžiančios modeliavimą kalbos) ir kt. Vienodo objekto vaizdavimas. Visi objektai yra pateikiami vienodoje keturkampių duomenų struktūroje, pavadintoje P-faktais, kuriuos pradėjo "Telos" kalbos kūrėjai. Objektai, jų atributai, specializacijos ir instancijos pateikiami kaip P-faktai. Pvz., Objektų atributai gali turėti atributus ir yra kitų atributų pavyzdžiai. Net ir atributų specializacija yra visiškai palaikoma. Loginės išraiškos. Taisyklės, apribojimai ir užklausos išreiškiamos pirmojo eilės logikos formomis.Viduje sistema pertvarko juos į "Horn" nuostatas, kurias aiškina Datalog pagrįstas vertinimo aparatas. Logic išraiškos ConceptBase.cc gali būti bet kokio objekto, nepriklausomai nuo jo tipo (mazgas ir saitas) bei jo abstrakcijos lygio. Datalog yra žinoma kaip labiausiai patikima skaičiavimo sistema logiškų išraiškų įvertinimui. Aktyvios taisyklės. Aktyvios taisyklės atnaujina duomenų bazę arba skleidžia išorines procedūras kaip reakciją į įvykius.
Kas naujo šiame leidime:
8.0 versija: lankstesnė grafikos redaktoriaus konfigūracija; geresnis CB serveris; daugybė klaidų pataisymų;
Kas naujo 7.8 versijoje:
7.8 versijoje gali būti nenurodyti naujiniai, patobulinimai ar klaidų taisymai.
Kas naujo 7.7 versijoje:
7.7 versijoje gali būti nenustatyti naujiniai, patobulinimai ar klaidų taisymai.
Komentarai nerastas