Các phương pháp tối ưu cơ bản:?

Mọi lịch trình có thể phục hồi đều có thể tuần tự hóa được

Trong một lịch trình có thể phục hồi, nếu một giao dịch T được thực hiện, thì bất kỳ giao dịch nào khác mà T đọc từ đó cũng phải được thực hiện

Trong một lịch trình có thể phục hồi, sẽ không có giao dịch nào bị hủy bỏ vì một giao dịch mà nó đọc từ đó đã bị huỷ bỏ

Không tồn tại lịch trình phục hồi, chỉ có lịch trình tuần tự

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 sắp xếp

Là một dãy (có thứ tự) các giao dịch được thực hiện kế tiếp nhau, không có một thao tác nào của giao dịch khác xen kẽ vào

Là lịch biểu 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

Là lịch biểu chỉ ra thứ tự hoạt động đúng đắn của các giao dịch khả tuần tự

Cho phép một giao dịch đọc một mục và cập nhật dữ liệu trên mục này

Chỉ cho phép một giao dịch đọc một mục, không được cập nhật trên mục này

Chỉ cho phép một giao dịch đọc một mục nhưng không cho phép chia sẻ mục này

Cho phép một giao dịch đọc một mục và cho phép chia sẻ mục này

Có khoá đọc hoặc có khoá ghi hoặc không có khoá

Có khoá chia sẻ hoặc có khoá độc quyền hoặc có khoá gài

Có khoá đọc hoặc có khoá ghi hoặc có khoá độc quyền

Có khoá đọc hoặc có khoá ghi hoặc có khoá chia sẻ

Nếu nó thỏa một tập các ràng buộc toàn vẹn ngữ nghĩa

Nêu nó đảm bảo tính nhất quán của CSDL,

Nếu nó thỏa một tập các phụ thuộc hàm

Nếu nó loại bỏ các ràng buộc dư thừa

Kiểm tra truy vấn của người dùng có được xử lý hay không

Giảm thiểu chức năng chi phí

Bộ quản lý giao dịch phân tán

Dịch các lệnh của người sử dụng khi họ gửi đến và định dạng dữ liệu kết quả để gửi lại cho người dùng

Tính đầy đủ, tính phục hồi, tính cực tiểu

Tính đầy đủ, tính phục hồi, tính tách biệt

Tính đầy đủ, tính tách biệt, tính cực tiểu

Tính phục hồi, tính tách biệt, tính cực tiểu

Là phân mảnh được thực hiện trên các vị từ của chính quan hệ

Là phân mảnh một quan hệ dựa trên các vị từ của quan hệ khác

Là phân mảnh dựa trên phép chọn những bộ của quan hệ thoả mãn một biểu thức điều kiện cho trước

Phép phân mảnh dựa trên việc thiết lập một quan hệ mới chỉ có một số thuộc tính từ quan hệ gốc

PROJ

EMP

ASG

EMP,PROJ

Ma trận lực hút thuộc tính

Ma trận giá trị sử dụng thuộc tính

Ma trận lực hút tụ nhóm

Ma trận hoán vị các thuộc tính