Information Systems for Engineers. Exercise 5. ETH Zurich, Fall Semester Hand-out Due

Size: px
Start display at page:

Download "Information Systems for Engineers. Exercise 5. ETH Zurich, Fall Semester Hand-out Due"

Transcription

1 Information Systems for Engineers Exercise 5 ETH Zurich, Fall Semester 2017 Hand-out Due Reading material: Chapter 2.4 in [1]. Lecture slides Given the two tables below, write down the resulting table for each of the following operations. gini gini Panama 32.7 Switzerland 29.5 A = B = Georgia 40.9 Costa Rica 40.7 Costa Rica 40.7 Iran 37.4 (a) A B gini Panama 32.7 Georgia 40.9 Costa Rica 40.7 Switzerland 29.5 Iran 37.4 (b) A B gini Costa Rica 40.7 (c) A B gini Panama 32.7 Georgia 40.9 (d) B A gini Switzerland 29.5 Iran

2 (e) π gini (A) gini (f) σ gini 30 (B) gini Costa Rica 40.7 Iran 37.4 (g) π (σ gini<40 (A B)) Panama Switzerland Iran (h) B σ gini<40 (A) gini (i) σ gini>40 (A) B gini Georgia Given the two tables below, write down the resulting table for each of the following operations. id time in 1 Wang 10:03:33 true C = D = 2 Li 10:36:01 false 3 Zhang 14:02:57 true (a) C D Page 2

3 id time in 1 Wang 10:03:33 true 1 Wang 10:36:01 false 1 Wang 14:02:57 true 2 Li 10:03:33 true 2 Li 10:36:01 false 2 Li 14:02:57 true 3 Zhang 10:03:33 true 3 Zhang 10:36:01 false 3 Zhang 14:02:57 true (b) π last (ρ last (C)) last Wang Li Zhang (c) π enter (σ in=true (ρ time enter (D))) π (C) enter 10:03:33 Wang 14:02:57 Wang 10:03:33 Li 14:02:57 Li 10:03:33 Zhang 14:02:57 Zhang (d) γ id,,count(time) count (C π time (D)) id count 1 Wang 3 2 Li 3 3 Zhang 3 3. Given the two tables below, write down the resulting table for each of the following operations. birthdate Ryan Gosling E = Harrison Ford Sean Young Page 3

4 F = (a) E F movie title movie year star Arrival 2016 Amy Adams La La Land 2016 Ryan Gosling La La Land 2016 Emma Stone Bladerunner 1982 Rutger Hauer Bladerunner 1982 Harrison Ford Bladerunner 1982 Sean Young Bladerunner Ryan Gosling Bladerunner Harrison Ford Alien 1979 Sigourney Weaver No matching columns: cannot join tables. (b) E ρ star (F ) birthdate movie title movie year Ryan Gosling La La Land 2016 Harrison Ford Bladerunner 1982 Sean Young Bladerunner 1982 Ryan Gosling Bladerunner Harrison Ford Bladerunner (c) γ birthdate,count(movie title) movie count (ρ star (F ) E) birthdate movie count Consider the two tables below. For each of the following statements, write a corresponding relational algebra expression: G = hdi gini Costa Rica USA Switzerland Georgia Panama Indonesia H = population area Panama Georgia Costa Rica Indonesia Switzerland USA (a) The and Gini-index of countries with a population less than five million. π,gini (G σ population< (H)) (b) The and population of countries with a Gini-index of at most 40. π,population (σ gini 40 (G) H) Page 4

5 (c) The total number of people living in countries with an HDI of less than 0.8. γ SUM(population) total population (π population (σ hdi<0.8 (G) H)) 5. Given the two tables below, write down the resulting table for each of the following operations assuming bag semantics. I = (a) I J Frost Lich Jaina Baron Geddon Playable hero J = Open The Waygate Arcane Giant Molten Reflection Quest Frost Lich Jaina Baron Geddon Open The Waygate Arcane Giant Molten Reflection Playable hero Quest (b) I J (c) I J Frost Lich Jaina Baron Geddon Playable hero (d) J I Open The Waygate Arcane Giant Molten Reflection Quest (e) σ = (I J) Page 5

6 Molten Reflection (f) δ(σ = (I J)) Molten Reflection (g) π (σ count=b (a)), where a = γ,count() count (I J) b = γ MAX(count) max (π count (a)) You can assume that single-row, single-column tables are automatically unboxed to a scalar value. 6. The set of tables T can be defined as: T = {S P(S V) t, u S, support(t) = support(u)} Note that P(R) denotes the powerset of R. The notation (R) can be used interchangeably. The selection operator may be defined as: σ φ : T T σ φ (R) = {t (t R) φ(t)} = {t (t R) (t φ 1 (true))} = R φ 1 (true) (1) The selection operator is commutative: σ ψ (σ φ (R)) = (R φ 1 (true)) ψ 1 (true) = R (φ 1 (true) ψ 1 (true)) = R (ψ 1 (true) φ 1 (true)) = σ φ (σ ψ (R)) (2) Prove the following: (a) Projections commute with one another. Page 6

