ConceptBase.cc

Popis

ConceptBase.cc je deduktívny databázový systém pre viacerých používateľov s dátovým modelom zameraným na objekty. Jeho schopnosť reprezentovať informácie na akejkoľvek úrovni abstrakcie (údaje, trieda, metatrieda, meta-metatrieda) z neho robí výkonný nástroj na metamodelovanie a inžinierstvo prispôsobených modelovacích jazykov. Systém je sprevádzaný vysoko konfigurovateľným grafickým užívateľským rozhraním, ktoré stavia na logických funkciách servera ConceptBase.cc. ConceptBase.cc môže reprezentovať informácie na dátovej úrovni (vzorové dáta, stopy vykonávania procesov), na úrovni triedy (schémy, definície procesov), na úrovni metatried (konštrukty modelovacích jazykov), na úrovni meta-metatried (konštrukty na definovanie modelovania jazyky) a tak ďalej. Jednotná reprezentácia objektu. Všetky objekty sú reprezentované v jednotnej štvornásobnej dátovej štruktúre nazývanej P-facts, ktorú vyvinuli vývojári jazyka Telos. Objekty, ich atribúty, špecializácie a inštancie sú reprezentované ako P-fakty. Takto môžu mať napríklad atribúty objektov atribúty a sú inštanciami iných atribútov. Dokonca aj špecializácia medzi atribútmi je plne podporovaná. Logické výrazy. Pravidlá, obmedzenia a dotazy sú vyjadrené v logických vzorcoch prvého poriadku. Systém ich interne transformuje na klauzuly Horn interpretované vyhodnocovacím strojom založeným na Datalogu. Logické výrazy v ConceptBase.cc sa môžu pohybovať na akomkoľvek objekte bez ohľadu na jeho typ (uzol vs. odkaz) a úroveň abstrakcie. Datalog je známy tým, že je najrobustnejším výpočtovým systémom na vyhodnocovanie logických výrazov. Aktívne pravidlá. Aktívne pravidlá aktualizujú databázu alebo volajú externé rutiny ako reakciu na udalosti.