In all real systems transactions can abort for many reasons, and serializability by itself is not sufficient for correctness.
Στα πραγματικά συστήματα οι συναλλαγές μπορούν να κάνουν abort για πολλούς και διάφορους λόγους και σειριοποιησιμότητα από μόνη της δεν είναι αρκετή για ορθότητα.