From c2ffd131a5b0ce1d105b8221221a98c35930d174 Mon Sep 17 00:00:00 2001 From: AnkiTUM-Bot Date: Thu, 4 Apr 2024 15:38:18 +0000 Subject: [PATCH] AnkiBot: Automatically added missing IDs --- IN0008_GDB/mehrbenutzersynchronisation.yaml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/IN0008_GDB/mehrbenutzersynchronisation.yaml b/IN0008_GDB/mehrbenutzersynchronisation.yaml index 083cd30..e2e2b15 100644 --- a/IN0008_GDB/mehrbenutzersynchronisation.yaml +++ b/IN0008_GDB/mehrbenutzersynchronisation.yaml @@ -11,13 +11,16 @@ cards: der Ausführung der TA (durch äußere Einflüsse, wie andere TAs). # 11.3 Theorie der Serialisierbarkeit - type: markdown + id: 13 # (generated) front: Was besagt das **Serialisierbarkeitstheorem**? - back: |+ + back: | Eine Historie H ist genau dann serialisierbar, wenn der zugehörige Serialisierbarkeitsgraph SG(H) azyklisch ist. - type: markdown - front: Was versteht man unter einer topologischen Sortierung des Serialisierbarkeitsgraphen (SG)? - back: |+ + id: 14 # (generated) + front: Was versteht man unter einer topologischen Sortierung des Serialisierbarkeitsgraphen + (SG)? + back: | Eine Sequentielle Anordnung der Transaktionen des SG in der Form, dass **keine Transaktion T_i vor einer Transaktion T_j steht**, wenn es einen **gerichteten Pfad von T_j nach T_i** im Serialisierbarkeitsgraphen gibt.