Wir schlagen eine Semantik für Peer-Datenaustauschsysteme vor, bei denen verschiedene Peers durch Datenaustauschbeschränkungen und Vertrauensbeziehungen miteinander verbunden sind, und untersuchen diese. Diese beiden Elemente sowie die Daten an den Standorten der Peers und ihre lokalen Integritätsbeschränkungen werden durch eine Semantik kompatibel gemacht, die Mengen von Lösungsinstanzen für die Peers charakterisiert. Dies sind die beabsichtigten – möglicherweise virtuellen – Instanzen für einen Peer, die durch eine von uns eingeführte und untersuchte Datenreparatursemantik erhalten werden. Die semantisch korrekten Antworten eines Peers auf eine Anfrage, die so genannten konsistenten Peer-Antworten, sind definiert als diejenigen Antworten, die unter all ihren verschiedenen Lösungsinstanzen invariant sind. Wir zeigen, dass Lösungsinstanzen als Modelle von Logikprogrammen mit einer stabilen Modellsemantik spezifiziert werden können. Die Reparatursemantik basiert auf Nullwerten, wie sie in SQL-Datenbanken verwendet werden, und ist auch von unabhängigem Interesse für Reparaturen von einzelnen Datenbanken unter Berücksichtigung von Integritätsbeschränkungen.
Quelle: Consistency and trust in peer data exchange systems