From a probability basic equation through mathematical deduction, a probability integral equation is set up in constraint condition of non-normal distribution.

从概率基本公式出发，在偏态分布的约束条件下，经数学推导；建立概率积分式。

youdao

Gives the deduction process dividing refreshment routine atom into EDB refreshment, and abduction refreshment deduction and constraint maintenance deduction to refresh routine atom.

给出了将更新事务原子分解为EDB更新的推导过程，并给出更新事务原子的溯因更新推导和约束维护推导。

youdao