o Consider a new simple predicate P

o Consider a new simple predicate Pi that partitions at least one fragment of P into two parts which are referenced in a different way by at least one application; Set P ← P ∪ Pi. Non-relevant predicate should be eliminated from P and this procedure is to be repeated until the set of the midterm fragments of P is complete.

Kết quả (Việt) 1:

o xem xét một vị ngữ đơn giản mới Pi mà phân vùng ít nhất một mảnh của P thành hai phần được tham chiếu trong một cách khác nhau của ứng dụng ít nhất một; Bộ P ← P u Pi. Vị ngữ có liên quan phòng không nên được loại bỏ từ P và thủ tục này là để được lặp đi lặp lại cho đến khi các thiết lập của các mảnh vỡ midterm của P xong.

Kết quả (Việt) 2:

o Xem xét một Pi vị mới, đơn giản mà các phân vùng có ít nhất một mảnh của P thành hai phần được tham chiếu trong một cách khác nhau bởi ít nhất một ứng dụng; Đặt P ← P ∪ Pi. Vị ngữ không liên quan nên được loại bỏ từ P và thủ tục này là để được lặp đi lặp lại cho đến khi các thiết lập của các mảnh vỡ giữa nhiệm kỳ của P là hoàn tất.