输入：不完备决策系统 I D S = ( U , A T = C ∪ D , V , f ) 。
输出：正域集合 P O S C ( D ) 。
1.初始化： P O S C ( D ) = ∅ ，对于 ∀ x i ∈ U ， ∂ C ( x i ) = ∅ ；
2.任取 a ∈ C ，对于 ∀ x i ∈ U 计算 ∂ a ( x i ) ，计算 P O S a ( D )
3.令 C = C − a ， U = U − P O S a ( D ) ， B = { a } ， ∂ B ( x i ) = ∂ a ( x i )
4.当 C ≠ ∅ 时，对于 ∀ b ∈ C ：
4.1. B = B ∪ { b } ， C = C − { b }
4.2. 对 ∀ x i ∈ U ， ∀ x j ∈ ∂ B ( x i ) 计算是否满足 ( x i , x j ) ∈ T O L ( B ) ，不满足时 ∂ B ( x i ) = ∂ B ( x i ) − { x j } ；
4.3. 计算 P O S B ( D ) ， P O S C ( D ) = P O S C ( D ) ∪ P O S B ( D ) ， U = U − P O S B ( D )
5.输出正域集合 P O S C ( D ) 。