ConceptBase.cc

Düşündiriş

“ConceptBase.cc”, obýekt merkezi maglumat modeli bolan köp ulanyjy deduktiw maglumat bazasy ulgamy. Islendik abstraksiýa derejesinde maglumatlary görkezmek ukyby (maglumatlar, synp, metaklas, meta-metaklas) ony ýöriteleşdirilen model dilleriniň metamodelirlemegi we in engineeringenerçiligi üçin güýçli gural edýär. Ulgam, ConceptBase.cc serweriniň logiki esasly aýratynlyklaryna esaslanýan ýokary düzülip bilinýän grafiki ulanyjy interfeýsi bilen bilelikde gelýär. ConceptBase.cc maglumat derejesinde maglumatlary görkezip biler (mysal üçin maglumatlar, amallaryň ýerine ýetirilişiniň yzlary), synp derejesi (shemalar, proses kesgitlemeleri), metaklass derejesi (modelleme dilleriniň gurluşlary), meta-metaklass derejesi (modellemegi kesgitlemek üçin gurluşlar) dilleri) we ş.m. Obýektiň bitewi görnüşi. Objectshli obýektler, Telos dilini döredijiler tarapyndan döredilen P-faktlar diýlip atlandyrylýan dörtburç maglumat gurluşynda görkezilýär. Obýektler, olaryň häsiýetleri, hünärleri we dessineler hemmesi P-faktlar hökmünde görkezilýär. Mysal üçin, obýektleriň atributlary atributlara eýe bolup biler we beýleki atributlaryň mysallary bolup biler. Hatda atributlaryň arasyndaky ýöriteleşdirme hem doly goldanýar. Logiki aňlatmalar. Düzgünler, çäklendirmeler we soraglar birinji tertipli logika formulalarynda aňladylýar. Içerki ulgam, olary Datalog esasly baha beriş enjamy tarapyndan düşündirilýän Horn maddalaryna öwürýär. ConceptBase.cc-de logiki aňlatmalar görnüşine (düwün we baglanyşyk) we abstraksiýa derejesine garamazdan islendik obýektiň üstünde bolup biler. Maglumatlar logiki aňlatmalara baha bermek üçin iň ygtybarly hasaplaýyş ulgamy hökmünde tanalýar. Işjeň düzgünler. Işjeň düzgünler maglumat bazasyny täzeleýär ýa-da hadysalara reaksiýa hökmünde daşarky tertipleri çagyrýar.