第三范式和bc范式