Information Systems for Engineers. Exercise 5. ETH Zurich, Fall Semester Hand-out Due
|
|
- Kory Hodges
- 5 years ago
- Views:
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 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 informationInformation 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 informationCSE 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 informationPlan 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 informationDatabases 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 informationRelational 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 informationSets 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 informationRelational 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 informationmat.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 informationWith 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 informationPhil 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 informationReview 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 informationQuery 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 information5x 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 informationComputational 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 informationAdvanced 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 informationDatabases. 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 informationExercise 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 informationFinal 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 informationCSCE 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 information1. (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 informationOutline. 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 informationMathematical 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 informationSection 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 informationVectors. 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 informationMath 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 informationChapter 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 informationProving 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 informationSets. 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 informationChapter 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 informationThis 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 informationDatabase 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 information40h + 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 informationMathematics 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 informationFinding 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 informationMath 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 informationSets. 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 informationarxiv: 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 informationReview 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 informationReview 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 informationICS141: 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 information6 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 informationDiscrete 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 informationSet 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 informationSet 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 informationMA 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 informationGeneral 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 information2.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 informationVector 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 informationMath 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 informationEquivalence 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 information2.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 informationAlgebraic 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 informationCHAPTER 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 informationMTH4103: 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 informationMATH10212 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 informationLinear 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 informationJeffrey 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 informationcse303 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 informationIntroduction 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 informationDesirable 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 informationCISC 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 informationMAC-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 informationCHAPTER 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 information1. 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 informationINTRODUCTION 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 informationA 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 informationEcon 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 informationAlgebraic 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 informationThe 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 informationOHSx 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 informationMatrices 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 informationLecture : 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 informationRelations. 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 informationWhat 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 informationMath 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 informationINF 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 informationMore 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 information1 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 informationSelected 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 informationMATH10212 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 informationDatabases 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 informationChapter 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 informationOnline 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 informationExercises 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 informationProblem 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 informationCS54100: 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 informationIntroduction 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 informationMA 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 information5 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 informationUnit 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 informationCSE 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 informationLecture 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
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 informationMarketing 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 information7 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 informationDo 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 informationweb: 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 informationLecture 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