| 摘要 |
<p>Die Erfindung betrifft ein Verfahren zur partitionsweisen, konsistenten Aktualisierung von digitalen Karten (10). Dazu wird zunächst geprüft, ob die Aktualisierungsdaten (11) auf die Partition (12) angewendet werden können. Hierzu muss sich die Partition (12) auf einem Mindest-Versionsstand befinden. Wenn diese Bedingung erfüllt ist, werden alle Operationen der ersten Transaktion (13) in der Partition (12) ausgeführt. Es wird dann geprüft, ob die Transaktion (13) auch andere Partitionen (14) betrifft. Ist dies nicht der Fall, werden die Operationen als gültige Änderungen in der Partition (12) markiert. Sind andere Partitionen (14) betroffen, wird für diese geprüft, ob die Transaktion (12) dort schon durchgeführt wurde. Wenn ja, wird die aktuelle Partition 12 dort aus der Liste (15) der noch zu bearbeitenden Partitionen gelöscht. Anderenfalls werden die Partitionen (14) in der aktuellen Partition (12) als noch zu bearbeitend eingetragen. Bleiben dabei noch Partitionen übrig, in denen die Transaktion (13) noch ausgeführt werden muss, werden die durchgeführten Operationen in der aktuellen Partition (12) als noch nicht gültig markiert. Anderenfalls können alle Operationen der Transaktion (13) in allen betroffenen Partitionen als gültig markiert werden. Dies wird für alle Transaktionen einer Aktualisierung wiederholt.</p> |
