ConceptBase.cc

Apraksts

ConceptBase.cc ir vairāku lietotāju deduktīva datu bāzes sistēma ar objektu centrētu datu modeli. Tā spēja attēlot informāciju jebkurā abstrakcijas līmenī (dati, klase, metaklase, meta-metaklase) padara to par spēcīgu rīku metamodelēšanai un pielāgotu modelēšanas valodu izstrādei. Sistēmai ir pievienots ļoti konfigurējams grafiskais lietotāja interfeiss, kas balstās uz ConceptBase.cc servera loģikas līdzekļiem. ConceptBase.cc var attēlot informāciju datu līmenī (piemēru dati, procesa izpildes pēdas), klases līmenī (shēmas, procesu definīcijas), metaklases līmenī (modelēšanas valodu konstrukcijas), meta-metaklases līmenī (konstrukcijas modelēšanas definēšanai valodas) un tā tālāk. Vienots objektu attēlojums. Visi objekti ir attēloti vienotā četrkāršā datu struktūrā, ko sauc par P-faktiem, ko ieviesuši Telos valodas izstrādātāji. Objekti, to atribūti, specializācijas un instancijas tiek attēloti kā P-fakti. Tādējādi, piemēram, objektu atribūtiem var būt atribūti un tie ir citu atribūtu gadījumi. Pat specializācija starp atribūtiem tiek pilnībā atbalstīta. Loģiskās izteiksmes. Noteikumi, ierobežojumi un vaicājumi tiek izteikti pirmās kārtas loģikas formulās. Sistēma iekšēji pārveido tos Horn klauzulās, ko interpretē uz datu žurnālu balstīta novērtēšanas iekārta. Loģiskās izteiksmes programmā ConceptBase.cc var ietvert jebkuru objektu neatkarīgi no tā veida (mezgls pret saiti) un abstrakcijas līmeņa. Datalog ir pazīstama kā visspēcīgākā skaitļošanas sistēma loģisko izteiksmju novērtēšanai. Aktīvie noteikumi. Aktīvās kārtulas atjaunina datu bāzi vai izsauc ārējās rutīnas kā reakciju uz notikumiem.