Q&A

] > Q&A

Problems 14.18 , 14.20, 14.26 and 14.29 from 3rd edition of the textbook (pages 498-499).
On Question 10.18, when we disprove do you want us to show the proof through closer of attributes or do we need to show a proof by a counter example?
The problem explicitly asks for a counter example proof–not for a closure proof.
In problem 10.18 the problem states to use rules IR1 through IR3. Are we to adhere strictly to this?
Yes
Can we also use the two additional rules (union & decomposition) defined in class for 10.18?
No
Can we use the closures for 10.18?
No