If having same products in an orders lines is not valid, then:
OrderLineID
column is redundant, you may use combination of {OrderID , ProductID }
as the pk of OrderLine table
If you want to use the surrogate identifier column, having OrderLineID
with incremental value, as the only PK column will serve, you may consider having {OrderID , ProductID }
as a unique key constraint.