设有关系模式R(A，B，C，D)，在其上的函数依赖集为：
F=A→C，B→AC，D→AC，C→A)
①计算(CD)⁺。
②求R的码。

从1999年深秋到2013年6月，从神舟一号到神舟十号，中国载人航天工程完成了从一飞冲天到空间手控交会对接的跨越。一次次的突破和胜利都源于中国航天人不断的技术积累和创新，我们对宇宙空间的探索从未止步。我国航天工程的成功实施，已探索出一套符合我国国情和重大科技工程的科学管理模式和方法，积累了新形势下组织实施重大科技工程的重要经验；突破了一大批具有自主知识产权的核心技术和关键技术，取得了一系列重大科技创新成果；证明了我国航天工程的计划、程序、步骤等举措是科学的。

我国航天工程的成功实施，是如何体现“实践是认识的基础”的？