Dạng chuẩn 4

Dạng chuẩn 4 (viết tắt là 4NF từ tiếng Anh Fourth normal form) là một dạng chuẩn hóa lược đồ quan hệ cơ sở dữ liệu. Cho F là tập phụ thuộc hàm và phụ thuộc đa trị trên U. Lược đồ quan hệ R thuộc U ở dạng chuẩn 4 đối với F nếu mọi phụ thuộc đa trị X->Y được bao hàm trong F áp dụng cho R thì phụ thuộc đa trị này là tầm thường hoặc X là một siêu khóa của R. ^ "A relation schema R* is in fourth normal form (4NF) if, whenever a nontrivial multivalued dependency X ↠ {\displaystyle \twoheadrightarrow } Y holds for R*, then so does the functional dependency X → A for every column name A of R*. Intuitively all dependencies are the result of keys." Fagin, Ronald (1977). “Multivalued Dependencies and a New Normal Form for Relational Databases” (PDF). ACM Transactions on Database Systems. 2 (1): 267. doi:10.1145/320557.320571. Date, C. J. (1999), An Introduction to Database Systems Lưu trữ 2005-04-04 tại Wayback Machine (8th ed.). Addison-Wesley Longman. ISBN 0-321-19784-4. Kent, W. (1983) A Simple Guide to Five Normal Forms in Relational Database Theory, Communications of the ACM, vol. 26, pp. 120–125 Advanced Normalization Lưu trữ 2007-07-06 tại Wayback Machine by ITS, University of Texas.