最近中國科技大學陳乾旺教授領導的研究組以二氧化碳和金屬鈉作原料，在440℃和800 atm的條件下，成功合成了金剛石，同時生成氧化鈉，首次實現了從二氧化碳到金剛石的逆轉變．該反應的化學方程式是________，反應類型是________．

最近中國科技大學陳乾旺教授領導的研究組以二氧化碳和金屬鈉作原料，在440 ℃和800 atm的條件下，成功合成了金剛石，同時生成氧化鈉，首次實現了從二氧化碳到金剛石的逆轉變。該反應的化學方程式是_________________，反應類型是_____________。