22C:19 Discrete Math Relations Fall 2010 Sukumar Ghosh.

Slides:



Advertisements
Similar presentations
CSE 211- Discrete Structures
Advertisements

22C:19 Discrete Structures Advanced Counting Spring 2014 Sukumar Ghosh.
Chapter 3. Relations Definitions Relations Binary relations Domain Range Vertex Direct edge Loops Reflective Relations Sympatric Relations Anti Symmetric.
Discrete Mathematics 3. MATRICES, RELATIONS, AND FUNCTIONS Lecture 5 Dr.-Ing. Erwin Sitompul
Copyright © 2007 Ramez Elmasri and Shamkant B. Navathe Chapter 6 The Relational Algebra.
Equivalence Relations
Equivalence Relations
Relations Relations on a Set. Properties of Relations.
CSE115/ENGR160 Discrete Mathematics 04/26/12 Ming-Hsuan Yang UC Merced 1.
Representing Relations Using Matrices
5/16/20151 You Never Escape Your… Relations. 5/16/20152Relations If we want to describe a relationship between elements of two sets A and B, we can use.
Applied Discrete Mathematics Week 11: Graphs
CS2210(22C:19) Discrete Structures Relations Spring 2015 Sukumar Ghosh.
Discrete Structures Chapter 5 Relations Nurul Amelina Nasharuddin Multimedia Department.
Module #1 - Logic 1 Based on Rosen, Discrete Mathematics & Its Applications. Prepared by (c) , Michael P. Frank and Modified By Mingwu Chen Relations.
Relations Chapter 9.
Chapter 9 1. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing.
Applied Discrete Mathematics Week 10: Equivalence Relations
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Sixth Edition, Mc Graw-Hill, 2007 Chapter 8: Relations Relations(8.1) n-any Relations &
8.2 n-ary Relations and Their Applications
1 Relations and Their Properties Epp, section ??? CS 202 Aaron Bloomfield.
Module #18: Relations, part I
CS Discrete Mathematical Structures Mehdi Ghayoumi MSB rm 132 Ofc hr: Thur, 9:30-11:30a Fall 2002KSU - Discrete Structures1.
April 10, 2002Applied Discrete Mathematics Week 10: Relations 1 Counting Relations Example: How many different reflexive relations can be defined on a.
Chapter 9. Chapter Summary Relations and Their Properties Representing Relations Equivalence Relations Partial Orderings.
Lecture 14 Relations CSCI – 1900 Mathematics for Computer Science Fall 2014 Bill Pine.
Chapter 9. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations.
Relations and Their Properties
Discrete Math for CS Binary Relation: A binary relation between sets A and B is a subset of the Cartesian Product A x B. If A = B we say that the relation.
Chapter 9. Section 9.1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R ⊆ A × B. Example: Let A = { 0, 1,2 } and.
CSC-2259 Discrete Structures
Relations, Functions, and Matrices Mathematical Structures for Computer Science Chapter 4 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Relations, Functions.
Discrete Structures1 You Never Escape Your… Relations.
1 Relations and Their Properties Rosen, section 7.1 CS/APMA 202 Aaron Bloomfield.
Discrete Mathematics and Its Applications Sixth Edition By Kenneth Rosen Chapter 8 Relations 歐亞書局.
Chapter 7: Relations Relations(7.1) Relations(7.1) n-any Relations & their Applications (7.2) n-any Relations & their Applications (7.2)
Fall 2015 COMP 2300 Discrete Structures for Computation Donghyun (David) Kim Department of Mathematics and Physics North Carolina Central University 1.
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. Relations.
Discrete Mathematics Relation.
Fall 2015 COMP 2300 Discrete Structures for Computation Donghyun (David) Kim Department of Mathematics and Physics North Carolina Central University 1.
Relations and their Properties
Fall 2002CMSC Discrete Structures1 You Never Escape Your… Relations.
1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.
Relations. Important Definitions We covered all of these definitions on the board on Monday, November 7 th. Definition 1 Definition 2 Definition 3 Definition.
Lecture on Relations 1Developed by CSE Dept., CIST Bhopal.
Relation. Combining Relations Because relations from A to B are subsets of A x B, two relations from A to B can be combined in any way two sets can be.
Problem Statement How do we represent relationship between two related elements ?
Chapter 9. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations.
1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.
Chapter 8: Relations. 8.1 Relations and Their Properties Binary relations: Let A and B be any two sets. A binary relation R from A to B, written R : A.
Copyright © Cengage Learning. All rights reserved. CHAPTER 8 RELATIONS.
Relations and Functions ORDERED PAIRS AND CARTESIAN PRODUCT An ordered pair consists of two elements, say a and b, in which one of them, say a is designated.
Section 9.3. Section Summary Representing Relations using Matrices Representing Relations using Digraphs.
The Relation Induced by a Partition
Learn about relations and their basic properties
Relations Chapter 9.
Applied Discrete Mathematics Week 10: Relations
RELATION KS MATEMATIKA DISKRIT (DISCRETE MATHEMATICS )
CSE 504 Discrete Structures & Foundations of Computer Science
CMSC Discrete Structures
CS201: Data Structures and Discrete Mathematics I
Discrete Structures for Computer Science
CS2210 Discrete Structures Relations
Discrete Math (2) Haiming Chen Associate Professor, PhD
Discrete Math (2) Haiming Chen Associate Professor, PhD
Applied Discrete Mathematics Week 6: Relations/Digraphs
Relations and their Properties
CSE 321 Discrete Structures
Equivalence Relations
Chapter 8 (Part 2): Relations
Presentation transcript:

