Lagermanagementsicht (L): relation ArtikelArt(ANr, AName, Menge, Lieferant, Gewicht); relation Lagereinheit(LeNr, LeaNr, ANr, Stückzahl, Gewicht, LhNr); relation LagereinheitArt(LeaNr, LeaName, Länge, Breite, Höhe, MaxGewicht); relation Lagerhilfsmittel(LhNr, LhaNr, Gewicht, LoNr); relation LagerhilfsmittelArt(LhaNr, LhaName, Länge, Breite, Höhe, MaxGewicht); relation Lagerort(LoNr, LoaNr, Gewicht); relation LagerortArt(LoaNr, Länge, Breite, Höhe, MaxGewicht); relation Verträglichkeit(ANr, LoNr); Herstellersicht (H): relation ArtikelArt (ANr, AName, Menge); relation Liefereinheit (LfNr, ANr, Stückzahl, LieferNr); relation Lieferung (LieferNr, Datum, Kunde); relation GeoFläche (FID, KID, ANr); relation GeoKante (KID, PID); relation GeoPunkt (PID, X, Y, Z); Prädikate (3)
Prädikate (4) Vereinte funktionale Abhängigkeiten: { L.ArtikelArt.ANr L.ArtikelArt.AName, H.ArtikelArt.ANr H.ArtikelArt.AName } { L.ArtikelArt.ANr L.ArtikelArt.Menge, H.ArtikelArt.ANr H.ArtikelArt.Menge } { L.Lagereinheit.LeNr L.Lagereinheit.ANr, H.Liefereinheit.LfNr L.Liefereinheit.ANr } { L.Lagereinheit.LeNr L.Lagereinheit.Stückzahl, H.Liefereinheit.LfNr L.Liefereinheit.Stückzahl }
Prädikate (5) Inklusionsabhängigkeiten zwischen L und H: ANr (H.ArtikelArt ) ANr (L.ArtikelArt) ANr (L.ArtikelArt ) ANr (H.ArtikelArt) LfNr (H.Liefereinheit) LeNr (L.Lagereinheit) LeNr (L.Lagereinheit) LfNr (H.Liefereinheit) Der Hersteller beliefert ausschließlich das Lager, das durch die Lagermanagementsicht beschrieben wird. Umgekehrt wird das Lager ausschließlich vom genannten Hersteller beliefert. Zirkuläre Inklusionsabhängigkeiten!