GATE CSE 1988 | Question: 12iic

Question

Using Armstrong’s axioms of functional dependency derive the following rules:

$\{ x \rightarrow y, \: z \subset y \} \mid= x \rightarrow z$

(Note: $x \rightarrow y$ denotes $y$ is functionally dependent on $x$, $z \subseteq y$ denotes $z$ is subset of $y$, and $\mid =$ means derives).

Answer 1

$\because z\subset y$, Trivially $y\rightarrow z $ . Now by transitivity, $x \rightarrow y, y \rightarrow z \implies x \rightarrow z$

Comments

According to Wikipedia:

There is a proper subset. And here it is just a subset. Why doesn't it make a difference?

---

@Akash Papnai
Because proper subset is also a subset with a stricter version.