Quy tắc bắc cầu trong hệ tiên đề Armstrong:

Trong quá trình tách lược đồ quan hệ, mục tiêu là phân rã một lược đồ lớn thành các lược đồ nhỏ hơn, đơn giản hơn, nhằm giảm dư thừa dữ liệu và cải thiện tính nhất quán. Việc tách được coi là "không làm tổn thất thông tin" nếu sau khi tách, chúng ta có thể khôi phục lại quan hệ gốc ban đầu một cách chính xác từ các quan hệ con đã được tách ra. Phép toán thường được sử dụng để khôi phục lại quan hệ gốc là phép kết nối tự nhiên (natural join). Điều này đảm bảo rằng không có thông tin nào bị mất trong quá trình tách, và quan hệ gốc có thể được tái tạo lại một cách chính xác.

Cú pháp thu hồi quyền truy cập (REVOKE) trong SQL thường có dạng:

REVOKE <quyền> ON <đối tượng> FROM <người dùng/role>;

Trong đó:

• <quyền>: Là quyền mà bạn muốn thu hồi (ví dụ: SELECT, INSERT, UPDATE, DELETE, v.v.).


• <đối tượng>: Là đối tượng mà quyền được thu hồi trên đó (ví dụ: bảng, view, v.v.).


• <người dùng/role>: Là người dùng hoặc role mà quyền sẽ bị thu hồi.

Ví dụ:

REVOKE SELECT ON employees FROM 'user1'@'localhost';

Câu lệnh này sẽ thu hồi quyền SELECT trên bảng employees từ người dùng user1.

Dựa vào cú pháp này, phương án 4 là phương án phù hợp nhất.

Để xác định thuộc tính dư thừa trong vế trái của một phụ thuộc hàm, ta cần kiểm tra xem việc loại bỏ thuộc tính đó có làm thay đổi bao đóng của vế trái hay không. Nếu bao đóng không thay đổi, thuộc tính đó là dư thừa.

• Xét X --> Z: Vế trái chỉ có X, nên không thể có thuộc tính dư thừa.


• Xét XY --> WP: Ta cần kiểm tra xem X+ có chứa W và P không, và Y+ có chứa W và P không.
  
  
  
  • Tính X+: Từ X --> Z, XZ --> R, ta có X+ = {X, Z, R}. Vậy X+ không chứa W và P.
  
  
  • Tính Y+: Không có phụ thuộc hàm nào có Y ở vế trái, nên Y+ = {Y}. Vậy Y+ không chứa W và P.
  
  
  • Tính (XY)+: Từ XY --> WP, XY --> ZWQ, X --> Z, XZ --> R, ta có (XY)+ = {X, Y, Z, W, P, Q, R}.
  
  
  
  

  Do đó, không có thuộc tính dư thừa trong XY --> WP.

  
  
• Xét XY --> ZWQ: Tương tự như trên, ta đã có (XY)+ = {X, Y, Z, W, P, Q, R}. Vì X --> Z, nên có thể viết lại thành XY --> WQ.
  
  
  
  • Nếu loại bỏ X, ta có Y+ = {Y}. Y+ không chứa Z, W, Q.
  
  
  • Nếu loại bỏ Y, ta có X+ = {X, Z, R}. X+ không chứa W, Q.
  
  
  
  

  Do đó, không có thuộc tính dư thừa trong XY --> ZWQ.

  
  
• Xét XZ --> R: Vì X --> Z, nên Z là dư thừa trong vế trái XZ.
  
  
  
  • Tính X+: Từ X --> Z và XZ --> R, ta có X+ = {X, Z, R}.
  
  
  • Nếu bỏ Z, ta có X+ = {X, Z, R} (không đổi).
  
  
  
  

Vậy, khẳng định đúng nhất là vế trái của XZ --> R có chứa thuộc tính dư thừa.