What is the minimal proof that a database relation is not in BCNF?
问题 I have the following functional dependencies (they represent all the functional dependencies on my relation): (1) BrokerName -> Office (2) StockName -> Dividend (3) InvestorId -> BrokerName (4) InvestorId, Stockname -> Quantity (5) InvestorId, Stockname -> Office I know from using the techniques in this YouTube video that (InvestorId, Stockname) is my one and only candidate key. According to @nvogel's solution in this SO thread: A relation, R, is in BCNF iff for every nontrivial FD (X->A)