BCNF（Boyce-Codd范式）是关系数据库理论中的一种范式，用于消除函数依赖的异常。BCNF要求每个非平凡函数依赖都必须以超键（即包含所有属性的键）为左侧。

下面是一个示例，说明如何找到实际使用超键而不是候选键的情况。

假设我们有一个关系模式R(A, B, C, D, E)，其中A是候选键。现在我们来看一下以下函数依赖：

1. A -> B
2. B -> C
3. BC -> D
4. D -> E

在这个例子中，A是候选键，因为它能唯一地标识每个元组。然而，我们可以注意到函数依赖3（BC -> D）和4（D -> E）。

如果我们考虑BC作为超键，那么BC -> D并不违反BCNF，因为BC是超键。同样地，如果我们考虑BD作为超键，那么D -> E也不违反BCNF，因为BD是超键。

所以，在这个例子中，我们找到了实际使用超键而不是候选键的情况。

以下是一个使用SQL代码示例来说明这个例子：

CREATE TABLE R (
    A INT,
    B INT,
    C INT,
    D INT,
    E INT,
    PRIMARY KEY (A)
);

-- 添加外键约束
ALTER TABLE R ADD CONSTRAINT fk_bc FOREIGN KEY (B, C) REFERENCES R(B, C);
ALTER TABLE R ADD CONSTRAINT fk_bd FOREIGN KEY (B, D) REFERENCES R(B, D);

-- 添加数据
INSERT INTO R (A, B, C, D, E) VALUES (1, 2, 3, 4, 5);
INSERT INTO R (A, B, C, D, E) VALUES (6, 7, 8, 9, 10);

-- 查询数据
SELECT * FROM R;

在这个示例中，我们创建了一个名为R的表，其中A是主键。然后，我们添加了两个外键，其中一个是BC，另一个是BD。最后，我们插入了一些数据，并查询了整个表。

总结：

BCNF要求每个非平凡函数依赖都必须以超键为左侧。在上面的示例中，我们找到了实际使用超键而不是候选键的情况，并使用SQL代码进行了演示。