- Một câu vấn tin gọi là sai nghĩa nếu các thành phần của nó khơng tham gia vào việc tạo ra kết quả.
4)Tính bền vững
Tính bền vững muốn nói đến tính chất của giao dịch bảo đảm rằng một khi giao
dịch uỷ thác, kết quả của nó được duy trì cố định và khơng bị xố ra khỏi CSDL. Vì thế DBMS bảo đảm rằng kết quả của giao dịch sẽ vẫn tồn tại dù có xảy ra các sự cố hệ thống. Đây chính là lý do mà chúng ta đã nhấn mạnh rằng giao dịch uỷ thác trước khi nó thơng báo cho người sử dụng biết rằng nó đã hồn tất thành cơng, tính bền vững đưa ra các vấn đề khôi phục dữ liệu, nghĩa là cách khôi phục CSDL về trạng thái nhất quán mà ở đó mọi hành động đã uỷ thác đều được phản ánh.
Tính khả tuần tự của các lịch biểu và việc sử dụng chúng
Mục đích của giao thức điều khiển tương tranh là xếp lịch thực hiện sao cho không xảy ra sự tác động lẫn nhau giữa chúng. Có một giải pháp đơn giản: Chỉ cho phép một giao dịch thực hiện tại một thời điểm. Nhưng mục đích của hệ quản trị cơ sở dữ liệu đa người dùng lại là tối đa hoá sự thực hiện đồng thời trong hệ thống sao cho những giao dịch thực hiện đồng thời không ảnh hưởng lẫn nhau.
Lịch biểu là một dãy (có thứ tự) các thao tác của một tập các giao dịch tương tranh mà trong đó thứ tự của mỗt thao tác trong mỗi giao dịch được bảo toàn.
Đây là vấn đề xử lý hoạt động đồng thời có liên quan đến các nhà thiết kế CSDL chứ không phải các nhà thiết kế các hệ thống đồng thời tổng quát.
Giả sử chúng ta có một tập các giao dịch S={T1, T2, T3, ... }.
Lịch biểu tuần tự: Chúng ta thấy ngay rằng nếu các giao dịch thực hiện tuần tự
theo một thứ tự nào đó, các thao tác của mỗi giao dịch được thực hiện kế tiếp nhau, khơng có một thao tác nào của các giao dịch khác xen kẽ vào thì các sự cố tranh chấp chắc chắn khơng xảy ra và trong CSDL chúng ta có một kết quả nào đó.
Chúng ta định nghĩa một lịch biểu cho một tập các giao dịch S là thứ tự (có thể xen kẽ) các bước cơ bản của của các giao dịch (khoá, đọc, ghi, ... ) được thực hiện.
Các bước của một giao dịch đã cho phải xuất hiện trong lịch biểu theo đúng thứ tự xảy ra trong giao dịch đó.
Lịch biểu khơng tuần tự: Là lịch mà trong đó các thao tác của một tập các giao
dịch tương tranh được xen kẽ vào nhau.
Bởi vì ln có lịch biểu tuần tự cho tập giao dịch S vì vậy chúng ta sẽ giả sử rằng hoạt động của các giao dịch đồng thời là đúng đắn nếu và chỉ nếu tác dụng của nó
giống như tác dụng có được của lịch biểu tuần tự.
Lịch biểu được gọi là khả tuần tự (serializable) nếu tác dụng của nó giống với tác dụng của một lịch biểu tuần tự.
Lịch biểu được gọi là bất khả tuần tự nếu tác dụng của nó khơng giống với tác dụng của lịch biểu tuần tự.
Mục tiêu của bộ xếp lịch là với một tập các giao dịch đồng thời, đưa ra được một lịch biểu khả tuần tự.
Trong việc tuần tự hoá, thứ tự của các thao tác đọc và ghi rất quan trọng:
- Nếu hai thao tác chỉ đọc một mục dữ liệu thì chúng sẽ khơng ảnh hưởng đến nhau và thứ tự giữa chúng không quan trọng
- Nếu hai thao tác đọc hay ghi trên hai mục dữ liệu hồn tồn khác nhau thì chúng sẽ khơng ảnh hưởng đến nhau và thứ tự giữa chúng không quan trọng
- Nếu một thao tác ghi một mục dữ liệu và một thao tác khác đọc hay ghi trên chính mục dữ liệu này thì thứ tự giữa chúng rất quan trọng.