relations - columbia universityabishek/files/dm-ch8.pdf · relations 8.1 relations and their pr...

38
Section 8.0 8.0.1 Chapter 8 Relations 8.1 Relations and Their Properties 8.2* n-ary Relations 8.3 Representing Relations 8.4 Closures of Relations 8.5 Equivalence Relations 8.6 Partial Orderings coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Upload: others

Post on 02-Apr-2021

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.0 8.0.1

Chapter 8Relations

8.1 Relations and Their Properties

8.2* n-ary Relations

8.3 Representing Relations

8.4 Closures of Relations

8.5 Equivalence Relations

8.6 Partial Orderings

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 2: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.1 Relations & Their Properties 8.1.1

8.1 RELATIONS & THEIR PROPERTIES

CONCEPTUALIZATION and MODELING

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 3: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.1.2 Chapter 8 Relations

MORE EXAMPLES

GENERALIZATION

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 4: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.1 Relations & Their Properties 8.1.3

ALTERNATIVE MODELS of RELATIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 5: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.1.4 Chapter 8 Relations

COMPOSITION OF BINARY RELATIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 6: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.1 Relations & Their Properties 8.1.5

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 7: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.1.6 Chapter 8 Relations

REFLEXIVE PROPERTY of RELATIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 8: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.1 Relations & Their Properties 8.1.7

SYMMETRY PROPERTY of RELATIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 9: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.1.8 Chapter 8 Relations

CLASSROOM EXERCISE

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 10: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.1 Relations & Their Properties 8.1.9

ANTISYMMETRY PROPERTY OF RELATIONS

CLASSROOM EXERCISE

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 11: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.1.10 Chapter 8 Relations

TRANSITIVITY PROPERTY OF RELATIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 12: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.1 Relations & Their Properties 8.1.11

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 13: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.3 Representing Relations 8.3.1

8.3 REPRESENTING RELATIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 14: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.3.2 Chapter 8 Relations

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 15: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.3 Representing Relations 8.3.3

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 16: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.3.4 Chapter 8 Relations

DIGRAPHS and RELATIONAL PROPERTIES

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 17: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.3 Representing Relations 8.3.5

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 18: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.3.6 Chapter 8 Relations

COMPUTING WITH A DIGRAPH

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 19: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.4 Closures of Relations 8.4.1

8.4 CLOSURES OF RELATIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 20: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.4.2 Chapter 8 Relations

CLASSROOM EXERCISE

CLASSROOM EXERCISES

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 21: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.5 Equivalence Relations 8.5.1

8.5 EQUIVALENCE RELATIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 22: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.5.2 Chapter 8 Relations

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 23: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.5 Equivalence Relations 8.5.3

FINITE EQUIVALENCE RELATIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 24: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.5.4 Chapter 8 Relations

INFINITE EQUIVALENCE RELATIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 25: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.6 Partial Orderings 8.6.1

8.6 PARTIAL ORDERINGS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 26: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.6.2 Chapter 8 Relations

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 27: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.6 Partial Orderings 8.6.3

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 28: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.6.4 Chapter 8 Relations

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 29: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.6 Partial Orderings 8.6.5

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 30: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.6.6 Chapter 8 Relations

INCOMPARABILITY

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 31: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.6 Partial Orderings 8.6.7

TOTAL ORDERINGS and LINEAR EXTENSIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 32: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.6.8 Chapter 8 Relations

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 33: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.6 Partial Orderings 8.6.9

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 34: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.6.10 Chapter 8 Relations

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 35: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.6 Partial Orderings 8.6.11

LUB’s GLB’s and LATTICES

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 36: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.6.12 Chapter 8 Relations

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 37: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

Section 8.6 Partial Orderings 8.6.13

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Page 38: Relations - Columbia Universityabishek/files/DM-Ch8.pdf · Relations 8.1 Relations and Their Pr oper ties 8.2* n-ar y Relations 8.3 Representing Relations 8.4 Closures of Relations

8.6.14 Chapter 8 Relations

coursenotes by Prof. J. L. Gross for Rosen 6th Edition