Posted by Andreas on January 03, 2001 at 20:06:35:
Nach dem Auffrischen der älteren Kapitel ist mir jetzt Folgendes nicht mehr klar:
Bei der Def. des MV-Abhängigkeitsgraphs S' (Folie 2-5) steht, dass es pro Schedule mehrere Versionenordnungen geben kann.
Der Test eines Mehrversionen-Schedules auf MVSR ist in NP wegen dieser verschiedenen Versionenordnungen, für die S' getestet werden muss.
Im Beispiel (Folie 2-8) testen wir S' aber nur für EINE Versionenordnung (y1<