ConceptBase.cc

ConceptBase.cc on monikäyttäjän deduktiivinen tietokantajärjestelmä, jossa on objekti-keskitetty datamalli. Sen kyky edustaa tietoa millä tahansa abstraktiotasolla (data, class, metaclass, meta-metaklass) tekee siitä tehokkaan työkalun räätälöityjen mallintamiskielten metamodelointiin ja suunnitteluun. Järjestelmään liittyy hyvin konfiguroitava graafinen käyttöliittymä, joka perustuu ConceptBase.cc-palvelimen logiikkapohjaisiin ominaisuuksiin. ConceptBase.cc voi edustaa tietoja tietotasolla (esimerkkidata, prosessin suoritusten jäljet), luokan taso (kaavat, prosessin määritelmät), metaklassitaso (mallinnuskielten rakenteet), meta-metaklassintaso (konstruktiot mallinnuksen määrittelemiseksi kielet) ja niin edelleen. Tasainen esinekatselu. Kaikki kohteet on edustettu yhtenäisellä neljänneksellä tietorakenteella nimeltä P-faktat, jotka Telos-kielen kehittäjät ovat aloittaneet. Objects, niiden attribuutit, erikoistumiset ja instantiations ovat kaikki edustettuina P-faktat. Tällä tavoin esimerkiksi objektien attribuutteilla voi olla attribuutteja ja ovat muiden attribuuttien esimerkkejä. Omistajien erikoistumista tuetaan täysin. Loogiset lausekkeet. Säännöt, rajoitukset ja kyselyt ilmaistaan ​​ensimmäisen kertaluvun logiikan kaavoissa.Sisäisesti järjestelmä muuntaa ne Dorn-pohjaisen arviointikoneen tulkitsemiksi Horn-lausekkeiksi. Loogiset lausekkeet ConceptBase.cc: ssä voivat vaihdella mistä tahansa objektista riippumatta sen tyypistä (solmu vs. linkki) ja sen abstraktiotasosta. Datalog on tunnettu raskaimmista laskennallisista järjestelmistä loogisten lausekkeiden arvioimiseksi. Aktiiviset säännöt. Aktiiviset säännöt päivittävät tietokannan tai kutsuvat ulkoisia rutiineja reaktioina tapahtumiin.
    

Uutta tässä versiossa: