解决方案:通过将STJ分解为两种关系模式,即SJ(S, J) ∈ BCNF和TJ(T, J) ∈ BCNF,消除了所有属性对的部分函数依赖和传递函数依赖。