Information Systems for Engineers. Exercise 5. ETH Zurich, Fall Semester Hand-out Due
|
|
- Stephanie Walton
- 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. name gini name 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 (b) A B (c) A B (d) B A 1
2 (e) π gini (A) (f) σ gini 30 (B) (g) π name (σ gini<40 (A B)) (h) B σ gini<40 (A) (i) σ gini>40 (A) B 2. Given the two tables below, write down the resulting table for each of the following operations. id name 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 (b) π last (ρ name last (C)) (c) π enter (σ in=true (ρ time enter (D))) π name (C) (d) γ id,name,count(time) count (C π time (D)) 3. Given the two tables below, write down the resulting table for each of the following operations. name birthdate Ryan Gosling E = Harrison Ford Sean Young Page 3
4 F = (a) E F movie title movie year star name 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 (b) E ρ star name name (F ) (c) γ birthdate,count(movie) movie count (ρ name star name (F ) E) 4. Consider the two tables below. For each of the following statements, write a corresponding relational algebra expression: Page 4
5 G = name hdi gini Costa Rica USA Switzerland Georgia Panama Indonesia H = name population area Panama Georgia Costa Rica Indonesia Switzerland USA (a) The name and Gini-index of countries with a population less than five million. (b) The name and population of countries with a Gini-index of at most 40. (c) The total number of people living in countries with an HDI of less than Given the two tables below, write down the resulting table for each of the following operations assuming bag semantics. I = (a) I J name Frost Lich Jaina Baron Geddon Frostbolt Frostbolt type Playable hero Minion Spell Spell J = name Open The Waygate Frostbolt Arcane Giant Molten Reflection type Quest Spell Minion Spell (b) I J (c) I J Page 5
6 (d) J I (e) σ type=spell (I J) (f) δ(σ type=spell (I J)) (g) π type (σ count=b (a)), where a = γ type,count(name) 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. Page 6
7 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. (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. (c) Theta joins commute with one another. 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) Page 7
8 (a) Prove that selection is distributive over intersection. (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. 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: π 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. (b) Is the projection operator distributive over set difference (commonly denoted as or \ )? If yes, prove it, otherwise provide a counterexample. 9. Prove that a projection is absorbed by a projection on a smaller subset. References [1] Garcia-Molina, Hector and Ullman, Jeffrey D. and Widom, Jennifer, Database Systems: The Complete Book, Second Edition. Page 8
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationMATH 315 Linear Algebra Homework #1 Assigned: August 20, 2018
Homework #1 Assigned: August 20, 2018 Review the following subjects involving systems of equations and matrices from Calculus II. Linear systems of equations Converting systems to matrix form Pivot entry
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationCOMPOUND INEQUALITIES
13 (3 1) Chapter 3 Inequalities in One Variable 95. Designer jeans. A pair of ordinary jeans at A-Mart costs $50 less than a pair of designer jeans at Enrico s. In fact, you can buy four pairs of A-Mart
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 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 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 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 informationMATH 304 Linear Algebra Lecture 20: Review for Test 1.
MATH 304 Linear Algebra Lecture 20: Review for Test 1. Topics for Test 1 Part I: Elementary linear algebra (Leon 1.1 1.4, 2.1 2.2) Systems of linear equations: elementary operations, Gaussian elimination,
More informationQuery Evaluation on Probabilistic Databases. CSE 544: Wednesday, May 24, 2006
Query Evaluation on Probabilistic Databases CSE 544: Wednesday, May 24, 2006 Problem Setting Queries: Tables: Review A(x,y) :- Review(x,y), Movie(x,z), z > 1991 name rating p Movie Monkey Love good.5 title
More informationTangent bundles, vector fields
Location Department of Mathematical Sciences,, G5-109. Main Reference: [Lee]: J.M. Lee, Introduction to Smooth Manifolds, Graduate Texts in Mathematics 218, Springer-Verlag, 2002. Homepage for the book,
More informationProgram verification using Hoare Logic¹
Program verification using Hoare Logic¹ Automated Reasoning - Guest Lecture Petros Papapanagiotou Part 2 of 2 ¹Contains material from Mike Gordon s slides: Previously on Hoare Logic A simple while language
More informationMath 3 Proportion & Probability Part 2 Sequences, Patterns, Frequency Tables & Venn Diagrams
Math 3 Proportion & Probability Part 2 Sequences, Patterns, Frequency Tables & Venn Diagrams 1 MATH 2 REVIEW ARITHMETIC SEQUENCES In an Arithmetic Sequence the difference between one term and the next
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 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 informationProvenance Semirings. Todd Green Grigoris Karvounarakis Val Tannen. presented by Clemens Ley
Provenance Semirings Todd Green Grigoris Karvounarakis Val Tannen presented by Clemens Ley place of origin Provenance Semirings Todd Green Grigoris Karvounarakis Val Tannen presented by Clemens Ley place
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 informationMath 313 (Linear Algebra) Exam 2 - Practice Exam
Name: Student ID: Section: Instructor: Math 313 (Linear Algebra) Exam 2 - Practice Exam Instructions: For questions which require a written answer, show all your work. Full credit will be given only if
More informationPresentation Outline: Haunted Places in North America
Name: Date: Presentation Outline: Haunted Places in North America Grade: / 25 Context & Task Halloween is on it s way! What better way to celebrate Halloween than to do a project on haunted places! There
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 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 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 informationLecture 7: Introduction to linear systems
Lecture 7: Introduction to linear systems Two pictures of linear systems Consider the following system of linear algebraic equations { x 2y =, 2x+y = 7. (.) Note that it is a linear system with two unknowns
More informationBasic Quantum Mechanics Prof. Ajoy Ghatak Department of Physics Indian Institute of Technology, Delhi
Basic Quantum Mechanics Prof. Ajoy Ghatak Department of Physics Indian Institute of Technology, Delhi Module No. # 07 Bra-Ket Algebra and Linear Harmonic Oscillator - II Lecture No. # 01 Dirac s Bra and
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 informationx 2 For example, Theorem If S 1, S 2 are subspaces of R n, then S 1 S 2 is a subspace of R n. Proof. Problem 3.
.. Intersections and Sums of Subspaces Until now, subspaces have been static objects that do not interact, but that is about to change. In this section, we discuss the operations of intersection and addition
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 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 informationBloom Filters and Locality-Sensitive Hashing
Randomized Algorithms, Summer 2016 Bloom Filters and Locality-Sensitive Hashing Instructor: Thomas Kesselheim and Kurt Mehlhorn 1 Notation Lecture 4 (6 pages) When e talk about the probability of an event,
More informationLecture 4: Gaussian Elimination and Homogeneous Equations
Lecture 4: Gaussian Elimination and Homogeneous Equations Reduced Row Echelon Form An augmented matrix associated to a system of linear equations is said to be in Reduced Row Echelon Form (RREF) if the
More informationFormal Methods for Java
Formal Methods for Java Lecture 12: Soundness of Sequent Calculus Jochen Hoenicke Software Engineering Albert-Ludwigs-University Freiburg June 12, 2017 Jochen Hoenicke (Software Engineering) Formal Methods
More informationMath 110 Professor Ken Ribet
Math 110 Professor Ken Ribet Linear Algebra Spring, 2005 January 20, 2005 A psychologist named Nalini Ambady gave students three 10-second soundless videotapes of a teacher lecturing. Then she asked the
More informationMATH10212 Linear Algebra B Homework Week 3. Be prepared to answer the following oral questions if asked in the supervision class
MATH10212 Linear Algebra B Homework Week Students are strongly advised to acquire a copy of the Textbook: D. C. Lay Linear Algebra its Applications. Pearson, 2006. ISBN 0-521-2871-4. Normally, homework
More informationMTH 309 Supplemental Lecture Notes Based on Robert Messer, Linear Algebra Gateway to Mathematics
MTH 309 Supplemental Lecture Notes Based on Robert Messer, Linear Algebra Gateway to Mathematics Ulrich Meierfrankenfeld Department of Mathematics Michigan State University East Lansing MI 48824 meier@math.msu.edu
More information1 Invariant subspaces
MATH 2040 Linear Algebra II Lecture Notes by Martin Li Lecture 8 Eigenvalues, eigenvectors and invariant subspaces 1 In previous lectures we have studied linear maps T : V W from a vector space V to another
More informationEconomics 204 Summer/Fall 2011 Lecture 2 Tuesday July 26, 2011 N Now, on the main diagonal, change all the 0s to 1s and vice versa:
Economics 04 Summer/Fall 011 Lecture Tuesday July 6, 011 Section 1.4. Cardinality (cont.) Theorem 1 (Cantor) N, the set of all subsets of N, is not countable. Proof: Suppose N is countable. Then there
More informationStatistics for Financial Engineering Session 2: Basic Set Theory March 19 th, 2006
Statistics for Financial Engineering Session 2: Basic Set Theory March 19 th, 2006 Topics What is a set? Notations for sets Empty set Inclusion/containment and subsets Sample spaces and events Operations
More informationExpressions and Formulas 1.1. Please Excuse My Dear Aunt Sally
Expressions and Formulas 1.1 Order of Operations (PEMDAS) 1. Parenthesis 2. Exponents 3. Multiply or Divide from left to right 4. Add of Subtract from left to right Please Excuse My Dear Aunt Sally Example
More informationPerform the same three operations as above on the values in the matrix, where some notation is given as a shorthand way to describe each operation:
SECTION 2.1: SOLVING SYSTEMS OF EQUATIONS WITH A UNIQUE SOLUTION In Chapter 1 we took a look at finding the intersection point of two lines on a graph. Chapter 2 begins with a look at a more formal approach
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 informationLinear Algebra problems
Linear Algebra problems 1. Show that the set F = ({1, 0}, +,.) is a field where + and. are defined as 1+1=0, 0+0=0, 0+1=1+0=1, 0.0=0.1=1.0=0, 1.1=1.. Let X be a non-empty set and F be any field. Let X
More informationLecture Summaries for Linear Algebra M51A
These lecture summaries may also be viewed online by clicking the L icon at the top right of any lecture screen. Lecture Summaries for Linear Algebra M51A refers to the section in the textbook. Lecture
More informationChapter Five: Nondeterministic Finite Automata
Chapter Five: Nondeterministic Finite Automata From DFA to NFA A DFA has exactly one transition from every state on every symbol in the alphabet. By relaxing this requirement we get a related but more
More information