Der Artikel behandelt die Durchsetzung von Existenz- und Nicht-Existenz-Beschränkungen in MatBase, einem intelligenten Daten- und Wissensverwaltungssystem-Prototyp.
Zunächst werden die Konzepte der Existenz- und Nicht-Existenz-Beschränkungen erläutert. Existenz-Beschränkungen wurden im Relationalen Datenmodell definiert, werden aber von kommerziellen Relationalen Datenbankmanagementsystemen nicht unterstützt, außer in ihrer speziellen Form als NOT NULL-Beschränkung. Das Elementare Mathematische Datenmodell erweiterte diese Beschränkungen und führte Nicht-Existenz-Beschränkungen ein.
MatBase bietet eine grafische Benutzeroberfläche zum Deklarieren dieser Beschränkungen. Wenn sie akzeptiert werden, generiert MatBase automatisch Code zu ihrer Durchsetzung. Der Artikel präsentiert und diskutiert die entsprechenden Algorithmen, die auch von Softwareentwicklern ohne Zugriff auf MatBase verwendet werden können.
Die Algorithmen stellen sicher, dass nur wohlgeformte Beschränkungen akzeptiert werden, die den Datenbankzustand nicht verletzen. Sie erzwingen die Eindeutigkeit der Beschränkungsnamen und löschen Beschränkungen, ohne die Kohärenz und Minimalität des verbleibenden Beschränkungssatzes zu überprüfen, da eine Löschung diese Eigenschaften nicht beeinflussen kann.
Die Durchsetzungsalgorithmen für Existenz- und Nicht-Existenz-Beschränkungen sind optimal, d.h. sie führen ihre Aufgaben mit der minimal möglichen Anzahl an Anweisungen durch. Sie erkennen, ob eine Beschränkung verletzt wird, ohne unnötige Überprüfungen durchzuführen.
To Another Language
from source content
arxiv.org
Önemli Bilgiler Şuradan Elde Edildi
by Christian Ma... : arxiv.org 03-25-2024
https://arxiv.org/pdf/2403.14726.pdfDaha Derin Sorular