(1) BCNF stricter than 3NF is true.
(2) True, dependency preserving lossless decomposition into 3NF is always possible by removing
transitive functional dependences.
(3) False, lossless dependency preserving decomposition is not possible in all the cases, when all non-
trivial functional dependencies are not dependent upon super keys.
(4) Certainly relation with two attributes is in BCNF, both will consist of super key.