Consider the following statements given below:
S1: There is always possible a lossless, dependency preserving BCNF decomposition.
S2: Any relation with two attributes is in BCNF.
S3: For two relation R(A, B) with functional dependency F = {A → B} and S(B, C) with functional dependency F={B→C}, natural join of R ▹◃ S is in BCNF.
Which of the following statements are true?