&ccedil;&not;&not;&aring;…&shy;&ccedil;&laquo;&nbsp;&auml;&sup1;&nbsp;&eacute;&cent;˜&ccedil;&shy;”&

# ç¬¬å…­ç« ä¹ é¢˜ç­”&

This preview shows pages 1–3. Sign up to view the full content.

6 1 X 1 Y 1 S 1 1 11 X={01 11 2}1 Y={01 21 4}1 S={ < x1 y | x+y X Y} 1 21 X={11 21 31 41 5}1 Y={11 21 3}1 S={ < x1 y | x=y 2 1 x X1 y Y} 1 11 S={ < 01 0 < 01 2 < 21 0 } 1 21 S={ < 11 1 < 41 2 } 21 P={ < 11 2 < 21 4 < 31 3 } Q={ < 11 3 < 21 4 < 41 2 } 1 dom1 P1 ran1 P( dom1 P Q1 =dom1 P1 1 dom1 Q1 1 dom1 P1 ={11 21 3} ran1 P1 ={21 31 4} ( x x dom1 P Q1 1 y1 1 x1 y P Q1 ⇔5 y1 1 x1 y P ∨< x1 y Q1 ⇔5 y1 1 x1 y P1 1 y1 1 x1 y Q1 x dom1 P1 1 x dom1 Q1 x dom1 P1 1 dom1 Q1 1 dom1 P Q1 =dom1 P1 1 dom1 Q1 31 R 1 S ≠ [( R S 1 R 1 S 1 A 1 R 1 S > A ( x1 1 x1 x R 1

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
< x1 x S1 < x1 x R S1 R S ∂♠ 1 R 1 S Χ 1 x1 y < x1 y R S ⇔< x1 y R ∧< x1 y S ⇔< y1 x R ∧< y1 x S ⇔< y1 x R S 1 R S ∂♠ 1 R 1 S Χ 1 x1 y < y1 z < x1 y R S ∧< y1 z R S ⇔< x1 y R ∧< x1 y S ∧< y1 z R ∧< y1 z S x1 y R ∧< y1 z R1 1 1 < x1 y S ∧< y1 z S1 ⇔< x1 z R ∧< x1 z S ⇔< x1 z R S 1 R S ∂♠ 45
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 02/06/2011 for the course CS 343 taught by Professor Zhoujunli during the Spring '08 term at BUPT.

### Page1 / 9

ç¬¬å…­ç« ä¹ é¢˜ç­”&

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online