7 π A (π B (R)) = π A ( t R{t B } ) = {t B A } = B A } t R t R{t = {t A B } = A B } t R t R{t ( ) = π B A } = π B (π A (R)) t R{t (3) (b) Formally, a selection is defined only when the attributes used in its predicate φ can be found in the relation/table it is applied to. Find a condition that must hold so that both σ φ (π A (R)) and π A (σ φ (R)) are defined. Assuming that this condition holds, prove that these two expressions are equal, i.e. selections commute with projections. Selections commute with projections when the attributes used in the selection predicate are a subset of the attributes used in the projection. σ φ (π A (R)) = σ φ ({t A t R}) = {t A t R φ(t)} = {t A t R φ(t A )} π A (σ φ (R) = π A ({t t R φ(t)}) = {t A t R φ(t)} = {t A t R φ(t A )} (4) (5) (c) Theta joins commute with one another. R θ S = σ θ (R S) = σ θ (S R) = S θ R (6) The cartesian product of two sets is generally not commutative. However, in relational algebra the cartesian product of two tables is, because we do not care about the order of the attributes! Note: You may assume that union and intersection are commutative and associative. 7. Selection is distributive over union: σ φ (R S) = (R S) φ 1 (true) = (R φ 1 (true)) (S φ 1 (true)) = σ φ (R) σ φ (S) (7) (a) Prove that selection is distributive over intersection. Page 7

8 σ φ (R S) = (R S) φ 1 (true) = R S φ 1 (true) φ 1 (true) = (R φ 1 (true)) (S φ 1 (true)) = σ φ (R) σ φ (S) (8) (b) Prove that selection is distributive over set difference (subtraction). Hint 1: A B = A \ B C Hint 2: It might be easier to prove that σ φ (R \ S) = A and that σ φ (R) \ σ φ (S) = A, where A is an intermediate expression. σ φ (R \ S) = {t (t R \ S) φ(t)} = {t (t R) (t / S) (t φ 1 (true))} = {t (t R) (t S C ) (t φ 1 (true))} = R S C φ 1 (true) = R φ 1 (true) S C = σ φ (R) S C = σ φ (R) \ S σ φ (R) \ σ φ (S) = σ φ (R) (σ φ (S)) C = σ φ (R) (S φ 1 (true)) C = σ φ (R) (S C φ 1 (false)) = (σ φ (R) S C ) (σ φ (R) φ 1 (false)) = (σ φ (R) \ S) (R φ 1 (true) φ 1 (false)) = (σ φ (R) \ S) (R Ø) = (σ φ (R) \ S) Ø = σ φ (R) \ S (9) (10) 8. The projection operator may be defined as: π A : T T π A (R) = {t A t R} = t R{t A } (11) Note that, if t is a tuple, then: t A=α1,α 2,...,α n = (α 1 t.α 1, α 2 t.α 2,..., α n t.α n ) The projection operator is distributive over union: Page 8

9 π A (R S) = {t A } = t R S {t A } t {r 1,...,r m,s 1,...,s n} = {r 1 A }... {r m A } {s 1 A }... {s n A } = {t A } A } t R t S{t (12) = π A (R) π A (S) (a) Is the projection operator distributive over intersection? If yes, prove it, otherwise provide a counterexample. π A ({(A α, B β)} {(A α, B β )}) =π A (Ø) =Ø π A ({(A α, B β)}) π A ({(A α, B β )}) =π A ({(A α)}) π A ({(A α)}) =π A ({(A α)}) ={(A α)} (13) (b) Is the projection operator distributive over set difference (commonly denoted as or \ )? If yes, prove it, otherwise provide a counterexample. π A ({(A α, B β)} \ {(A α, B β )}) =π A ({(A α, B β)}) ={(A α)} π A ({(A α, B β)}) \ π A ({(A α, B β )}) =π A ({(A α)}) \ π A ({(A α)}) ={(A α)} \ {(A α)} =Ø (14) 9. Prove that a projection is absorbed by a projection on a smaller subset. π A (π A,B (R)) = π A ( t R{t A,B } ) = t R{t A,B A } = t R{t A } (15) = π A (R) Page 9

10 References [1] Garcia-Molina, Hector and Ullman, Jeffrey D. and Widom, Jennifer, Database Systems: The Complete Book, Second Edition. Page 10

Information Systems for Engineers. Exercise 5. ETH Zurich, Fall Semester Hand-out Due

Information Systems for Engineers. Exercise 5. ETH Zurich, Fall Semester Hand-out Due Information Systems for Engineers Exercise 5 ETH Zurich, Fall Semester 2017 Hand-out 27.10.2017 Due 03.11.2017 Reading material: Chapter 2.4 in [1]. Lecture slides 4. 1. Given the two tables below, write

More information

Information Systems for Engineers. Exercise 8. ETH Zurich, Fall Semester Hand-out Due

Information Systems for Engineers. Exercise 8. ETH Zurich, Fall Semester Hand-out Due Information Systems for Engineers Exercise 8 ETH Zurich, Fall Semester 2017 Hand-out 24.11.2017 Due 01.12.2017 1. (Exercise 3.3.1 in [1]) For each of the following relation schemas and sets of FD s, i)

More information

CSE 562 Database Systems

CSE 562 Database Systems Outline Query Optimization CSE 562 Database Systems Query Processing: Algebraic Optimization Some slides are based or modified from originals by Database Systems: The Complete Book, Pearson Prentice Hall

More information

Plan of the lecture. G53RDB: Theory of Relational Databases Lecture 2. More operations: renaming. Previous lecture. Renaming.

Plan of the lecture. G53RDB: Theory of Relational Databases Lecture 2. More operations: renaming. Previous lecture. Renaming. Plan of the lecture G53RDB: Theory of Relational Lecture 2 Natasha Alechina chool of Computer cience & IT nza@cs.nott.ac.uk Renaming Joins Definability of intersection Division ome properties of relational

More information

Databases 2011 The Relational Algebra

Databases 2011 The Relational Algebra Databases 2011 Christian S. Jensen Computer Science, Aarhus University What is an Algebra? An algebra consists of values operators rules Closure: operations yield values Examples integers with +,, sets

More information

Relational Database: Identities of Relational Algebra; Example of Query Optimization

Relational Database: Identities of Relational Algebra; Example of Query Optimization Relational Database: Identities of Relational Algebra; Example of Query Optimization Greg Plaxton Theory in Programming Practice, Fall 2005 Department of Computer Science University of Texas at Austin

More information

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics.

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Section 2.1 Introduction Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Important for counting. Programming languages have set operations. Set theory

More information

Relational Algebra on Bags. Why Bags? Operations on Bags. Example: Bag Selection. σ A+B < 5 (R) = A B

Relational Algebra on Bags. Why Bags? Operations on Bags. Example: Bag Selection. σ A+B < 5 (R) = A B Relational Algebra on Bags Why Bags? 13 14 A bag (or multiset ) is like a set, but an element may appear more than once. Example: {1,2,1,3} is a bag. Example: {1,2,3} is also a bag that happens to be a

More information

mat.haus project Zurab Janelidze s Lectures on UNIVERSE OF SETS last updated 18 May 2017 Stellenbosch University 2017

mat.haus project Zurab Janelidze s Lectures on UNIVERSE OF SETS last updated 18 May 2017 Stellenbosch University 2017 Zurab Janelidze s Lectures on UNIVERSE OF SETS last updated 18 May 2017 Stellenbosch University 2017 Contents 1. Axiom-free universe of sets 1 2. Equality of sets and the empty set 2 3. Comprehension and

More information

With Question/Answer Animations. Chapter 2

With Question/Answer Animations. Chapter 2 With Question/Answer Animations Chapter 2 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Sequences and Summations Types of

More information

Phil Introductory Formal Logic

Phil Introductory Formal Logic Phil 134 - Introductory Formal Logic Lecture 4: Formal Semantics In this lecture we give precise meaning to formulae math stuff: sets, pairs, products, relations, functions PL connectives as truth-functions

More information

Review CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.

Review CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2. CHAPTER 2 Review 2.1 Definitions in Chapter 2 2.1 Set; Element; Member; Universal Set 2.2 Subset 2.3 Proper Subset 2.4 The Empty Set, 2.5 Set Equality 2.6 Cardinality; Infinite Set 2.7 Complement 2.8 Intersection

More information

Query Processing. 3 steps: Parsing & Translation Optimization Evaluation

Query Processing. 3 steps: Parsing & Translation Optimization Evaluation rela%onal algebra Query Processing 3 steps: Parsing & Translation Optimization Evaluation 30 Simple set of algebraic operations on relations Journey of a query SQL select from where Rela%onal algebra π

More information

5x 2 = 10. x 1 + 7(2) = 4. x 1 3x 2 = 4. 3x 1 + 9x 2 = 8

5x 2 = 10. x 1 + 7(2) = 4. x 1 3x 2 = 4. 3x 1 + 9x 2 = 8 1 To solve the system x 1 + x 2 = 4 2x 1 9x 2 = 2 we find an (easier to solve) equivalent system as follows: Replace equation 2 with (2 times equation 1 + equation 2): x 1 + x 2 = 4 Solve equation 2 for

More information

Computational Logic. Relational Query Languages with Negation. Free University of Bozen-Bolzano, Werner Nutt

Computational Logic. Relational Query Languages with Negation. Free University of Bozen-Bolzano, Werner Nutt Computational Logic Free University of Bozen-Bolzano, 2010 Werner Nutt (Slides adapted from Thomas Eiter and Leonid Libkin) Computational Logic 1 Queries with All Who are the directors whose movies are

More information

Advanced Engineering Mathematics Prof. Pratima Panigrahi Department of Mathematics Indian Institute of Technology, Kharagpur

Advanced Engineering Mathematics Prof. Pratima Panigrahi Department of Mathematics Indian Institute of Technology, Kharagpur Advanced Engineering Mathematics Prof. Pratima Panigrahi Department of Mathematics Indian Institute of Technology, Kharagpur Lecture No. # 02 Vector Spaces, Subspaces, linearly Dependent/Independent of

More information

Databases. Exercises on Relational Algebra

Databases. Exercises on Relational Algebra Databases Exercises on Relational Algebra The Lab Sessions Giacomo Bergami (giacomo.bergami2@unibo.it) bergami.co.nr 2016/10/07 Keys and Superkeys Relational Algebra (I) Negation Minimum 2016/10/14 Relational

More information

Exercise Sheet 1: Relational Algebra David Carral, Markus Krötzsch Database Theory, 17 April, Summer Term 2018

Exercise Sheet 1: Relational Algebra David Carral, Markus Krötzsch Database Theory, 17 April, Summer Term 2018 Exercise Sheet 1: Relational Algebra David Carral, Markus Krötzsch Database Theory, 17 April, Summer Term 2018 Exercise 1.1. Consider a cinema database with tables of the following form (adapted from a

More information

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is 1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,

More information

CSCE 222 Discrete Structures for Computing. Review for the Final. Hyunyoung Lee

CSCE 222 Discrete Structures for Computing. Review for the Final. Hyunyoung Lee CSCE 222 Discrete Structures for Computing Review for the Final! Hyunyoung Lee! 1 Final Exam Section 501 (regular class time 8:00am) Friday, May 8, starting at 1:00pm in our classroom!! Section 502 (regular

More information

1. (B) The union of sets A and B is the set whose elements belong to at least one of A

1. (B) The union of sets A and B is the set whose elements belong to at least one of A 1. (B) The union of sets A and B is the set whose elements belong to at least one of A or B. Thus, A B = { 2, 1, 0, 1, 2, 5}. 2. (A) The intersection of sets A and B is the set whose elements belong to

More information

Outline. Sets. Relations. Functions. Products. Sums 2 / 40

Outline. Sets. Relations. Functions. Products. Sums 2 / 40 Mathematical Background Outline Sets Relations Functions Products Sums 2 / 40 Outline Sets Relations Functions Products Sums 3 / 40 Sets Basic Notations x S membership S T subset S T proper subset S fin

More information

Mathematical Background and Basic Notations

Mathematical Background and Basic Notations University of Science and Technology of China (USTC) 09/19/2011 Outline Sets 1 Sets 2 3 4 5 Outline Sets 1 Sets 2 3 4 5 Sets Basic Notations x S membership S T subset S T proper subset S fin T finite subset

More information

Section 7.1 Rational Functions and Simplifying Rational Expressions

Section 7.1 Rational Functions and Simplifying Rational Expressions Beginning & Intermediate Algebra, 6 th ed., Elayn Martin-Gay Sec. 7.1 Section 7.1 Rational Functions and Simplifying Rational Expressions Complete the outline as you view Video Lecture 7.1. Pause the video

More information

Vectors. Section 3: Using the vector product

Vectors. Section 3: Using the vector product Vectors Section 3: Using the vector product Notes and Examples These notes contain subsections on Using the vector product in finding the equation of a plane The intersection of two planes The distance

More information

Math Linear Algebra

Math Linear Algebra Math 220 - Linear Algebra (Summer 208) Solutions to Homework #7 Exercise 6..20 (a) TRUE. u v v u = 0 is equivalent to u v = v u. The latter identity is true due to the commutative property of the inner

More information

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability Chapter 2 1 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability Sequences and Summations Types of Sequences Summation

More information

Proving simple set properties...

Proving simple set properties... Proving simple set properties... Part 1: Some examples of proofs over sets Fall 2013 Proving simple set properties... Fall 2013 1 / 17 Introduction Overview: Learning outcomes In this session we will...

More information

Sets. Introduction to Set Theory ( 2.1) Basic notations for sets. Basic properties of sets CMSC 302. Vojislav Kecman

Sets. Introduction to Set Theory ( 2.1) Basic notations for sets. Basic properties of sets CMSC 302. Vojislav Kecman Introduction to Set Theory ( 2.1) VCU, Department of Computer Science CMSC 302 Sets Vojislav Kecman A set is a new type of structure, representing an unordered collection (group, plurality) of zero or

More information

Chapter 3 Relational Model

Chapter 3 Relational Model Chapter 3 Relational Model Table of Contents 1. Structure of Relational Databases 2. Relational Algebra 3. Tuple Relational Calculus 4. Domain Relational Calculus Chapter 3-1 1 1. Structure of Relational

More information

This pre-publication material is for review purposes only. Any typographical or technical errors will be corrected prior to publication.

This pre-publication material is for review purposes only. Any typographical or technical errors will be corrected prior to publication. This pre-publication material is for review purposes only. Any typographical or technical errors will be corrected prior to publication. Copyright Pearson Canada Inc. All rights reserved. Copyright Pearson

More information

Database Applications (15-415)

Database Applications (15-415) Database Applications (15-415) Relational Calculus Lecture 5, January 27, 2014 Mohammad Hammoud Today Last Session: Relational Algebra Today s Session: Relational algebra The division operator and summary

More information

40h + 15c = c = h

40h + 15c = c = h Chapter One Linear Systems I Solving Linear Systems Systems of linear equations are common in science and mathematics. These two examples from high school science [Onan] give a sense of how they arise.

More information

Mathematics Review for Business PhD Students Lecture Notes

Mathematics Review for Business PhD Students Lecture Notes Mathematics Review for Business PhD Students Lecture Notes Anthony M. Marino Department of Finance and Business Economics Marshall School of Business University of Southern California Los Angeles, CA 90089-0804

More information

Finding similar items

Finding similar items Finding similar items CSE 344, section 10 June 2, 2011 In this section, we ll go through some examples of finding similar item sets. We ll directly compare all pairs of sets being considered using the

More information

Math 309 Notes and Homework for Days 4-6

Math 309 Notes and Homework for Days 4-6 Math 309 Notes and Homework for Days 4-6 Day 4 Read Section 1.2 and the notes below. The following is the main definition of the course. Definition. A vector space is a set V (whose elements are called

More information

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary An Algebra on Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing Spring, 2018 Alice E. Fischer... 1/37 An Algebra on 1 Definitions and Notation Venn Diagrams 2 An Algebra on 3 Alice E. Fischer...

More information

arxiv: v1 [math.lo] 3 Feb 2013

arxiv: v1 [math.lo] 3 Feb 2013 Functional Dependence in Strategic Games arxiv:1302.0447v1 [math.lo] 3 Feb 2013 Kristine Harjes and Pavel Naumov Department of Mathematics and Computer Science McDaniel College, Westminster, Maryland,

More information

Review of Coordinate Systems

Review of Coordinate Systems Vector in 2 R and 3 R Review of Coordinate Systems Used to describe the position of a point in space Common coordinate systems are: Cartesian Polar Cartesian Coordinate System Also called rectangular coordinate

More information

Review 3. Andreas Klappenecker

Review 3. Andreas Klappenecker Review 3 Andreas Klappenecker Final Exam Friday, May 4, 2012, starting at 12:30pm, usual classroom Topics Topic Reading Algorithms and their Complexity Chapter 3 Logic and Proofs Chapter 1 Logic and Proofs

More information

ICS141: Discrete Mathematics for Computer Science I

ICS141: Discrete Mathematics for Computer Science I ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Jan Stelovsky based on slides by Dr. Baek and Dr. Still Originals by Dr. M. P. Frank and Dr. J.L. Gross Provided by

More information

6 The Relational Data Model: Algebraic operations on tabular data

6 The Relational Data Model: Algebraic operations on tabular data 6 The Relational Data Model: Algebraic operations on tabular data 6.1 Basic idea of relational languages 6.2 Relational Algebra operations 6.3 Relational Algebra: Syntax and Semantics 6.4. More Operators

More information

Discrete Mathematics & Mathematical Reasoning Course Overview

Discrete Mathematics & Mathematical Reasoning Course Overview Discrete Mathematics & Mathematical Reasoning Course Overview Colin Stirling Informatics Colin Stirling (Informatics) Discrete Mathematics Today 1 / 19 Teaching staff Lecturers: Colin Stirling, first half

More information

Set Theory. CSE 215, Foundations of Computer Science Stony Brook University

Set Theory. CSE 215, Foundations of Computer Science Stony Brook University Set Theory CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 Set theory Abstract set theory is one of the foundations of mathematical thought Most mathematical

More information

Set Theory Basics of Set Theory. 6.2 Properties of Sets and Element Argument. 6.3 Algebraic Proofs 6.4 Boolean Algebras.

Set Theory Basics of Set Theory. 6.2 Properties of Sets and Element Argument. 6.3 Algebraic Proofs 6.4 Boolean Algebras. 9/6/17 Mustafa Jarrar: Lecture Notes in Discrete Mathematics. Birzeit University Palestine 2015 Set Theory 6.1. Basics of Set Theory 6.2 Properties of Sets and Element Argument 6.3 Algebraic Proofs 6.4

More information

MA 102 (Multivariable Calculus)

MA 102 (Multivariable Calculus) MA 102 (Multivariable Calculus) Rupam Barman and Shreemayee Bora Department of Mathematics IIT Guwahati Outline of the Course Two Topics: Multivariable Calculus Will be taught as the first part of the

More information

General Overview - rel. model. Carnegie Mellon Univ. Dept. of Computer Science /615 DB Applications. Motivation. Overview - detailed

General Overview - rel. model. Carnegie Mellon Univ. Dept. of Computer Science /615 DB Applications. Motivation. Overview - detailed Carnegie Mellon Univ. Dep of Computer Science 15-415/615 DB Applications C. Faloutsos & A. Pavlo Lecture#5: Relational calculus General Overview - rel. model history concepts Formal query languages relational

More information

2.3 Terminology for Systems of Linear Equations

2.3 Terminology for Systems of Linear Equations page 133 e 2t sin 2t 44 A(t) = t 2 5 te t, a = 0, b = 1 sec 2 t 3t sin t 45 The matrix function A(t) in Problem 39, with a = 0 and b = 1 Integration of matrix functions given in the text was done with

More information

Vector Operations. Vector Operations. Graphical Operations. Component Operations. ( ) ˆk

Vector Operations. Vector Operations. Graphical Operations. Component Operations. ( ) ˆk Vector Operations Vector Operations ME 202 Multiplication by a scalar Addition/subtraction Scalar multiplication (dot product) Vector multiplication (cross product) 1 2 Graphical Operations Component Operations

More information

Math 110, Spring 2015: Midterm Solutions

Math 110, Spring 2015: Midterm Solutions Math 11, Spring 215: Midterm Solutions These are not intended as model answers ; in many cases far more explanation is provided than would be necessary to receive full credit. The goal here is to make

More information

Equivalence of DFAs and NFAs

Equivalence of DFAs and NFAs CS 172: Computability and Complexity Equivalence of DFAs and NFAs It s a tie! DFA NFA Sanjit A. Seshia EECS, UC Berkeley Acknowledgments: L.von Ahn, L. Blum, M. Blum What we ll do today Prove that DFAs

More information

2.5 Compound Inequalities

2.5 Compound Inequalities Section.5 Compound Inequalities 89.5 Compound Inequalities S 1 Find the Intersection of Two Sets. Solve Compound Inequalities Containing and. Find the Union of Two Sets. 4 Solve Compound Inequalities Containing

More information

Algebraic Trace Theory

Algebraic Trace Theory Algebraic Trace Theory EE249 Roberto Passerone Material from: Jerry R. Burch, Trace Theory for Automatic Verification of Real-Time Concurrent Systems, PhD thesis, CMU, August 1992 October 21, 2002 ee249

More information

CHAPTER 1. Preliminaries. 1 Set Theory

CHAPTER 1. Preliminaries. 1 Set Theory CHAPTER 1 Preliminaries 1 et Theory We assume that the reader is familiar with basic set theory. In this paragraph, we want to recall the relevant definitions and fix the notation. Our approach to set

More information

MTH4103: Geometry I. Dr John N. Bray, Queen Mary, University of London

MTH4103: Geometry I. Dr John N. Bray, Queen Mary, University of London MTH4103: Geometry I Dr John N. Bray, Queen Mary, University of London January March 2014 Contents Preface iv 1 Vectors 1 1.1 Introduction.................................. 1 1.2 Vectors.....................................

More information

MATH10212 Linear Algebra B Homework Week 5

MATH10212 Linear Algebra B Homework Week 5 MATH Linear Algebra B Homework Week 5 Students are strongly advised to acquire a copy of the Textbook: D C Lay Linear Algebra its Applications Pearson 6 (or other editions) Normally homework assignments

More information

Linear Algebra Notes. Lecture Notes, University of Toronto, Fall 2016

Linear Algebra Notes. Lecture Notes, University of Toronto, Fall 2016 Linear Algebra Notes Lecture Notes, University of Toronto, Fall 2016 (Ctd ) 11 Isomorphisms 1 Linear maps Definition 11 An invertible linear map T : V W is called a linear isomorphism from V to W Etymology:

More information

Jeffrey D. Ullman Stanford University

Jeffrey D. Ullman Stanford University Jeffrey D. Ullman Stanford University 2 Often, our data can be represented by an m-by-n matrix. And this matrix can be closely approximated by the product of two matrices that share a small common dimension

More information

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 1 Course Web Page www3.cs.stonybrook.edu/ cse303 The webpage contains: lectures notes slides; very detailed solutions to

More information

Introduction to the Simplex Algorithm Active Learning Module 3

Introduction to the Simplex Algorithm Active Learning Module 3 Introduction to the Simplex Algorithm Active Learning Module 3 J. René Villalobos and Gary L. Hogg Arizona State University Paul M. Griffin Georgia Institute of Technology Background Material Almost any

More information

Desirable properties of decompositions 1. Decomposition of relational schemes. Desirable properties of decompositions 3

Desirable properties of decompositions 1. Decomposition of relational schemes. Desirable properties of decompositions 3 Desirable properties of decompositions 1 Lossless decompositions A decomposition of the relation scheme R into Decomposition of relational schemes subschemes R 1, R 2,..., R n is lossless if, given tuples

More information

CISC 4090: Theory of Computation Chapter 1 Regular Languages. Section 1.1: Finite Automata. What is a computer? Finite automata

CISC 4090: Theory of Computation Chapter 1 Regular Languages. Section 1.1: Finite Automata. What is a computer? Finite automata CISC 4090: Theory of Computation Chapter Regular Languages Xiaolan Zhang, adapted from slides by Prof. Werschulz Section.: Finite Automata Fordham University Department of Computer and Information Sciences

More information

MAC-CPTM Situations Project

MAC-CPTM Situations Project MAC-CPTM Situations Project Situation 37: Distributing Exponents Prepared at Pennsylvania State University Mid-Atlantic Center for Mathematics Teaching and Learning 8 July 8 00 Jeanne Shimizu Edited at

More information

CHAPTER 1 Systems of Linear Equations

CHAPTER 1 Systems of Linear Equations CHAPTER Systems of Linear Equations Section. Introduction to Systems of Linear Equations. Because the equation is in the form a x a y b, it is linear in the variables x and y. 0. Because the equation cannot

More information

1. SET 10/9/2013. Discrete Mathematics Fajrian Nur Adnan, M.CS

1. SET 10/9/2013. Discrete Mathematics Fajrian Nur Adnan, M.CS 1. SET 10/9/2013 Discrete Mathematics Fajrian Nur Adnan, M.CS 1 Discrete Mathematics 1. Set and Logic 2. Relation 3. Function 4. Induction 5. Boolean Algebra and Number Theory MID 6. Graf dan Tree/Pohon

More information

INTRODUCTION TO RELATIONAL DATABASE SYSTEMS

INTRODUCTION TO RELATIONAL DATABASE SYSTEMS INTRODUCTION TO RELATIONAL DATABASE SYSTEMS DATENBANKSYSTEME 1 (INF 3131) Torsten Grust Universität Tübingen Winter 2017/18 1 THE RELATIONAL ALGEBRA The Relational Algebra (RA) is a query language for

More information

A set is an unordered collection of objects.

A set is an unordered collection of objects. Section 2.1 Sets A set is an unordered collection of objects. the students in this class the chairs in this room The objects in a set are called the elements, or members of the set. A set is said to contain

More information

Econ 325: Introduction to Empirical Economics

Econ 325: Introduction to Empirical Economics Econ 325: Introduction to Empirical Economics Lecture 2 Probability Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall Ch. 3-1 3.1 Definition Random Experiment a process leading to an uncertain

More information

Algebraic Trace Theory

Algebraic Trace Theory Algebraic Trace Theory EE249 Presented by Roberto Passerone Material from: Jerry R. Burch, Trace Theory for Automatic Verification of Real-Time Concurrent Systems, PhD thesis, CMU, August 1992 October

More information

The Cross Product of Two Vectors

The Cross Product of Two Vectors The Cross roduct of Two Vectors In proving some statements involving surface integrals, there will be a need to approximate areas of segments of the surface by areas of parallelograms. Therefore it is

More information

OHSx XM511 Linear Algebra: Solutions to Online True/False Exercises

OHSx XM511 Linear Algebra: Solutions to Online True/False Exercises This document gives the solutions to all of the online exercises for OHSx XM511. The section ( ) numbers refer to the textbook. TYPE I are True/False. Answers are in square brackets [. Lecture 02 ( 1.1)

More information

Matrices and Vectors

Matrices and Vectors Matrices and Vectors James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University November 11, 2013 Outline 1 Matrices and Vectors 2 Vector Details 3 Matrix

More information

Lecture : Set Theory and Logic

Lecture : Set Theory and Logic Lecture : Dr. Department of Mathematics Lovely Professional University Punjab, India October 18, 2014 Outline Contrapositive and Converse 1 Contrapositive and Converse 2 3 4 5 Contrapositive and Converse

More information

Relations. Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations. Reading (Epp s textbook)

Relations. Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations. Reading (Epp s textbook) Relations Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations Reading (Epp s textbook) 8.-8.3. Cartesian Products The symbol (a, b) denotes the ordered

More information

What are relations? f: A B

What are relations? f: A B What are relations? Ch 9.1 What are relations? Notation Informally, a relation is a set of pairs of objects (or in general, set of n-tuples) that are related to each other by some rule. We will focus first

More information

Math 4310 Solutions to homework 1 Due 9/1/16

Math 4310 Solutions to homework 1 Due 9/1/16 Math 0 Solutions to homework Due 9//6. An element [a] Z/nZ is idempotent if [a] 2 [a]. Find all idempotent elements in Z/0Z and in Z/Z. Solution. First note we clearly have [0] 2 [0] so [0] is idempotent

More information

INF Introduction and Regular Languages. Daniel Lupp. 18th January University of Oslo. Department of Informatics. Universitetet i Oslo

INF Introduction and Regular Languages. Daniel Lupp. 18th January University of Oslo. Department of Informatics. Universitetet i Oslo INF28 1. Introduction and Regular Languages Daniel Lupp Universitetet i Oslo 18th January 218 Department of Informatics University of Oslo INF28 Lecture :: 18th January 1 / 33 Details on the Course consists

More information

More Sets Exercises with complete solutions

More Sets Exercises with complete solutions More Sets Exercises with complete solutions Introduction 1 Let us define the following sets: M = {males}, = {burglars}, S = {unsuccessful people}, P = {members of the police-force}, H = {happy people}where

More information

1 Stat 605. Homework I. Due Feb. 1, 2011

1 Stat 605. Homework I. Due Feb. 1, 2011 The first part is homework which you need to turn in. The second part is exercises that will not be graded, but you need to turn it in together with the take-home final exam. 1 Stat 605. Homework I. Due

More information

Selected solutions to Discrete Mathematics and Functional Programming

Selected solutions to Discrete Mathematics and Functional Programming Selected solutions to Discrete Mathematics and Functional Programming Thomas VanDrunen August 13, 2013 This document is to provide a resource for students studying Discrete Mathematics and Functional Programming

More information

MATH10212 Linear Algebra B Homework 7

MATH10212 Linear Algebra B Homework 7 MATH22 Linear Algebra B Homework 7 Students are strongly advised to acquire a copy of the Textbook: D C Lay, Linear Algebra and its Applications Pearson, 26 (or other editions) Normally, homework assignments

More information

Databases Exam HT2016 Solution

Databases Exam HT2016 Solution Databases Exam HT2016 Solution Solution 1a Solution 1b Trainer ( ssn ) Pokemon ( ssn, name ) ssn - > Trainer. ssn Club ( name, city, street, streetnumber ) MemberOf ( ssn, name, city ) ssn - > Trainer.

More information

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2. Chapter 2 Chapter Summary Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.6) Section 2.1 Section Summary Definition of sets Describing

More information

Online Exercises for Linear Algebra XM511

Online Exercises for Linear Algebra XM511 This document lists the online exercises for XM511. The section ( ) numbers refer to the textbook. TYPE I are True/False. Lecture 02 ( 1.1) Online Exercises for Linear Algebra XM511 1) The matrix [3 2

More information

Exercises for Unit VI (Infinite constructions in set theory)

Exercises for Unit VI (Infinite constructions in set theory) Exercises for Unit VI (Infinite constructions in set theory) VI.1 : Indexed families and set theoretic operations (Halmos, 4, 8 9; Lipschutz, 5.3 5.4) Lipschutz : 5.3 5.6, 5.29 5.32, 9.14 1. Generalize

More information

Problem set #4. Due February 19, x 1 x 2 + x 3 + x 4 x 5 = 0 x 1 + x 3 + 2x 4 = 1 x 1 x 2 x 4 x 5 = 1.

Problem set #4. Due February 19, x 1 x 2 + x 3 + x 4 x 5 = 0 x 1 + x 3 + 2x 4 = 1 x 1 x 2 x 4 x 5 = 1. Problem set #4 Due February 19, 218 The letter V always denotes a vector space. Exercise 1. Find all solutions to 2x 1 x 2 + x 3 + x 4 x 5 = x 1 + x 3 + 2x 4 = 1 x 1 x 2 x 4 x 5 = 1. Solution. First we

More information

CS54100: Database Systems

CS54100: Database Systems CS54100: Database Systems Relational Algebra 3 February 2012 Prof. Walid Aref Core Relational Algebra A small set of operators that allow us to manipulate relations in limited but useful ways. The operators

More information

Introduction to the Theory of Computation. Automata 1VO + 1PS. Lecturer: Dr. Ana Sokolova.

Introduction to the Theory of Computation. Automata 1VO + 1PS. Lecturer: Dr. Ana Sokolova. Introduction to the Theory of Computation Automata 1VO + 1PS Lecturer: Dr. Ana Sokolova http://cs.uni-salzburg.at/~anas/ Setup and Dates Lectures and Instructions 23.10. 3.11. 17.11. 24.11. 1.12. 11.12.

More information

MA 180 Lecture. Chapter 0. College Algebra and Calculus by Larson/Hodgkins. Fundamental Concepts of Algebra

MA 180 Lecture. Chapter 0. College Algebra and Calculus by Larson/Hodgkins. Fundamental Concepts of Algebra 0.) Real Numbers: Order and Absolute Value Definitions: Set: is a collection of objections in mathematics Real Numbers: set of numbers used in arithmetic MA 80 Lecture Chapter 0 College Algebra and Calculus

More information

5 Set Operations, Functions, and Counting

5 Set Operations, Functions, and Counting 5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,

More information

Unit 1: Equations & Inequalities in One Variable

Unit 1: Equations & Inequalities in One Variable Date Period Unit 1: Equations & Inequalities in One Variable Day Topic 1 Properties of Real Numbers Algebraic Expressions Solving Equations 3 Solving Inequalities 4 QUIZ 5 Absolute Value Equations 6 Double

More information

CSE 215: Foundations of Computer Science Recitation Exercises Set #5 Stony Brook University. Name: ID#: Section #: Score: / 4

CSE 215: Foundations of Computer Science Recitation Exercises Set #5 Stony Brook University. Name: ID#: Section #: Score: / 4 CSE 215: Foundations of Computer Science Recitation Exercises Set #5 Stony Brook University Name: ID#: Section #: Score: / 4 Unit 10: Proofs by Contradiction and Contraposition 1. Prove the following statement

More information

Lecture 2: Syntax. January 24, 2018

Lecture 2: Syntax. January 24, 2018 Lecture 2: Syntax January 24, 2018 We now review the basic definitions of first-order logic in more detail. Recall that a language consists of a collection of symbols {P i }, each of which has some specified

More information

- Introduction to propositional, predicate and higher order logics

- Introduction to propositional, predicate and higher order logics Lecture 1: Deductive Verification of Reactive Systems - Introduction to propositional, predicate and higher order logics - Deductive Invariance Proofs Cristina Seceleanu MRTC, MdH E-mail: cristina.seceleanu@mdh.se

More information

Marketing Impact on Diffusion in Social Networks

Marketing Impact on Diffusion in Social Networks Marketing Impact on Diffusion in Social Networks Pavel Naumov Department of Computer Science Illinois Wesleyan University Bloomington, Illinois, the United States pnaumov@iwu.edu Jia Tao Department of

More information

7 RC Simulates RA. Lemma: For every RA expression E(A 1... A k ) there exists a DRC formula F with F V (F ) = {A 1,..., A k } and

7 RC Simulates RA. Lemma: For every RA expression E(A 1... A k ) there exists a DRC formula F with F V (F ) = {A 1,..., A k } and 7 RC Simulates RA. We now show that DRC (and hence TRC) is at least as expressive as RA. That is, given an RA expression E that mentions at most C, there is an equivalent DRC expression E that mentions

More information

Do not start until you are given the green signal

Do not start until you are given the green signal SOLUTIONS CSE 311 Winter 2011: Midterm Exam (closed book, closed notes except for 1-page summary) Total: 100 points, 5 questions. Time: 50 minutes Instructions: 1. Write your name and student ID on the

More information

web: HOMEWORK 1

web:   HOMEWORK 1 MAT 207 LINEAR ALGEBRA I 2009207 Dokuz Eylül University, Faculty of Science, Department of Mathematics Instructor: Engin Mermut web: http://kisideuedutr/enginmermut/ HOMEWORK VECTORS IN THE n-dimensional

More information

Lecture 2: Proof Techniques Lecturer: Lale Özkahya

Lecture 2: Proof Techniques Lecturer: Lale Özkahya BBM 205 Discrete Mathematics Hacettepe University http://web.cs.hacettepe.edu.tr/ bbm205 Lecture 2: Proof Techniques Lecturer: Lale Özkahya Resources: Kenneth Rosen, Discrete Mathematics and App. cs.colostate.edu/

More information