When converting a schema to BCNF or 3NF form, are they guaranteed to be lossless i.e if a relational schema R, having a dependency violating the condition of BCNF or 3NF, is decomposed into R1 and R2 so that R1 and R2 are in BCNF or 3NF will R1 and R2 always satisfy the following:
R1 ⋈ R2 = R