Posted by Heiko Schuldt on January 08, 2001 at 12:39:40:
In Reply to: zu Kap. 3: SR und Bedingung (1) von SOT (S serialisierbar) posted by Andreas on January 04, 2001 at 15:51:46:
: Kurze Frage: In der Grafik auf Seite 3-9 enthaelt die Klasse PRED eine Klasse mit der Bezeichnung "SR&ST". ST steht wohl fuer strikt. Bedeutet SR&ST diejenige strikte Untermenge, die serialisierbar ist? FSSR, VSR, CPSR, OPSR, MVSR oder MVCPSR?
Genau, SR & ST ist die Klasse aller Schedules, die sowohl strikt als auch konfliktserialisierbar, also CPSR ist.
: Vermutlich damit im Zusammenhang: Das erste Kriterium fuer S in SOT (Seite 3-10) ist, dass S "serialisierbar" ist. Ist hier implizite gemeint, dass S in CPSR, oder gibt es verschiedene Arten von SOT, je nach Serialisierbarkeits-Kriterium, das man hier anwendet (FS-SOT, CP-SOT usw???)
Hier wird nur CPSR verwendet. Es gibt also nur ein SOT-Kriterium und das setzt CPSR voraus.
Die Sichtserialisierbarkeit und die Final-State-Serialisierbarkeit hatten wir ja schon als praktisch nicht
sinnvoll charakterisiert (durch NP-vollständigen Test auf diese Kriterien).
Gruss, Heiko