I have 4 tables as shown in the attached picture.
I want to insure that each delivery only contains packages from the same shipment. So I added the "ShipmentID" foreign key as the other primary key in the "Packages" table. In my junction table "DeliveryPackages" I shared the foreign key "ShipmentID", so it is a foreign key to Packages and Deliveries. I would like to know is this in normal form, if so is it at least 3rd normal form. I have left out other fields to simplify the question.