ConceptBase.cc

Opis

ConceptBase.cc je večuporabniški deduktivni podatkovni sistem s podatkovnim modelom, osredotočenim na objekte. Zaradi svoje zmožnosti predstavitve informacij na kateri koli ravni abstrakcije (podatki, razred, metarazred, meta-metarazred) je močno orodje za metamodeliranje in inženiring prilagojenih jezikov za modeliranje. Sistem spremlja zelo nastavljiv grafični uporabniški vmesnik, ki gradi na logičnih funkcijah strežnika ConceptBase.cc. ConceptBase.cc lahko predstavlja informacije na ravni podatkov (primerni podatki, sledi izvajanja procesov), ravni razreda (sheme, definicije procesov), ravni metarazreda (konstrukti jezikov za modeliranje), ravni meta-metarazreda (konstrukti za definiranje modeliranja). jeziki) in tako naprej. Enotna predstavitev predmeta. Vsi objekti so predstavljeni v enotni štirikratni podatkovni strukturi, imenovani P-dejstva, ki so jo uvedli razvijalci jezika Telos. Predmeti, njihovi atributi, specializacije in primerki so vsi predstavljeni kot P-dejstva. S tem imajo lahko na primer atributi predmetov atribute in so primerki drugih atributov. Celo specializacija med atributi je v celoti podprta. Logični izrazi. Pravila, omejitve in poizvedbe so izražene v logičnih formulah prvega reda. Interno jih sistem pretvori v klavzule Horn, ki jih interpretira ocenjevalni stroj, ki temelji na Datalogu. Logični izrazi v ConceptBase.cc se lahko raztezajo čez kateri koli predmet, ne glede na njegovo vrsto (vozlišče proti povezavi) in stopnjo abstrakcije. Datalog je znan kot najbolj robusten računalniški sistem za vrednotenje logičnih izrazov. Aktivna pravila. Aktivna pravila posodabljajo bazo podatkov ali kličejo zunanje rutine kot odziv na dogodke.