22C:19 Discrete Math Relations Fall 2010 Sukumar Ghosh

What is a relation?

Representing Relations

Relations vs. Functions

When to use which?

Relation within a set

Properties of Relations We study six properties of relations: What are these?

Reflexivity Example. = is reflexive, since a = a ≤ is reflexive, since a ≤ a < is not reflexive is a < a is false.

Symmetry

Anti-symmetry

More on symmetric relations

Transitivity

Examples of transitive relations

Summary of properties =<>≤≥ ReflexiveXXX IrreflexiveXX SymmetricX AsymmetricXX AntisymmetricXXX TransitiveXXXXX

Operations on relations Then, R1 ⋃ R2 = {(1,1), (1,2), (1,3), (1,4)} R1 ⋂ R2 = {(1,1), (1,3)} R1 - R2 = {(1,2)} Let A = {1, 2, 3} and B = (1, 2, 3, 4}. Define two relations R1 = {(1,1), (1,2), (1,3)} R2 = {(1,1), (1,3), (1,4)}

More operations on relations: Composition Let S be a relation from the set A to the set B, and R be and R be a relation from the set B to the set C. Then, the composition of S and R, denoted by S ◦ R is { (a, c) | a ∈ A, b ∈ B, c ∈ C such that (a, b) ∈ S and (b, c) ∈ R} EXAMPLE. Let A = {1, 2, 3}, B = { 1, 2, 3, 4}, C = {0, 1, 2} S = {(1,1), (1,4), (2,3), (3, 1), (3, 4)} R = {(1,0), (2,0), (3,1), (3, 2), (4,1) Then S ◦ R = {(1,0), (1,1), (2,1), (2,2), (3,0), (3,1)

More operations on relations: Composition R n = R n-1 ◦ R = R ◦ R ◦ R ◦ R … (n times) EXAMPLE. Let R = {(1,1), (2,1), (3,2), (4,3)},. Then R 2 = R ◦ R = {(1,1), (2,1), (3, 1), (4,2)} R 3 = R 2 ◦ R = {(1,1), (2,1), (3, 1), (4,1)} R 4 = R 3 ◦ R = {(1,1), (2,1), (3, 1), (4,1)} Notice that in this case for all n > 3, R n = R 3

n-ary relations Has important applications in computer databases. DEFINITION. Let A 1, A 2, A 3, …, A n be n sets. An n-ary relation is a subset of A 1 x A 2 x A 3 x… x A n EXAMPLE. R is a relation on N x N x N consisting of triples (a, b, c) where a < b < c. Thus (1, 2, 3) ∈ R but (3, 6, 2) ∉ R

Relational Data Model NameIDMajorGPA Alice Physics3.67 Bob ECE3.67 Carol ECE3.75 David Computer Science3.25 The above table can be viewed as a 4-ary relation consisting of the 4-tuples (Alice, , Physics, 3.67) (Bob, , ECE, 3.67) (Carol, , ECE, 3.75) (David, , Computer Science, 3.25) Student Record

Relational Data Model NameIDMajorGPA Alice Physics3.67 Bob ECE3.67 Carol ECE3.75 David Computer Science3.25 A domain is called a primary key when no two n-tuples in the relation have the same value from this domain. (These are marked red).

Operations on n-ary relations SELECTION Let R be an n-ary relation, and C be a condition that the elements in R must satisfy. Then the selection operator S C maps the n-ary relation R to the n-ary relations from R that satisfy the condition C. Essentially it helps filter out tuples that satisfy the desired properties. For example, you may filter out the tuples for all students in ECE, or all students whose GPA exceeds 3.5.

Operations on n-ary relations PROJECTION The projection P i,j,k,…,m maps each n-tuple (a 1, a 2, a 3, …, a n ) to the tuple (a i, a j, a k, …, a m ). Essentially it helps you delete some of the components of each n-tuple. Thus, in the table shown earlier, the projection P 1,4 will retain only that part of the table that contains the student names and their GPAs.

Use of the operations on n-ary relations SQL queries SQL queries carry out the operations described earlier: SELECT GPA FROM Student Records WHERE Department = Computer Science

Representing Relations Using Matrices A relation between finite sets can be represented using a 0-1 matrix. Let A = {a 1, a 2, a 3 } and B = {b 1, b 2, b 3 }. A relation R from A to B can be represented by a matrix M R, where m ij = 1 if (a i, b j ) ∈ R, otherwise m ij = 0 a1 a2 a3 b1b2b3 The above denotes a relation R from A = {1,2,3} to B = {1,2,4}, where for each element (a, b) of R, a > b

Representing Relations Using Matrices A reflexive relation on a given set A is recognized by a 1 along the diagonal A symmetric relation A reflexive relation

Representing Relations Using Digraph A relation on a given set A can also be represented by a directed graph A directed graph representation of the relation shown on the left Let A = {1, 2, 3}

Equivalence Relations An equivalence relation on a set S is a relation that is reflexive, symmetric and transitive. Examples are: (1)Congruence relation R = {(a,b) | a = b (mod m)} (2) R = {(a, b) | L(a) = L(b)} in a set of strings of English characters}, L(a) denotes the length of English character string “a”

Partial Orders A relation R on a set S is a partial order if it is reflexive, anti-symmetric and transitive. The set is called a partially ordered set, or a poset. Examples are (1) the ≥ relation, (2) “x divides y” on the set of positive integers (3) The relation ⊆ on the power set of a set S

Partial Orders Source: The relation ⊆ on the power set of a set S forms a partially ordered set