On the membership and correctness problem for state serializability and value opacity / vorgelegt von Jürgen König, M.Sc. Paderborn, 2023
Inhalt
- Abstract
- Zusammenfassung
- Introduction
- Basics of STMs and Correctness Conditions
- Membership Problem
- Related Work
- The Membership Problem for Value Opacity is NP-Complete
- Comparison of Conflict Opacity and Value Opacity
- Correctness Problem
- Related Work
- The Correctness Problem for SSR- Is Decidable
- The Correctness Problem for OP- Is Decidable
- Discussion + Conclusion
- Proofs for membership:OP
- Proofs for correctness:ssr
- Proofs for correctness:OP