Decomposition Property Checker
Enter an original relation (attributes and FDs) and a set of decomposed relations. The tool will check for lossless-join and dependency preservation properties. Original Attributes: e.g., A,B,C,D,E or R(A,B,C,D,E) Original FDs: e.g., A -> B; C -> D (or use A → B) Decomposed Schema: e.g., R1(A,B,C); R2(C,D,E) - separate relations by semicolon.
Original Relation
Decomposed Schema