Fakultet tehničkih nauka, DRA, Novi Sad

Predmet:
Informacioni sistemi i baze podataka

Prevođenje
 𝑇𝐶 𝐶1 , 𝐶2 , 𝐶1
𝑇𝐴 𝐴1 , 𝐴2 , 𝐶11 , 𝑄1 , 𝐴1
𝑃𝑊 𝐴1 , 𝐶1 , 𝑊1 , 𝐴1 + 𝐶1

𝑃𝑊 𝐴1 ⊆ 𝑇𝐴 𝐴1
𝑇𝐴 𝐴1 ⊆ 𝑃𝑊 𝐴1
𝑃𝑊 𝐶1 ⊆ 𝑇𝐶 𝐶1
𝑇𝐴 𝐶11 ⊆ 𝑇𝐶 𝐶1

dom 𝐶11 ⊆ dom 𝐶1

Null 𝑇𝐴 , 𝐶11 = ⊥
 𝑇𝐵 ({𝐵1 , 𝐵2 }, {𝐵1 })
𝑃𝑋 ({𝐴1 , 𝐵1 , 𝑋1 }, {𝐴1 + 𝐵1 })

𝑃𝑋 [𝐴1 ] ⊆ 𝑇𝐴 [𝐴1 ]
𝑃𝑋 𝐵1 ⊆ 𝑇𝐵 [𝐵1 ]
𝑇𝐵 𝐵1 ⊆ 𝑃𝑋 [𝐵1 ]

𝑇𝐷 ({𝐷1 , 𝐷2 , 𝐵1 , 𝑍1 }, {𝐷1 })

𝑇𝐷 𝐵1 ⊆ 𝑇𝐵 [𝐵1 ]
Null 𝑇𝐷 , 𝐵1 = ⊥

𝑃𝑌 𝐷1 , 𝐴1 , 𝐵1 , 𝑌1 , 𝐷1 + 𝐴1 + 𝐵1

𝑃𝑌 𝐷1 ⊆ 𝑇𝐷 [𝐷1 ]
𝑃𝑌 𝐴1 + 𝐵1 ⊆ 𝑃𝑋 [𝐴1 + 𝐵1 ]
𝑃𝐷 𝐷1 , 𝐷11 , 𝐷 , 𝐷1 + 𝐷11

𝑃𝐷 𝐷1 ⊆ 𝑇𝐷 [𝐷1 ]
𝑃𝐷 𝐷11 ⊆ 𝑇𝐷 [𝐷1 ]
dom 𝐷11 ⊆ dom(𝐷1 )
𝑇𝐵1 𝐵1 , 𝐵11 , 𝐵12 , 𝐵1 , 𝐵11
𝑇𝐵2 𝐵1 , 𝐵21 , 𝐵22 , 𝐵1 , 𝐵21

𝑇𝐵1 𝐵1 ⊆ 𝑇𝐵 [𝐵1 ]
𝑇𝐵2 𝐵1 ⊆ 𝑇𝐵 [𝐵1 ]

𝑇𝐵 𝐵1 ⊆ 𝑇𝐵1 𝐵1 ∪ 𝑇𝐵2 [𝐵1 ]

 𝑇𝐴 𝐴1 , 𝐴2 , 𝐴1
𝑇𝐶 𝐶1 , 𝐶2 , 𝐴1 , 𝐴1 + 𝐶1

𝑇𝐶 𝐴1 ⊆ 𝑇𝐴 [𝐴1 ]
 𝑇𝐹 ({𝐹1 , 𝐹2 }, {𝐹1 })
𝑇𝐵 ({𝐵1 , 𝐵2 , 𝐹11 , 𝑊1 }, {𝐵1 })
𝑃𝑉 ({𝐵1 , 𝐹1 , 𝑉1 }, {𝐵1 + 𝐹1 })

𝑇𝐵 𝐹11 ⊆ 𝑇𝐹 [𝐹1 ]
dom 𝐹11 ⊆ dom(𝐹1 )
Null(𝑇𝐵 , 𝐹11 ) = T

𝑃𝑉 𝐹1 ⊆ 𝑇𝐹 [𝐹1 ]
𝑃𝑉 𝐵1 ⊆ 𝑇𝐵 [𝐵1 ]
 𝑃𝑋 ({𝐴1 , 𝐵1 , 𝑋1 }, {𝐴1 + 𝐵1 })

𝑃𝑋 𝐴1 ⊆ 𝑇𝐴 𝐴1
𝑃𝑋 𝐵1 ⊆ 𝑇𝐵 [𝐵1 ]
𝑇𝐵 𝐵1 ⊆ 𝑃𝑋 [𝐵1 ]

𝑇𝐷 ({𝐷1 , 𝐷2 , 𝐵1 , 𝑍1 }, {𝐷1 })
𝑃𝑌 ({𝐷1 , 𝐴1 , 𝐵1 , 𝑌1 }, {𝐴1 + 𝐵1 + 𝐷1 })

𝑇𝐷 𝐵1 ⊆ 𝑇𝐵 [𝐵1 ]
Null 𝑇𝐷 , 𝐵1 = ⊥

𝑃𝑌 𝐷1 ⊆ 𝑇𝐷 [𝐷1 ]
𝑃𝑌 𝐴1 + 𝐵1 ⊆ 𝑃𝑋 [𝐴1 + 𝐵1 ]
𝑇𝐸 𝐸1 , 𝐸2 , 𝐸11 , 𝑆1 , 𝐸1

𝑇𝐸 𝐸11 ⊆ 𝑇𝐸 𝐸1
dom 𝐸11 ⊆ dom 𝐸1
Null(𝑇𝐸 , 𝐸11 ) = 𝑇
 𝑇𝐷1 ({𝐷11 , 𝐷12 , 𝐷1 }, {𝐷1 , 𝐷11 })
𝑇𝐷2 ({𝐷21 , 𝐷22 , 𝐷1 , 𝐸1 }, {𝐷1 , 𝐷21 })

𝑇𝐷1 𝐷1 ⊆ 𝑇𝐷 𝐷1
𝑇𝐷2 𝐷1 ⊆ 𝑇𝐷 [𝐷1 ]
𝑇𝐷 𝐷1 ⊆ 𝑇𝐷1 𝐷1 ∪ 𝑇𝐷2 [𝐷1 ]

𝑇𝐷2 𝐸1 ⊆ 𝑇𝐸 [𝐸1 ]
𝑁𝑢𝑙𝑙 𝑇𝐷2 , 𝐸1 = ⊥