ConceptBase.cc

Opis

ConceptBase.cc je višekorisnički deduktivni sustav baze podataka s modelom podataka usmjerenim na objekt. Njegova sposobnost predstavljanja informacija na bilo kojoj razini apstrakcije (podaci, klasa, metaklasa, meta-metaklasa) čini ga moćnim alatom za metamodeliranje i inženjering prilagođenih jezika za modeliranje. Sustav je popraćen visoko konfigurabilnim grafičkim korisničkim sučeljem koje se nadograđuje na značajkama temeljenim na logici ConceptBase.cc poslužitelja. ConceptBase.cc može predstavljati informacije na razini podataka (primjeri podataka, tragovi izvršenja procesa), razini klase (sheme, definicije procesa), razini metaklase (konstrukti jezika za modeliranje), razini meta-metaklase (konstrukcije za definiranje modeliranja jezika), i tako dalje. Uniformni prikaz objekta. Svi objekti predstavljeni su u jedinstvenoj četverostrukoj strukturi podataka koja se zove P-činjenice, a koju su uveli tvorci jezika Telos. Objekti, njihovi atributi, specijalizacije i instancije su svi predstavljeni kao P-činjenice. Time, na primjer, atributi objekata mogu imati atribute i biti instance drugih atributa. Čak je i specijalizacija između atributa u potpunosti podržana. Logički izrazi. Pravila, ograničenja i upiti izraženi su logičkim formulama prvog reda. Interno ih sustav pretvara u klauzule Horn koje tumači stroj za procjenu temeljen na Datalogu. Logički izrazi u ConceptBase.cc mogu se kretati preko bilo kojeg objekta bez obzira na njegovu vrstu (čvor naspram veze) i razinu apstrakcije. Datalog je poznat kao najrobusniji računalni sustav za procjenu logičkih izraza. Aktivna pravila. Aktivna pravila ažuriraju bazu podataka ili pozivaju vanjske rutine kao reakciju na događaje.