ConceptBase.cc

Kuvaus

ConceptBase.cc on monen käyttäjän deduktiivinen tietokantajärjestelmä, jossa on oliokeskeinen tietomalli. Sen kyky esittää tietoa millä tahansa abstraktiotasolla (data, luokka, metaluokka, meta-metaluokka) tekee siitä tehokkaan työkalun metamallinnukseen ja räätälöityjen mallinnuskielten suunnitteluun. Järjestelmään kuuluu erittäin konfiguroitava graafinen käyttöliittymä, joka perustuu ConceptBase.cc-palvelimen logiikkapohjaisiin ominaisuuksiin. ConceptBase.cc voi edustaa tietoa datatasolla (esimerkkidata, prosessien suoritusten jäljet), luokkatasolla (skeemat, prosessimääritykset), metaluokkatasolla (mallinnuskielten konstruktit), meta-metaluokkatasolla (konstruktit mallinnuksen määrittämiseen kielet) ja niin edelleen. Yhdenmukainen objektiesitys. Kaikki objektit on esitetty yhtenäisessä nelinkertaisessa tietorakenteessa, jota kutsutaan P-factiksi, jonka Telos-kielen kehittäjät ovat pioneerineet. Objektit, niiden attribuutit, erikoisalat ja ilmentymät esitetään kaikki P-faktoina. Näin esimerkiksi objektien attribuutilla voi olla attribuutteja ja ne ovat muiden attribuuttien esiintymiä. Myös attribuuttien välinen erikoistuminen on täysin tuettu. Loogiset lausekkeet. Säännöt, rajoitukset ja kyselyt ilmaistaan ​​ensimmäisen asteen logiikkakaavoilla. Sisäisesti järjestelmä muuntaa ne Horn-lauseiksi, joita datalokipohjainen arviointikone tulkitsee. ConceptBase.cc:n loogiset lausekkeet voivat vaihdella minkä tahansa objektin tyypistä (solmu vs. linkki) ja abstraktiotasosta riippumatta. Datalog tunnetaan tehokkaimpana laskentajärjestelmänä loogisten lausekkeiden arvioimiseksi. Aktiiviset säännöt. Aktiiviset säännöt päivittävät tietokannan tai kutsuvat ulkoisia rutiineja reaktiona tapahtumiin.