Draw What Determines Each Fact
A functional dependency X → Y means one X value determines one Y value under the business rules. For example, customer_id → customer_name means one customer_id determines one customer_name. Candidate keys determine every attribute and contain no unnecessary attribute. Dependencies on part of a composite key are partial, while dependencies through another non-key attribute are transitive.
Why is order_id alone not a candidate key for OrderItem?