Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
Sixth normal form
Relational database normalization form which generalizes relational operators to support interval data

Sixth normal form (6NF) is a normal form used in relational database normalization which extends the relational algebra and generalizes relational operators (such as join) to support interval data, which can be useful in temporal databases.

The term 6NF has historically also been used to refer to another normalization degree, which today is more commonly known as domain-key normal form (DKNF) (see Other meanings).

We don't have any images related to Sixth normal form yet.
We don't have any YouTube videos related to Sixth normal form yet.
We don't have any PDF documents related to Sixth normal form yet.
We don't have any Books related to Sixth normal form yet.
We don't have any archived web articles related to Sixth normal form yet.

Definition

Christopher J. Date and others have defined sixth normal form as a normal form, based on an extension of the relational algebra.123

Relational operators, such as join, are generalized to support a natural treatment of interval data, such as sequences of dates or moments in time, for instance in temporal databases.456 Sixth normal form is then based on this generalized join, as follows:

A relvar R [table] is in sixth normal form (abbreviated 6NF) if and only if it satisfies no nontrivial join dependencies at all — where, as before, a join dependency is trivial if and only if at least one of the projections (possibly U_projections) involved is taken over the set of all attributes of the relvar [table] concerned.7

Date et al. have also given the following definition:

Relvar R is in sixth normal form (6NF) if and only if every JD [Join Dependency] of R is trivial — where a JD is trivial if and only if one of its components is equal to the pertinent heading in its entirety.8

Any relation in 6NF is also in 5NF.

Sixth normal form is intended to decompose relation variables to irreducible components. Though this may be relatively unimportant for non-temporal relation variables, it can be important when dealing with temporal variables or other interval data. For instance, if a relation comprises a supplier's name, status, and city, we may also want to add temporal data, such as the time during which these values are, or were, valid (e.g., for historical data) but the three values may vary independently of each other and at different rates. We may, for instance, wish to trace the history of changes to Status; a review of production costs may reveal that a change was caused by a supplier changing city and hence what they charged for delivery.

For further discussion on Temporal Aggregation in SQL, see also Zimanyi.9 For a different approach, see TSQL2.10

Usage

The sixth normal form is currently as of 2009 being used in some data warehouses where the benefits outweigh the drawbacks,11 for example using anchor modeling. Although using 6NF leads to an explosion of tables, modern databases can prune the tables from select queries (using a process called 'table elimination' - so that a query can be solved without even reading some of the tables that the query refers to12) where they are not required and thus speed up queries that only access several attributes.

Examples

In order for a table to be in sixth normal form, it has to be in fifth normal form first and then it requires that each table satisfies only trivial join dependencies. Let's take a simple example13 with a table already in 5NF: Here, in the users table, every attribute is non null and the primary key is the username:

Users_table
UsernameDepartmentStatus

This table is in 5NF because each join dependency is implied by the unique candidate key of the table (Username). More specifically, the only possible join dependencies are: {username, status}, {username, department}.

The 6NF version would look like this:

Users
UsernameStatus
Users_dept
UsernameDepartment

So, from one table in 5NF, 6NF produces two tables.

Following is another example:

TABLE 1
Medic IDMedic NameOccupationTypePractice in years
1Smith JamesOrthopedicSpecialist23
2Miller MichaelOrthopedicProbationer4
3Thomas LindaNeurologistProbationer5
4Scott NancyOrthopedicResident1
5Allen BrianNeurologistSpecialist12
6Turner StevenOphthalmologistProbationer3
7Collins KevinOphthalmologistSpecialist7
8King DonaldNeurologistResident1
9Harris SarahOphthalmologistResident2

The join dependencies of the table are {medic name, occupation}, {medic name, practice in years} and {medic name, type}. Hence we could see that such table is 2NF (due to the appearance of transitive dependency). The following tables try to bring it to 6NF:

