ConceptBase.cc

Beschreiwung

ConceptBase.cc ass e Multi-User deduktiv Datebanksystem mat engem objektzentréierten Datemodell. Seng Fäegkeet fir Informatioun op all Abstraktiounsniveau ze representéieren (Daten, Klass, Metaclass, Meta-Metaclass) mécht et e mächtegt Tool fir Metamodelléierung an Ingenieur vu personaliséierte Modelléierungssproochen. De System gëtt begleet vun enger héich konfiguréierbar graphescher User-Interface, déi op d'Logik-baséiert Feature vum ConceptBase.cc Server baut. ConceptBase.cc kann Informatioun um Dateniveau representéieren (Beispilldaten, Spure vu Prozessausféierungen), Klassenniveau (Schemaen, Prozessdefinitioune), Metaclass Niveau (Konstruktioune vu Modellersproochen), Meta-Metaclass Niveau (Konstrukte fir Modeller ze definéieren Sproochen), a sou weider. Uniform Objet Representatioun. All Objete sinn an enger eenheetlecher véierfach Daten Struktur vertruede P-Fakten genannt Pionéier vun den Entwéckler vun der Telos Sprooch. Objekter, hir Attributer, Spezialisatiounen an Instantiatioune ginn all als P-Fakten duergestallt. Duerch dëst, zum Beispill, kënnen Attributer vun Objeten Attributer hunn a sinn Instanzen vun aneren Attributer. Och Spezialisatioun tëscht Attributer gëtt voll ënnerstëtzt. Logesch Ausdréck. Regelen, Aschränkungen a Ufroe ginn an der éischter Uerdnung Logikformelen ausgedréckt. Intern transforméiert de System se an Hornklauselen interpretéiert vun enger Datalog-baséiert Evaluatiounsmaschinn. Logesch Ausdréck am ConceptBase.cc kënnen iwwer all Objet reegelen, onofhängeg vu sengem Typ (Node vs. Link) a sengem Abstraktiounsniveau. Datalog ass bekannt fir dee robustste Berechnungssystem fir logesch Ausdréck ze evaluéieren. Aktiv Regelen. Aktiv Regelen update der Datebank oder ruffen extern Routinen als Reaktioun op Evenementer.