因为SQL是一种非过程化语言，所以一条语句可以代替一系列过程。

Because SQL is a non-procedural language, a single statement can take the place of a series of procedures.

youdao

提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。

In this paper, we propose a technology which transforms non-procedural functions defined formally by precondition and postcondition into procedural algorithms.

youdao

本文认为，这种“双重角色”理论还只是一种静态和结构主义的普适性分析，而非过程化的情景性研究。

But we think that this theory of double-role is only a general static and structural analysis and not a situational study in terms of processes.

youdao