Tính khả tuần tự của giao thức điều khiển tương tranh khóa hai pha trong cơ sở dữ liệu thời gian thực.