ConceptBase.cc

Opis

ConceptBase.cc to dedukcyjny system bazy danych dla wielu użytkowników z modelem danych zorientowanym obiektowo. Jego zdolność do reprezentowania informacji na dowolnym poziomie abstrakcji (dane, klasa, metaklasa, meta-metaklasa) czyni go potężnym narzędziem do metamodelowania i inżynierii niestandardowych języków modelowania. Systemowi towarzyszy wysoce konfigurowalny graficzny interfejs użytkownika, który opiera się na funkcjach logicznych serwera ConceptBase.cc. ConceptBase.cc może reprezentować informacje na poziomie danych (przykładowe dane, ślady wykonania procesów), poziomie klasy (schematy, definicje procesów), poziomie metaklasy (konstrukty języków modelowania), poziomie meta-metaklasy (konstrukcje do definiowania modelowania języki) i tak dalej. Jednolita reprezentacja obiektu. Wszystkie obiekty są reprezentowane w jednolitej poczwórnej strukturze danych zwanej P-facts, której pionierami byli twórcy języka Telos. Obiekty, ich atrybuty, specjalizacje i instancje są reprezentowane jako P-fakty. Dzięki temu na przykład atrybuty obiektów mogą mieć atrybuty i są instancjami innych atrybutów. Nawet specjalizacja między atrybutami jest w pełni obsługiwana. Wyrażenia logiczne. Reguły, ograniczenia i zapytania są wyrażane w formułach logicznych pierwszego rzędu. Wewnętrznie system przekształca je w klauzule Horna interpretowane przez maszynę ewaluacyjną opartą na Datalogu. Wyrażenia logiczne w ConceptBase.cc mogą obejmować dowolny obiekt, niezależnie od jego typu (węzeł vs. łącze) i jego poziomu abstrakcji. Datalog jest znany z tego, że jest najbardziej niezawodnym systemem obliczeniowym do oceny wyrażeń logicznych. Aktywne zasady. Aktywne reguły aktualizują bazę danych lub wywołują procedury zewnętrzne w reakcji na zdarzenia.