Changes between Version 2 and Version 3 of Normalization

Timestamp:

09/01/25 00:31:40 (2 months ago)

Author:

222004

Comment:

--

Normalization

@@ -7 +7 @@
 Целта е да се докаже, со користење на функционални зависности, покривачи и суперклучеви, дека секоја релација ја задоволува Boyce–Codd Normal Form (BCNF).
 
-== Идентификување на суперклучеви и нивните покривачи
+== Нормализација
+Првичниот дизајн не ја содржеше релацијата **Facility**. Наместо тоа, релацијата **Inventory** беше директно врзана со **Company**, според следниот модел:\\
+
+Inventory(id, company_id, code, ...)\\
+
+Функционалните зависности беа:\\
+- id → {company_id, code, ...}\\
+- code → id\\
+- company_id → code  \\
+\\
+Последната зависност company_id → code претставува проблем: левата страна (company_id) не е суперклуч, а детерминира друг атрибут. Ова е директно прекршување на условот за BCNF.
+
+**Доказ преку покривач:**\\
+- (company_id)⁺ = {company_id, code}  \\
+→ не го покрива целиот сет на атрибути во Inventory.  \\
+- Значи company_id не е суперклуч, а сепак детерминира code.  \\
+- Следува: Inventory **не е во BCNF**.\\
+
+----
+
+== Декомпозиција за да се постигне BCNF
+
+За да се елиминира прекршувањето, воведовме нова релација **Facility**. \\ 
+Сега добиваме:\\
+\\
+Facility(id, company_id, facility_name, code)  \\
+Inventory(id, facility_id, ...)\\
+\\
+Нови функционални зависности:\\
+- Во Facility:  \\
+  id → {company_id, facility_name, code}  \\
+  code → id  \\
+  → во двата случаи левата страна е клуч → Facility е во BCNF.  \\
+\\
+- Во Inventory:  \\
+  id → {facility_id, ...}  \\
+  facility_id е уникатен → facility_id → id  \\
+  → левата страна секогаш е клуч → Inventory е во BCNF.\\
+
+Со оваа декомпозиција овозможивме и полесно скалирање на апликацијата во иднина, што воедно беше и наша цел.
+
+----
+
+== Идентификување на суперклучеви и нивните покривачи после нормализацијата
 
 **Users**\\