TABLE 2.1
Medic IDMedic Name
1Smith James
2Miller Michael
3Thomas Linda
4Scott Nancy
5Allen Brian
6Turner Steven
7Collins Kevin
8King Donald
9Harris Sarah
TABLE 2.2
Medic IDOccupation
1Orthopedic
2Orthopedic
3Neurologist
4Orthopedic
5Neurologist
6Ophthalmologist
7Ophthalmologist
8Neurologist
9Ophthalmologist
TABLE 2.3
Medic IDType
1Specialist
2Probationer
3Probationer
4Resident
5Specialist
6Probationer
7Specialist
8Resident
9Resident
TABLE 2.4
Medic IDPractice in years
123
24
35
41
512
63
77
81
92

Other meanings

Sixth normal form (6NF) is sometimes instead used as a synonym for domain-key normal form (DKNF). This usage predates Date et al.'s work. 14

See also

Bibliography

Further reading

References

  1. Date, Darwen & Lorentzos 2003. - Date, Chris J.; Darwen, Hugh; Lorentzos, Nikos A. (January 2003). Temporal Data and the Relational Model: A Detailed Investigation into the Application of Interval and Relation Theory to the Problem of Temporal Database Management. Oxford: Elsevier LTD. ISBN 1-55860-855-9.

  2. Date, Darwen & Lorentzos 2014. - Date, Chris J.; Darwen, Hugh; Lorentzos, Nikos A. (12 August 2014). Time and relational theory - Temporal databases in the relational model and SQL. Elsevier-Morgan Kaufmann. ISBN 9780128006313.

  3. Harrington 2009, pp. 125–126. - Harrington, Jan L. (2009). Relational Database Design and Implementation: Clearly Explained. Elsevier-Morgan Kaufmann. ISBN 9780123747303.

  4. Date, Darwen & Lorentzos 2003, pp. 141–160. - Date, Chris J.; Darwen, Hugh; Lorentzos, Nikos A. (January 2003). Temporal Data and the Relational Model: A Detailed Investigation into the Application of Interval and Relation Theory to the Problem of Temporal Database Management. Oxford: Elsevier LTD. ISBN 1-55860-855-9.

  5. Date, Darwen & Lorentzos 2014. - Date, Chris J.; Darwen, Hugh; Lorentzos, Nikos A. (12 August 2014). Time and relational theory - Temporal databases in the relational model and SQL. Elsevier-Morgan Kaufmann. ISBN 9780128006313.

  6. Harrington 2009, pp. 125–126. - Harrington, Jan L. (2009). Relational Database Design and Implementation: Clearly Explained. Elsevier-Morgan Kaufmann. ISBN 9780123747303.

  7. Date, Darwen & Lorentzos 2003, p. 176. - Date, Chris J.; Darwen, Hugh; Lorentzos, Nikos A. (January 2003). Temporal Data and the Relational Model: A Detailed Investigation into the Application of Interval and Relation Theory to the Problem of Temporal Database Management. Oxford: Elsevier LTD. ISBN 1-55860-855-9.

  8. Date, Darwen & Lorentzos 2014, p. 213. - Date, Chris J.; Darwen, Hugh; Lorentzos, Nikos A. (12 August 2014). Time and relational theory - Temporal databases in the relational model and SQL. Elsevier-Morgan Kaufmann. ISBN 9780128006313.

  9. Zimanyi 2006. - Zimanyi, E. (June 2006). "Temporal Aggregates and Temporal Universal Quantification in Standard SQL" (PDF). ACM SIGMOD Record, volume 35, number 2, page 16. ACM. http://www.sigmod.org/publications/sigmod-record/0606/sigmod-record.june2006.pdf

  10. Snodgrass. - Snodgrass, Richard T. "TSQL2 Temporal Query Language". http://www.cs.arizona.edu/~rts/tsql2.html

  11. See the Anchor Modeling website for a website that describes a data warehouse modelling method based on the sixth normal form http://www.anchormodeling.com

  12. What is Table Elimination? - MariaDB Knowledge Base https://mariadb.com/kb/en/what-is-table-elimination/

  13. Example provided by: http://www.anattatechnologies.com/q/2011/07/normalization-6nf/ http://www.anattatechnologies.com/q/2011/07/normalization-6nf/

  14. dbdebunk. - Date, Chris J. "ON DK/NF NORMAL FORM". Archived from the original on 6 April 2012. https://web.archive.org/web/20120406123712/http://www.dbdebunk.com/page/page/621935.htm