Recognizing Prime Attributes Based on F-based Derivation Tree
Xiaoxue YU , Guohua LIU , Yulu XU , Changqi LIU , Limeng ZHANG , Dongyan ZHU , Songda HE
Journal of Donghua University(English Edition) ›› 2026, Vol. 43 ›› Issue (4) : 92 -101.
Although the prime attribute problem is nondeterministic polynomial-time complete (NP-complete), the difficulty of determining whether an attribute is prime is related to how the attribute appears in the set of functional dependencies (FDs). The prime attribute problem is extensively studied based on the occurrence of an attribute in the set of FDs. First, in a relation scheme R(U, F), the attribute set U is partitioned into four distinct subsets according to where attributes in U appear in F: U1 (attributes appearing exclusively on the left-hand sides of FDs in F), U2 (attributes appearing exclusively on the right-hand sides of FDs in F), U3 (attributes appearing on both sides of FDs in F), and U4 (attributes not appearing in any FD in F). Second, the occurrence patterns of attributes in the set of FDs are mapped to an F-based derivation tree (F-based DT) forest, and the features of attributes in U1, U2, U3 or U4 are shown in the F-based DT forest. Then, an algorithm for recognizing prime attributes based on F-based DT is proposed. Finally, the following conclusions are obtained: when an attribute belongs to U3, the prime attribute problem is NP-complete; when an attribute belongs to U1, U2, or U4, the problem is in polynomial-time complexity class (P-class), meaning it can be efficiently solved in polynomial time. Compared with traditional methods, the proposed algorithm can simplify the process for recognizing prime attributes significantly, and improve database normalization.
F-based derivation tree / prime attribute / NP-complete / normalization
| [1] |
|
| [2] |
|
| [3] |
|
| [4] |
|
| [5] |
|
| [6] |
|
| [7] |
|
| [8] |
|
| [9] |
|
| [10] |
|
| [11] |
|
| [12] |
|
| [13] |
|
| [14] |
|
| [15] |
|
| [16] |
|
| [17] |
|
| [18] |
|
| [19] |
|
| [20] |
|
| [21] |
|
| [22] |
|
/
| 〈 |
|
〉 |