派生関係はNULLを使わないために導入するものじゃないから話が噛み合わないのかもね