221 | | === Проверка на 3НФ сите R |
222 | | |
223 | | * **R1**: Клуч е `payment_method_id` и сите атрибути зависат единствено од него. Релацијата е во BCNF. |
224 | | |
225 | | * **R2**: Клуч е `service_category_id` и сите атрибути зависат единствено од него. Релацијата е во BCNF. |
226 | | |
227 | | * **R3**: Клуч е `property_image_id` и сите атрибути зависат единствено од него. Релацијата е во BCNF. |
228 | | |
229 | | * **R4**: Клуч е `payment_id` и сите атрибути зависат единствено од него. Релацијата е во BCNF. |
230 | | |
231 | | * **R5**: Клуч е `service_request_id` и сите атрибути зависат единствено од него. Релацијата е во BCNF. |
232 | | |
233 | | * **R6**: Клуч е `maintenance_log_id` и сите атрибути зависат единствено од него. Релацијата е во BCNF. |
234 | | |
235 | | * **R7**: Клуч е `inspection_id` и сите атрибути зависат единствено од него. Релацијата е во BCNF. |
236 | | |
237 | | * **R8**: Клуч е `document_id` и сите атрибути зависат единствено од него. Релацијата е во BCNF. |
238 | | |
239 | | * **R9**: Клуч е `message_id` и сите атрибути зависат единствено од него. Релацијата е во BCNF. |
240 | | |
241 | | * **R10**: Клуч е `unit_image_id` и сите атрибути зависат единствено од него. Релацијата е во BCNF. |
242 | | |
243 | | * **R11**: Клуч е `tenant_profile_id` и сите атрибути зависат единствено од него. Релацијата е во BCNF. |
244 | | |
245 | | |
246 | | |
247 | | * **R12** не е во 3НФ поради следните транзитивни зависности: |
| 221 | === Проверка на 3НФ |
| 222 | |
| 223 | |
| 224 | * **R1**: Клуч е `payment_method_id` и сите атрибути зависат единствено од него. Нема транзитивни зависности. **Релацијата е во BCNF**. |
| 225 | |
| 226 | * **R2**: Клуч е `service_category_id` и сите атрибути зависат единствено од него. Нема транзитивни зависности. **Релацијата е во BCNF**. |
| 227 | |
| 228 | * **R3**: Клуч е `property_image_id` и сите атрибути зависат единствено од него. Нема транзитивни зависности. **Релацијата е во BCNF**. |
| 229 | |
| 230 | * **R4**: Клуч е `payment_id` и сите атрибути зависат единствено од него. Нема транзитивни зависности.**Релацијата е во BCNF**. |
| 231 | |
| 232 | * **R5**: Клуч е `service_request_id` и сите атрибути зависат единствено од него. Нема транзитивни зависности. **Релацијата е во BCNF**. |
| 233 | |
| 234 | * **R6**: Клуч е `maintenance_log_id` и сите атрибути зависат единствено од него. Нема транзитивни зависности. **Релацијата е во BCNF**. |
| 235 | |
| 236 | * **R7**: Клуч е `inspection_id` и сите атрибути зависат единствено од него. Нема транзитивни зависности. **Релацијата е во BCNF**. |
| 237 | |
| 238 | * **R8**: Клуч е `document_id` и сите атрибути зависат единствено од него. Нема транзитивни зависности. **Релацијата е во BCNF**. |
| 239 | |
| 240 | * **R9**: Клуч е `message_id` и сите атрибути зависат единствено од него. Нема транзитивни зависности. **Релацијата е во BCNF**. |
| 241 | |
| 242 | * **R10**: Клуч е `unit_image_id` и сите атрибути зависат единствено од него. Нема транзитивни зависности. **Релацијата е во BCNF**. |
| 243 | |
| 244 | * **R11**: Клуч е `tenant_profile_id` и сите атрибути зависат единствено од него. Нема транзитивни зависности. **Релацијата е во BCNF**. |
| 245 | |
| 246 | * **R12 не е во 3НФ** поради повеќе транзитивни зависности помеѓу атрибутите, на пример: |
| 247 | * `property_id → property_type_id → property_type_name` |
| 248 | * `property_id → address_id → street, municipality, city, number, country` |
| 249 | * `property_id → user_id → first_name, last_name, email, password_hash, date_of_birth, rating, bio` |
| 250 | |
| 251 | == Декомпозиција на R12 |