【正确答案】 B
【答案解析】解析：关系R显然满足第一范式。关系R的码是S，显然也没有非主属性对码的部分函数依赖，因此也满足第二范式。但M属性传递依赖于S，不满足第三范式。所以关系R规范化程度至多达到2NF。