Zum Inhalt springen

ConceptBase

aus Wikipedia, der freien Enzyklopädie
Dies ist eine alte Version dieser Seite, zuletzt bearbeitet am 27. September 2005 um 19:09 Uhr durch 137.56.127.204 (Diskussion). Sie kann sich erheblich von der aktuellen Version unterscheiden.
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

ConceptBase' ist ein deduktives und object-orientiertes Datenbank-Managementsystem basierend auf Datalog als Anfargesprache anstatt des sonst üblichen SQL. Alle Fakten werden in einer uniformen Datenstruktur, den sogenannten P-Fakten, gespeichert. Neben faktischen Informationen können auch Regeln, Integritätsbedingungen und Anfragen definiert werden, um die Anwendungssemantik abzubilden. Zur Zeit wird ConceptBase hauptsächlich für die konzeptuelle Modellierung, Modelmanagement und für Metamodellierung eingesetzt.


Geschichte

Die Entwicklung con ConceptBase startete Ende 1987 an der Universität Passau in Deutschland. Die Grundlage bildet die Wissensrepäsentationssprache Telos, die Mitte der 1980-ziger Jahre an der Universität von Toronto in Kanada entstand. Im Jahr 1988 war der erste Prototyp fertig. Zwei Jahre später begann die Verteilung des Prototypen an akademische Institutionen. Seitdem wurde etwa alle 2 Jahre eine neue Version des Systems veröffentlicht. Der Name ConceptBase repäsentiert den Anspruch, nicht nur Daten zu speichern sondern Konzepte. Zur Zeit wird das System an der RWTH Aachen in Deutschland sowie an der Universität Tilburg in den Niederlanden weiterentwickelt.


Eigenschaften

  • Alle Objekte in der Datenbank werden in einer einzigen Datenstruktur abgelegt, welche die Objektidentität manifestiert
  • Objekte können graphisch oder auch textuell manipuliert werden
  • Sowohl Daten als auch Klassen, Metaklassen, Metametaklassen usw. sind darstellbar
  • Integritätsbedingungen, deduktive Regeln und Anfragen werden als Klassenattribute spezifiziert und können zu jeder Zeit geändert werden
  • Anfrageklassen vereinen Klasseneigenschaft mit der logischen Spezifikation der Klassenzugehörigkeit


Externe Verweise