算法1：原子优化

输入：将要被原子优化的一组映射规则集Σ

输出：将经过原子优化后的规则输出到Σ'中

1: Σ'←∅

2: for all σ∈Σ do

3: let σ =φ → ψ

4: C_cand ← generate set of possibles candidates from φ

5: C_v ←∅

6: repeat

7: e ← SelectAtomSet(C_cand, C_v)

8: if AskAtomSetValidity(σ,e)then

9: add e to C_v

10: remove e and its supersets from C_cand

11: else

12: remove e from C_cand

13: end if

14: ++i

15: until C_cand =∅

16: for all e∈C_v do