A 选项：BCNF（Boyce-Codd Normal Form）是在函数依赖范畴内最高的规范化程度。当关系模式 R 属于 BCNF 时，在函数依赖范畴内，它消除了插入和删除异常。因为 BCNF 要求关系模式中的每一个决定因素都必须是候选码，这意味着关系中的数据完整性得到了很好的保证，不会出现因函数依赖导致的插入或删除异常情况，所以该选项正确。

B 选项：由于 BCNF 消除了函数依赖引起的冗余和异常，所以关系模式 R (A, B, C) 属于 BCNF 时，不存在由函数依赖导致的插入异常和冗余，该选项错误。

C 选项：BCNF 是 3NF 的进一步规范化，一个关系模式属于 BCNF，则一定属于 3NF，该选项错误。

D 选项：关系模式属于 BCNF 并不意味着一定属于 4NF。4NF 涉及到多值依赖等概念，比 BCNF 的要求更为严格，仅从关系模式 R (A, B, C) 属于 BCNF 不能得出它一定属于 4NF 的结论，该选项错误。