Yes that is correct. It gets complicated especially with P4. Let me explain:
P4 Fsb= 100MHz but runs at QDR (Quad Data Rate), so it effectively runs at 400MHz
PC800 bus= 400MHz, but runs at DDR (Double data rate), so it effectively runs at 800MHz
That clear things up?