dependency preserving

Question

if given depedencies are

A->B

C->B

then how can we prove that these dependency will logically imply AC->B ?

Comments

@ joshi_nitish  see this i am applying actually this

https://www.youtube.com/watch?v=Q8j4lYeVIek

---

@bikram sir pls clear this

---

@set2018

A-->B

=>  AC-->BC [ multiply by C at both sides ]

As productive rule said

if A->BC then A->B and A->C

so from productive rule we get ,    AC-->B,AC-->C

Hence AC-->B is logically implied .

Answer 1

A-->B

=>  AC-->BC [ multiply by C at both sides ] .....(i)

As productive rules said  if A->BC then A->B and A->C .

so by applying productive rule  to (i) we get ,    AC-->B,  AC-->C

Hence AC-->B is logically implied from A-->B and C---> B  . [ Proved ]

Answer 2

A-->B

=>  AC-->BC

=> AC-->B,AC-->C

Hence AC-->B