ConceptBase.cc

Leírás

A ConceptBase.cc egy többfelhasználós deduktív adatbázisrendszer objektumközpontú adatmodellel. Bármilyen absztrakciós szinten (adat, osztály, metaosztály, meta-metaosztály) képes információt megjeleníteni, hatékony eszközzé teszi a metamodellezéshez és testreszabott modellezési nyelvek tervezéséhez. A rendszert egy jól konfigurálható grafikus felhasználói felület kíséri, amely a ConceptBase.cc szerver logikai alapú szolgáltatásaira épít. A ConceptBase.cc információkat reprezentálhat adatszinten (példaadatok, folyamatvégrehajtások nyomai), osztályszinten (sémák, folyamatdefiníciók), metaosztály szinten (modellezőnyelvek konstrukciói), meta-metaosztály szinten (modellezés meghatározására szolgáló konstrukciók) nyelvek), és így tovább. Egységes objektumábrázolás. Az összes objektumot a Telos nyelv fejlesztői által úttörőként kidolgozott, egységes négyszeres adatstruktúra, az úgynevezett P-facts reprezentálja. Az objektumok, azok attribútumai, specializációi és példányai mind P-tényként jelennek meg. Ezáltal például az objektumok attribútumai rendelkezhetnek attribútumokkal, és más attribútumok példányai. Még az attribútumok közötti specializáció is teljes mértékben támogatott. Logikai kifejezések. A szabályok, megszorítások és lekérdezések elsőrendű logikai képletekben vannak kifejezve. Belsőleg a rendszer ezeket Horn-kózusokká alakítja, amelyeket egy Datalog-alapú kiértékelő gép értelmez. A ConceptBase.cc logikai kifejezései bármely objektumra kiterjedhetnek, függetlenül annak típusától (csomópont vs. hivatkozás) és absztrakciós szintjétől. A Datalog a logikai kifejezések kiértékelésének legrobusztusabb számítási rendszereként ismert. Aktív szabályok. Az aktív szabályok frissítik az adatbázist, vagy külső rutinokat hívnak meg eseményekre adott reakcióként.