Năm 1974, Armstrong đã đưa ra hệ tiên đề cho các phụ thuộc hàm gồm các luật nào?

Cho lược đồ quan hệ R(A,B,C,D,E,G,H) và tập các phụ thuộc hàm F={AB → C, B → D, CD → E, CE → GH, G → A}. Phụ thuộc hàm nào thoả R?

Luật phản xạ trong hệ tiên đề Armstrong được mô tả như thế nào?

Luật tăng trưởng (gia tăng) trong hệ tiên đề Armstrong được mô tả như thế nào?

Nếu A → C và CZ → D thì AZ → D. Luật nào được áp dụng?

Cho lược đồ quan hệ và tập các phụ thuộc hàm F={AB → C, B → D, CD → E, CE → GH, G → A}. Phụ thuộc hàm nào thoả R?

Xác định kiểu ràng buộc toàn vẹn sau: Ngày xếp lương phải lớn hơn ngày vào làm của Nhân viên. ∀t ∈ NHANVIEN (t.NgVaoLam <= t.NgXepLuong)

</=>

Xác định kiểu ràng buộc toàn vẹn cho mô tả sau: "Lương nhân viên tối thiểu là 2.500.000" ∀t ∈ NHANVIEN (t.Luong>=2.500.000)