Relational Algebra and Calculus 29

Size: px
Start display at page:

Download "Relational Algebra and Calculus 29"

Transcription

1 Relational Algebra and Calculus Find the names of suppliers who supply some red part. 2. Find the sids of suppliers who supply some red or green part. 3. Find the sids of suppliers who supply some red part or are at 221 Packer Street. 4. Find the sids of suppliers who supply some red part and some green part. 5. Find the sids of suppliers who supply every part. 6. Find the sids of suppliers who supply every red part. 7. Find the sids of suppliers who supply every red or green part. 8. Find the sids of suppliers who supply every red part or supply every green part. 9. Find pairs of sids such that the supplier with the first sid charges more for some part than the supplier with the second sid. 10. Find the pids of parts supplied by at least two different suppliers. 11. Find the pids of the most expensive parts supplied by suppliers named Yosemite Sham. 12. Find the pids of parts supplied by every supplier at less than $200. (If any supplier either does not supply the part or charges more than $200 for it, the part is not selected.) Answer 4.3 In the answers below RA refers to Relational Algebra, refers to Tuple Relational Calculus and refers to Domain Relational Calculus. 1. RA π sname (π sid ((π pid σ color= red Parts) C atalog) Suppliers) {T T1 Suppliers( X Parts(X.color = red Y Catalog (Y.pid = X.pid Y.sid = T 1.sid)) T.sname = T 1.sname)} { Y X, Y, Z Suppliers P, Q, R( P, Q, R Parts R = red I,J,K( I,J,K Catalog J = P I = X))}

2 30 Chapter 4 SELECT S.sname FROM Suppliers S, Parts P, Catalog C WHERE P.color= red AND C.pid=P.pid AND C.sid=S.sid 2. RA π sid (π pid (σ color= red color= green Parts) catalog) {T T1 Catalog( X Parts((X.color = red X.color = green ) X.pid = T 1.pid) T.sid = T 1.sid)} { X X, Y, Z Catalog A, B, C( A, B, C Parts (C = red C = green ) A = Y )}, Parts P WHERE (P.color = red OR P.color = green ) AND P.pid = C.pid 3. RA ρ(r1,π sid ((π pid σ color= red Parts) C atalog)) ρ(r2,π sid σ address= 221P ackerstreet Suppliers) R1 R2 {T T1 Catalog( X Parts(X.color = red X.pid = T 1.pid) T.sid = T 1.sid) T 2 Suppliers(T 2.address = 221P ackerstreet T.sid = T 2.sid)} { X X, Y, Z Catalog A, B, C( A, B, C Parts C = red A = Y ) P, Q( X, P, Q Suppliers Q = 221P ackerstreet )}

3 Relational Algebra and Calculus 31 SELECT S.sid FROM Suppliers S WHERE S.address = 221 Packer street OR S.sid IN (, Catalog C WHERE P.color= red AND P.pid = C.pid ) 4. RA ρ(r1,π sid ((π pid σ color= red Parts) C atalog)) ρ(r2,π sid ((π pid σ color= green Parts) C atalog)) R1 R2 {T T1 Catalog( X Parts(X.color = red X.pid = T 1.pid) T 2 Catalog( Y Parts(Y.color = green Y.pid = T 2.pid) T 2.sid = T 1.sid) T.sid = T 1.sid)} { X X, Y, Z Catalog A, B, C( A, B, C Parts C = red A = Y ) P, Q, R( P, Q, R Catalog E,F,G( E,F,G Parts G = green E = Q) P = X)}, Catalog C WHERE P.color = red AND P.pid = C.pid AND EXISTS ( SELECT P2.pid 2, Catalog C2 WHERE P2.color = green AND C2.sid = C.sid AND P2.pid = C2.pid ) 5. RA (π sid,pid Catalog)/(π pid Parts) {T T1 Catalog( X Parts( T2 Catalog (T 2.pid = X.pid T 2.sid = T 1.sid)) T.sid = T 1.sid)}

4 32 Chapter 4 { X X, Y, Z Catalog A, B, C Parts ( P, Q, R Catalog(Q = A P = X))} WHERE NOT EXISTS (SELECT P.pid WHERE NOT EXISTS (SELECT C1.sid 1 WHERE C1.sid = C.sid AND C1.pid = P.pid)) 6. RA (π sid,pid Catalog)/(π pid σ color= red Parts) {T T 1 Catalog( X Parts(X.color red T 2 Catalog(T2.pid = X.pid T 2.sid = T 1.sid)) T.sid = T 1.sid)} { X X, Y, Z Catalog A, B, C Parts (C red P, Q, R Catalog(Q = A P = X))} WHERE NOT EXISTS (SELECT P.pid WHERE P.color = red AND (NOT EXISTS (SELECT C1.sid 1 WHERE C1.sid = C.sid AND C1.pid = P.pid))) 7. RA (π sid,pid Catalog)/(π pid σ color= red color= green Parts)

5 Relational Algebra and Calculus 33 {T T 1 Catalog( X Parts((X.color red X.color green ) T2 Catalog (T 2.pid = X.pid T 2.sid = T 1.sid)) T.sid = T 1.sid)} { X X, Y, Z Catalog A, B, C Parts ((C red C green ) P, Q, R Catalog (Q = A P = X))} WHERE NOT EXISTS (SELECT P.pid WHERE (P.color = red OR P.color = green ) AND (NOT EXISTS (SELECT C1.sid 1 WHERE C1.sid = C.sid AND C1.pid = P.pid))) 8. RA ρ(r1, ((π sid,pid Catalog)/(π pid σ color= red Parts))) ρ(r2, ((π sid,pid Catalog)/(π pid σ color= green Parts))) R1 R2 {T T1 Catalog(( X Parts (X.color red Y Catalog(Y.pid = X.pid Y.sid = T 1.sid)) Z Parts(Z.color green P Catalog (P.pid = Z.pid P.sid = T 1.sid))) T.sid = T 1.sid)} { X X, Y, Z Catalog ( A, B, C Parts (C red P, Q, R Catalog(Q = A P = X)) U, V, W Parts(W green M,N,L Catalog (N = U M = X)))}

6 34 Chapter 4 WHERE (NOT EXISTS (SELECT P.pid WHERE P.color = red AND (NOT EXISTS (SELECT C1.sid 1 WHERE C1.sid = C.sid AND C1.pid = P.pid)))) OR ( NOT EXISTS (SELECT P1.pid 1 WHERE P1.color = green AND (NOT EXISTS (SELECT C2.sid 2 WHERE C2.sid = C.sid AND C2.pid = P1.pid)))) 9. RA ρ(r1, Catalog) ρ(r2, Catalog) π R1.sid,R2.sid (σ R1.pid=R2.pid R1.sid R2.sid R1.cost>R2.cost (R1 R2)) {T T 1 Catalog( T 2 Catalog (T 2.pid = T 1.pid T 2.sid T 1.sid T 2.cost < T 1.cost T.sid2=T2.sid) T.sid1=T1.sid)} { X, P X, Y, Z Catalog P, Q, R ( P, Q, R Catalog Q = Y P X R<Z)} SELECT C1.sid, C2.sid 1, Catalog C2 WHERE C1.pid = C2.pid AND C1.sid C2.sid AND C1.cost > C2.cost

7 Relational Algebra and Calculus RA ρ(r1, Catalog) ρ(r2, Catalog) π R1.pid σ R1.pid=R2.pid R1.sid R2.sid (R1 R2) {T T1 Catalog( T 2 Catalog (T 2.pid = T 1.pid T 2.sid T 1.sid) T.pid = T 1.pid)} { X X, Y, Z Catalog A, B, C ( A, B, C Catalog B = Y A X)} SELECT C.pid WHERE EXISTS (SELECT C1.sid 1 WHERE C1.pid = C.pid AND C1.sid C.sid ) 11. RA ρ(r1,π sid σ sname= YosemiteSham Suppliers) ρ(r2,r1 Catalog) ρ(r3,r2) ρ(r4(1 sid, 2 pid, 3 cost),σ R3.cost<R2.cost (R3 R2)) π pid (R2 π sid,pid,cost R4) {T T1 Catalog( X Suppliers (X.sname = YosemiteSham X.sid = T 1.sid) ( S Suppliers (S.sname = YosemiteSham Z Catalog (Z.sid = S.sid Z.cost > T 1.cost))) T.pid = T 1.pid) { Y X, Y, Z Catalog A, B, C ( A, B, C Suppliers C = YosemiteSham A = X) ( P, Q, R( P, Q, R Suppliers R = YosemiteSham I,J,K( I,J,K Catalog(I = P K>Z))))}

Tuple Relational Calculus

Tuple Relational Calculus Tuple Relational Calculus Université de Mons (UMONS) May 14, 2018 Motivation S[S#, SNAME, STATUS, CITY] P[P#, PNAME, COLOR, WEIGHT, CITY] SP[S#, P#, QTY)] Get all pairs of city names such that a supplier

More information

Introduction to Data Management. Lecture #12 (Relational Algebra II)

Introduction to Data Management. Lecture #12 (Relational Algebra II) Introduction to Data Management Lecture #12 (Relational Algebra II) Instructor: Mike Carey mjcarey@ics.uci.edu Database Management Systems 3ed, R. Ramakrishnan and J. Gehrke 1 Announcements v HW and exams:

More information

Exam 1 Solutions Spring 2016

Exam 1 Solutions Spring 2016 Exam 1 Solutions Spring 2016 Problem 1 1. R 1 := σ color= red OR color= green (P arts) Result := Π sid (R 1 Catalog) 2. R 1 := σ sname= Y osemitesham (Suppliers) R 2 := Π pid,cost (R 1 Catalog) R 3 (pid1,

More information

ALTER TABLE Employee ADD ( Mname VARCHAR2(20), Birthday DATE );

ALTER TABLE Employee ADD ( Mname VARCHAR2(20), Birthday DATE ); !! "# $ % & '( ) # * +, - # $ "# $ % & '( ) # *.! / 0 "# "1 "& # 2 3 & 4 4 "# $ % & '( ) # *!! "# $ % & # * 1 3 - "# 1 * #! ) & 3 / 5 6 7 8 9 ALTER ; ? @ A B C D E F G H I A = @ A J > K L ; ?

More information

Relational Algebra & Calculus

Relational Algebra & Calculus Relational Algebra & Calculus Yanlei Diao UMass Amherst Slides Courtesy of R. Ramakrishnan and J. Gehrke 1 Outline v Conceptual Design: ER model v Logical Design: ER to relational model v Querying and

More information

6.897: Selected Topics in Cryptography Lectures 7 and 8. Lecturer: Ran Canetti

6.897: Selected Topics in Cryptography Lectures 7 and 8. Lecturer: Ran Canetti 6.897: Selected Topics in Cryptography Lectures 7 and 8 Lecturer: Ran Canetti Highlights of past lectures Presented a basic framework for analyzing the security of protocols for multi-party function evaluation.

More information

Database Design and Normalization

Database Design and Normalization Database Design and Normalization Chapter 11 (Week 12) EE562 Slides and Modified Slides from Database Management Systems, R. Ramakrishnan 1 1NF FIRST S# Status City P# Qty S1 20 London P1 300 S1 20 London

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

. ) =-, *+ 7 4* 8 ) 0 *+ 7 (c. 0 A #B (d

. ) =-, *+ 7 4* 8 ) 0 *+ 7 (c. 0 A #B (d (97!" #$) IT "0 / +,-.* 4 7,0,5 6.A 0 A+;,.89 ; ?$.0, 7 -.! %&!"# (a. R *+ 0 K K,-./ R ) *+ K ( K (b (97 - )./! 4 5 6, Connection String (c, *+ 7 8 *+ 7 0 *9 7 R ) (d. 4* c a ( b a ( c b (4 b d (

More information

Database Systems SQL. A.R. Hurson 323 CS Building

Database Systems SQL. A.R. Hurson 323 CS Building SQL A.R. Hurson 323 CS Building Structured Query Language (SQL) The SQL language has the following features as well: Embedded and Dynamic facilities to allow SQL code to be called from a host language

More information

CS 4604: Introduc0on to Database Management Systems. B. Aditya Prakash Lecture #3: SQL---Part 1

CS 4604: Introduc0on to Database Management Systems. B. Aditya Prakash Lecture #3: SQL---Part 1 CS 4604: Introduc0on to Database Management Systems B. Aditya Prakash Lecture #3: SQL---Part 1 Announcements---Project Goal: design a database system applica=on with a web front-end Project Assignment

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

Relational Algebra and Calculus

Relational Algebra and Calculus Topics Relational Algebra and Calculus Linda Wu Formal query languages Preliminaries Relational algebra Relational calculus Expressive power of algebra and calculus (CMPT 354 2004-2) Chapter 4 CMPT 354

More information

1. Partial Fraction Expansion All the polynomials in this note are assumed to be complex polynomials.

1. Partial Fraction Expansion All the polynomials in this note are assumed to be complex polynomials. Partial Fraction Expansion All the polynomials in this note are assumed to be complex polynomials A rational function / is a quotient of two polynomials P, Q with 0 By Fundamental Theorem of algebra, =

More information

Introduction to Data Management. Lecture #6 (Relational DB Design Theory)

Introduction to Data Management. Lecture #6 (Relational DB Design Theory) Introduction to Data Management Lecture #6 (Relational DB Design Theory) Instructor: Mike Carey mjcarey@ics.uci.edu Database Management Systems 3ed, R. Ramakrishnan and J. Gehrke 1 Announcements v Homework

More information

Database Systems Relational Algebra. A.R. Hurson 323 CS Building

Database Systems Relational Algebra. A.R. Hurson 323 CS Building Relational Algebra A.R. Hurson 323 CS Building Relational Algebra Relational model is based on set theory. A relation is simply a set. The relational algebra is a set of high level operators that operate

More information

Relational Algebra 2. Week 5

Relational Algebra 2. Week 5 Relational Algebra 2 Week 5 Relational Algebra (So far) Basic operations: Selection ( σ ) Selects a subset of rows from relation. Projection ( π ) Deletes unwanted columns from relation. Cross-product

More information

Lecture #7 (Relational Design Theory, cont d.)

Lecture #7 (Relational Design Theory, cont d.) Introduction to Data Management Lecture #7 (Relational Design Theory, cont d.) Instructor: Mike Carey mjcarey@ics.uci.edu Database Management Systems 3ed, R. Ramakrishnan and J. Gehrke 1 Announcements

More information

Introduction to Data Management. Lecture #6 (Relational Design Theory)

Introduction to Data Management. Lecture #6 (Relational Design Theory) Introduction to Data Management Lecture #6 (Relational Design Theory) Instructor: Mike Carey mjcarey@ics.uci.edu Database Management Systems 3ed, R. Ramakrishnan and J. Gehrke 1 Announcements v HW#2 is

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

Introduction to Data Management. Lecture #7 (Relational DB Design Theory II)

Introduction to Data Management. Lecture #7 (Relational DB Design Theory II) Introduction to Data Management Lecture #7 (Relational DB Design Theory II) Instructor: Mike Carey mjcarey@ics.uci.edu Database Management Systems 3ed, R. Ramakrishnan and J. Gehrke 1 Announcements v Homework

More information

Introduction to Vector Spaces Linear Algebra, Fall 2008

Introduction to Vector Spaces Linear Algebra, Fall 2008 Introduction to Vector Spaces Linear Algebra, Fall 2008 1 Echoes Consider the set P of polynomials with real coefficients, which includes elements such as 7x 3 4 3 x + π and 3x4 2x 3. Now we can add, subtract,

More information

Solutions to PS 2 Physics 201

Solutions to PS 2 Physics 201 Solutions to PS Physics 1 1. ke dq E = i (1) r = i = i k eλ = i k eλ = i k eλ k e λ xdx () (x x) (x x )dx (x x ) + x dx () (x x ) x ln + x x + x x (4) x + x ln + x (5) x + x To find the field for x, we

More information

7.13 7.14 7.15 J J WHERE CITY = 'London' ( SPJ WHERE J# = J# ( 'J1' ) ) { S# } 7.16 SPJ WHERE QTY QTY ( 300 ) AND QTY QTY ( 750 ) 7.17 7.18 7.19 7.20 7.21 P { COLOR, CITY } ( S JOIN P JOIN J ) { S#, P#,

More information

CS5300 Database Systems

CS5300 Database Systems CS5300 Database Systems Relational Algebra A.R. Hurson 323 CS Building hurson@mst.edu This module is intended to introduce: relational algebra as the backbone of relational model, and set of operations

More information

Clifford structures, Hilbert space. and bases for module structures on B(H)

Clifford structures, Hilbert space. and bases for module structures on B(H) Annals of the University of Bucharest (mathematical series (Analele Universităţii Bucureşti. Matematică (LIX (200, 79 87 Clifford structures on a Hilbert space H and bases for module structures on B(H

More information

LECTURE 5, FRIDAY

LECTURE 5, FRIDAY LECTURE 5, FRIDAY 20.02.04 FRANZ LEMMERMEYER Before we start with the arithmetic of elliptic curves, let us talk a little bit about multiplicities, tangents, and singular points. 1. Tangents How do we

More information

INF1383 -Bancos de Dados

INF1383 -Bancos de Dados INF1383 -Bancos de Dados Prof. Sérgio Lifschitz DI PUC-Rio Eng. Computação, Sistemas de Informação e Ciência da Computação Projeto de BD e Formas Normais Alguns slides são baseados ou modificados dos originais

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

Constraints: Functional Dependencies

Constraints: Functional Dependencies Constraints: Functional Dependencies Fall 2017 School of Computer Science University of Waterloo Databases CS348 (University of Waterloo) Functional Dependencies 1 / 42 Schema Design When we get a relational

More information

Florida STEM Course List

Florida STEM Course List Florida STEM List Biology 1 2000805 Biology Algebra 1 Biology 2 2000810 Biology Geometry Biology 3 2000820 Biology Biology Astronomy 1 2001800 Earth-Space Science Astronomy 1 2001800 Physics Astronomy

More information

22m:033 Notes: 1.3 Vector Equations

22m:033 Notes: 1.3 Vector Equations m:0 Notes: Vector Equations Dennis Roseman University of Iowa Iowa City, IA http://wwwmathuiowaedu/ roseman January 7, 00 Algebra and Geometry We think of geometric things as subsets of the plane or of

More information

New Mathematics and Computer Science, B.S. Degree.

New Mathematics and Computer Science, B.S. Degree. New Mathematics and Computer Science, B.S. Degree. List of requirements: Math 1041 (4 cr.) Calculus I Math 1042 (4 cr.) Calculus II Math 2043 (4 cr.) Calculus III Math 2101 (3 cr.) Linear Algebra Math

More information

Reteach Variation Functions

Reteach Variation Functions 8-1 Variation Functions The variable y varies directly as the variable if y k for some constant k. To solve direct variation problems: k is called the constant of variation. Use the known and y values

More information

A Dichotomy. in in Probabilistic Databases. Joint work with Robert Fink. for Non-Repeating Queries with Negation Queries with Negation

A Dichotomy. in in Probabilistic Databases. Joint work with Robert Fink. for Non-Repeating Queries with Negation Queries with Negation Dichotomy for Non-Repeating Queries with Negation Queries with Negation in in Probabilistic Databases Robert Dan Olteanu Fink and Dan Olteanu Joint work with Robert Fink Uncertainty in Computation Simons

More information

Modeling Probability: Building Spinners

Modeling Probability: Building Spinners .SP. Objective Common Core State Standards Modeling : Building Spinners A spinner is a convenient way to model probabilitythe likelihood that a specified event will occur. can be expressed as a fraction,

More information

Pacing Guide for 7-12 Curriculum. Week Number Chapter & Lesson COS Objectives

Pacing Guide for 7-12 Curriculum. Week Number Chapter & Lesson COS Objectives Pacing Guide for 7-12 Curriculum Course Title: Algebra 1B Length of Course: _2012-2013 Week Number Chapter & Lesson COS Objectives Week 1-3 days Week 2 Review lesson 17, lesson 30, lab 2, Investigation

More information

LOGICAL DATABASE DESIGN Part #1/2

LOGICAL DATABASE DESIGN Part #1/2 LOGICAL DATABASE DESIGN Part #1/2 Functional Dependencies Informally, a FD appears when the values of a set of attributes uniquely determines the values of another set of attributes. Example: schedule

More information

Relational Database Design Theory Part II. Announcements (October 12) Review. CPS 116 Introduction to Database Systems

Relational Database Design Theory Part II. Announcements (October 12) Review. CPS 116 Introduction to Database Systems Relational Database Design Theory Part II CPS 116 Introduction to Database Systems Announcements (October 12) 2 Midterm graded; sample solution available Please verify your grades on Blackboard Project

More information

Lycée des arts Math Grade Algebraic expressions S.S.4

Lycée des arts Math Grade Algebraic expressions S.S.4 Lycée des arts Math Grade 9 015-016 lgebraic expressions S.S.4 Exercise I: Factorize each of the following algebraic expressions, and then determine its real roots. (x) = 4x (3x 1) (x + ) (3x 1) + 3x 1

More information

Operator-valued Herglotz kernels and functions of positive real

Operator-valued Herglotz kernels and functions of positive real Operator-valued Herglotz kernels and functions of positive real part on the ball University of Florida July 24, 2008 Let D = {z C : z < 1}. Theorem (Riesz-Herglotz) Let f Hol(D). Then Rf 0 in D iff a postitive

More information

Schema Refinement & Normalization Theory: Functional Dependencies INFS-614 INFS614, GMU 1

Schema Refinement & Normalization Theory: Functional Dependencies INFS-614 INFS614, GMU 1 Schema Refinement & Normalization Theory: Functional Dependencies INFS-614 INFS614, GMU 1 Background We started with schema design ER model translation into a relational schema Then we studied relational

More information

A Declarative Framework for Linking Entities

A Declarative Framework for Linking Entities A Declarative Framework for Linking Entities DOUGLAS BURDICK and RONALD FAGIN, IBM Research Almaden PHOKION G. KOLAITIS, UC Santa Cruz & IBM Research Almaden LUCIAN POPA, IBM Research Almaden WANG-CHIEW

More information

2.6 Complexity Theory for Map-Reduce. Star Joins 2.6. COMPLEXITY THEORY FOR MAP-REDUCE 51

2.6 Complexity Theory for Map-Reduce. Star Joins 2.6. COMPLEXITY THEORY FOR MAP-REDUCE 51 2.6. COMPLEXITY THEORY FOR MAP-REDUCE 51 Star Joins A common structure for data mining of commercial data is the star join. For example, a chain store like Walmart keeps a fact table whose tuples each

More information

Linear Algebra Practice Problems

Linear Algebra Practice Problems Linear Algebra Practice Problems Math 24 Calculus III Summer 25, Session II. Determine whether the given set is a vector space. If not, give at least one axiom that is not satisfied. Unless otherwise stated,

More information

Database Applications (15-415)

Database Applications (15-415) Database Applications (15-415) Relational Calculus Lecture 6, January 26, 2016 Mohammad Hammoud Today Last Session: Relational Algebra Today s Session: Relational calculus Relational tuple calculus Announcements:

More information

Foundations of the PF relational calculus

Foundations of the PF relational calculus Foundations of the PF relational calculus J.N. Oliveira Dept. Informática, Universidade do Minho Braga, Portugal DI/UM, 2008 Recalling... Monotonicity: All operations are monotonic, eg. R S T U (R T) (S

More information

COSC 430 Advanced Database Topics. Lecture 2: Relational Theory Haibo Zhang Computer Science, University of Otago

COSC 430 Advanced Database Topics. Lecture 2: Relational Theory Haibo Zhang Computer Science, University of Otago COSC 430 Advanced Database Topics Lecture 2: Relational Theory Haibo Zhang Computer Science, University of Otago Learning objectives and references You should be able to: define the elements of the relational

More information

Lecture 20: Linear model, the LSE, and UMVUE

Lecture 20: Linear model, the LSE, and UMVUE Lecture 20: Linear model, the LSE, and UMVUE Linear Models One of the most useful statistical models is X i = β τ Z i + ε i, i = 1,...,n, where X i is the ith observation and is often called the ith response;

More information

Week 5: Functions and graphs

Week 5: Functions and graphs Calculus and Linear Algebra for Biomedical Engineering Week 5: Functions and graphs H. Führ, Lehrstuhl A für Mathematik, RWTH Aachen, WS 07 Motivation: Measurements at fixed intervals 1 Consider a sequence

More information

Fermat's Little Theorem

Fermat's Little Theorem Fermat's Little Theorem CS 2800: Discrete Structures, Spring 2015 Sid Chaudhuri Not to be confused with... Fermat's Last Theorem: x n + y n = z n has no integer solution for n > 2 Recap: Modular Arithmetic

More information

1. Vectors.

1. Vectors. 1. Vectors 1.1 Vectors and Matrices Linear algebra is concerned with two basic kinds of quantities: vectors and matrices. 1.1 Vectors and Matrices Scalars and Vectors - Scalar: a numerical value denoted

More information

Correlated subqueries. Query Optimization. Magic decorrelation. COUNT bug. Magic example (slide 2) Magic example (slide 1)

Correlated subqueries. Query Optimization. Magic decorrelation. COUNT bug. Magic example (slide 2) Magic example (slide 1) Correlated subqueries Query Optimization CPS Advanced Database Systems SELECT CID FROM Course Executing correlated subquery is expensive The subquery is evaluated once for every CPS course Decorrelate!

More information

Course Catalog. Pre-calculus Glynlyon, Inc.

Course Catalog. Pre-calculus Glynlyon, Inc. Course Catalog Pre-calculus 2016 Glynlyon, Inc. Table of Contents COURSE OVERVIEW... 1 UNIT 1: RELATIONS AND FUNCTIONS... 1 UNIT 2: FUNCTIONS... 1 UNIT 3: TRIGONOMETRIC FUNCTIONS... 2 UNIT 4: CIRCULAR

More information

Search on Graphs Theory meets Engineering

Search on Graphs Theory meets Engineering Search on Graphs Theory meets Engineering Yuqing Wu Indiana University U.S.A. George Fletcher Eindhoven Univ. of Tech. The Netherlands Tutorial Outline Graph Data and Search The Theory The Engineering

More information

Graphical User Interface for Design Stabilizing Controllers

Graphical User Interface for Design Stabilizing Controllers Graphical User Interface for Design Stabilizing Controllers Petr Urban 1,2, Michael Šebek1 1 Department of Control Engineering, Faculty of Electrical Engineering, Czech Technical University, Prague 2 Institute

More information

LIBRARY OF MATHEMATICS edited by

LIBRARY OF MATHEMATICS edited by LIBRARY OF MATHEMATICS edited by WALTER LEDERMANN D.Sc., Ph.D., F.R.S.Ed., Professor of Mathematics, University of Sussex Linear Equations Sequences and Series Differential Calculus Elementary Differential

More information

ME 406 Trapping a Limit Cycle

ME 406 Trapping a Limit Cycle orbtrap.nb 1 ME 6 Trapping a Limit Ccle In[3]:= ssid Mathematica.1, DnPac 1.65, ê13ê In[33]:= In[3]:= intreset; plotreset; ü Introduction In this notebook, we localize a limit ccle b orbit trapping. The

More information

Wed Feb The vector spaces 2, 3, n. Announcements: Warm-up Exercise:

Wed Feb The vector spaces 2, 3, n. Announcements: Warm-up Exercise: Wed Feb 2 4-42 The vector spaces 2, 3, n Announcements: Warm-up Exercise: 4-42 The vector space m and its subspaces; concepts related to "linear combinations of vectors" Geometric interpretation of vectors

More information

Properties of Continuous Probability Distributions The graph of a continuous probability distribution is a curve. Probability is represented by area

Properties of Continuous Probability Distributions The graph of a continuous probability distribution is a curve. Probability is represented by area Properties of Continuous Probability Distributions The graph of a continuous probability distribution is a curve. Probability is represented by area under the curve. The curve is called the probability

More information

Sample algebra qualifying exam

Sample algebra qualifying exam Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)

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

Math 4320 Final Exam

Math 4320 Final Exam Math 4320 Final Exam 2:00pm 4:30pm, Friday 18th May 2012 Symmetry, as wide or as narrow as you may define its meaning, is one idea by which man through the ages has tried to comprehend and create order,

More information

Cohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions

Cohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions Cohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions by Shizuo Kaji Department of Mathematics Kyoto University Kyoto 606-8502, JAPAN e-mail: kaji@math.kyoto-u.ac.jp Abstract

More information

Section 4.1 Relative Extrema 3 Lectures. Dr. Abdulla Eid. College of Science. MATHS 101: Calculus I

Section 4.1 Relative Extrema 3 Lectures. Dr. Abdulla Eid. College of Science. MATHS 101: Calculus I Section 4.1 Relative Extrema 3 Lectures College of Science MATHS 101: Calculus I (University of Bahrain) Extrema 1 / 16 Application of Differentiation One of the most important applications of differential

More information

The Laplace Expansion Theorem: Computing the Determinants and Inverses of Matrices

The Laplace Expansion Theorem: Computing the Determinants and Inverses of Matrices The Laplace Expansion Theorem: Computing the Determinants and Inverses of Matrices David Eberly, Geometric Tools, Redmond WA 98052 https://www.geometrictools.com/ This work is licensed under the Creative

More information

Department of Mathematics The Ohio State University

Department of Mathematics The Ohio State University Department of Mathematics The Ohio State University 2002-2003 Mathematics Courses Course Number Course Title 50 Pre-College Mathematics I 75 Pre-College Mathematics II 76 Reentry Precollege Math 103 Enrichment

More information

CAS CS 460/660 Introduction to Database Systems. Functional Dependencies and Normal Forms 1.1

CAS CS 460/660 Introduction to Database Systems. Functional Dependencies and Normal Forms 1.1 CAS CS 460/660 Introduction to Database Systems Functional Dependencies and Normal Forms 1.1 Review: Database Design Requirements Analysis user needs; what must database do? Conceptual Design high level

More information

But RECAP. Why is losslessness important? An Instance of Relation NEWS. Suppose we decompose NEWS into: R1(S#, Sname) R2(City, Status)

But RECAP. Why is losslessness important? An Instance of Relation NEWS. Suppose we decompose NEWS into: R1(S#, Sname) R2(City, Status) So far we have seen: RECAP How to use functional dependencies to guide the design of relations How to modify/decompose relations to achieve 1NF, 2NF and 3NF relations But How do we make sure the decompositions

More information

18-19 General Catalog Semester General Catalog Semester ================================================================================

18-19 General Catalog Semester General Catalog Semester ================================================================================ Page 1 Guidelines by Major Effective during the 18-19 Academic Year To: UC Berkeley From: Irvine Valley College 18-19 General Catalog Semester 18-19 General Catalog Semester ====Chemical Biology, Lower

More information

Antiderivatives and Initial Value Problems

Antiderivatives and Initial Value Problems Antierivatives an Initial Value Problems Warm up If f (x) =2x, whatisf (x)? Can you think of another function that f (x) coul be? If f (x) =3x 2 +, what is f (x)? Can you think of another function that

More information

Section 7.1: Functions Defined on General Sets

Section 7.1: Functions Defined on General Sets Section 7.1: Functions Defined on General Sets In this chapter, we return to one of the most primitive and important concepts in mathematics - the idea of a function. Functions are the primary object of

More information

Department of Mathematics The Ohio State University

Department of Mathematics The Ohio State University Department of Mathematics The Ohio State University 2004-2005 Mathematics Courses Course Number Course Title 50 Pre-College Mathematics I 75 Pre-College Mathematics II 76 Reentry Precollege Math 103 Enrichment

More information

MA 252 notes: Commutative algebra

MA 252 notes: Commutative algebra MA 252 notes: Commutative algebra (Distilled from [Atiyah-MacDonald]) Dan Abramovich Brown University February 11, 2017 Abramovich MA 252 notes: Commutative algebra 1 / 13 Primary ideals Primary decompositions

More information

Linear, Quadratic, and Cubic Forms over the Binary Field

Linear, Quadratic, and Cubic Forms over the Binary Field Linear, Quadratic, and Cubic Forms over the Binary Field Akihiro Munemasa 1 1 Graduate School of Information Sciences Tohoku University October 28, 2009 POSTECH Linear, Quadratic, and Cubic Forms over

More information

Earlier this week we defined Boolean atom: A Boolean atom a is a nonzero element of a Boolean algebra, such that ax = a or ax = 0 for all x.

Earlier this week we defined Boolean atom: A Boolean atom a is a nonzero element of a Boolean algebra, such that ax = a or ax = 0 for all x. Friday, April 20 Today we will continue in Course Notes 3.3: Abstract Boolean Algebras. Earlier this week we defined Boolean atom: A Boolean atom a is a nonzero element of a Boolean algebra, such that

More information

Pre-Calculus Midterm Practice Test (Units 1 through 3)

Pre-Calculus Midterm Practice Test (Units 1 through 3) Name: Date: Period: Pre-Calculus Midterm Practice Test (Units 1 through 3) Learning Target 1A I can describe a set of numbers in a variety of ways. 1. Write the following inequalities in interval notation.

More information

1 Gauss integral theorem for tensors

1 Gauss integral theorem for tensors Non-Equilibrium Continuum Physics TA session #1 TA: Yohai Bar Sinai 16.3.216 Index Gymnastics: Gauss Theorem, Isotropic Tensors, NS Equations The purpose of today s TA session is to mess a bit with tensors

More information

An Introduction to Differential Equations

An Introduction to Differential Equations An Introduction to Differential Equations Let's start with a definition of a differential equation. A differential equation is an equation that defines a relationship between a function and one or more

More information

CS 3411 Systems Programming

CS 3411 Systems Programming CS 3411 Systems Programming Department of Computer Science Michigan Technological University Unix Processes Today s Topics Unix Processes Creating New Processes Unix Processes Process is the image of a

More information

Equivalent Force Systems

Equivalent Force Systems Equivalent Force Systems EQUIVALENT SYSTEMS for SINGLE FORCE Determining the effect of moving a force. 1. MOVING A FORCE ON ITS LINE OF ACTION 2. MOVING A FORCE OFF OF ITS LINE OF ACTION Equivalent Force

More information

2.4 Log-Arithm-etic. A Practice Understanding Task

2.4 Log-Arithm-etic. A Practice Understanding Task 2.4 Log-Arithm-etic A Practice Understanding Task Abe and Mary are feeling good about their log rules and bragging about their mathematical prowess to all of their friends when this exchange occurs: CC

More information

Curriculum Catalog

Curriculum Catalog 2017-2018 Curriculum Catalog 2017 Glynlyon, Inc. Table of Contents PRE-CALCULUS COURSE OVERVIEW...1 UNIT 1: RELATIONS AND FUNCTIONS... 1 UNIT 2: FUNCTIONS... 1 UNIT 3: TRIGONOMETRIC FUNCTIONS... 2 UNIT

More information

MATH Line integrals III Fall The fundamental theorem of line integrals. In general C

MATH Line integrals III Fall The fundamental theorem of line integrals. In general C MATH 255 Line integrals III Fall 216 In general 1. The fundamental theorem of line integrals v T ds depends on the curve between the starting point and the ending point. onsider two was to get from (1,

More information

Math 1241, Spring 2014 Section 3.3. Rates of Change Average vs. Instantaneous Rates

Math 1241, Spring 2014 Section 3.3. Rates of Change Average vs. Instantaneous Rates Math 1241, Spring 2014 Section 3.3 Rates of Change Average vs. Instantaneous Rates Average Speed The concept of speed (distance traveled divided by time traveled) is a familiar instance of a rate of change.

More information

Lectures on Quantum Groups

Lectures on Quantum Groups Lectures in Mathematical Physics Lectures on Quantum Groups Pavel Etingof and Olivier Schiffinann Second Edition International Press * s. c *''.. \ir.ik,!.'..... Contents Introduction ix 1 Poisson algebras

More information

Remember... Average rate of change slope of a secant (between two points)

Remember... Average rate of change slope of a secant (between two points) 3.7 Rates of Change in the Natural and Social Sciences Remember... Average rate of change slope of a secant (between two points) Instantaneous rate of change slope of a tangent derivative We will assume

More information

sin cos 1 1 tan sec 1 cot csc Pre-Calculus Mathematics Trigonometric Identities and Equations

sin cos 1 1 tan sec 1 cot csc Pre-Calculus Mathematics Trigonometric Identities and Equations Pre-Calculus Mathematics 12 6.1 Trigonometric Identities and Equations Goal: 1. Identify the Fundamental Trigonometric Identities 2. Simplify a Trigonometric Expression 3. Determine the restrictions on

More information

Mathematical Induction. How does discrete math help us. How does discrete math help (CS160)? How does discrete math help (CS161)?

Mathematical Induction. How does discrete math help us. How does discrete math help (CS160)? How does discrete math help (CS161)? How does discrete math help us Helps create a solution (program) Helps analyze a program How does discrete math help (CS160)? Helps create a solution (program) q Logic helps you understand conditionals

More information

FIG consists of 25 configurations. These configurations are divided into three main classes: 1. Nondegenerate Configurations (9 members)

FIG consists of 25 configurations. These configurations are divided into three main classes: 1. Nondegenerate Configurations (9 members) SEC. 10.4 CATALOG OF K-CONFIGURATION 201 10.4 Catalog of K Configurations for Shallow Depths In order to facilitate further theoretical studies of hypothesis III in Sec. 10.3 and,to anticipate alternate

More information

This document is stored in Documents/4C/vectoralgebra.tex Compile it with LaTex. VECTOR ALGEBRA

This document is stored in Documents/4C/vectoralgebra.tex Compile it with LaTex. VECTOR ALGEBRA This document is stored in Documents/4C/vectoralgebra.tex Compile it with LaTex. September 23, 2014 Hans P. Paar VECTOR ALGEBRA 1 Introduction Vector algebra is necessary in order to learn vector calculus.

More information

Vector, Matrix, and Tensor Derivatives

Vector, Matrix, and Tensor Derivatives Vector, Matrix, and Tensor Derivatives Erik Learned-Miller The purpose of this document is to help you learn to take derivatives of vectors, matrices, and higher order tensors (arrays with three dimensions

More information

Introduction to Vector Spaces Linear Algebra, Spring 2011

Introduction to Vector Spaces Linear Algebra, Spring 2011 Introduction to Vector Spaces Linear Algebra, Spring 2011 You probabl have heard the word vector before, perhaps in the contet of Calculus III or phsics. You probabl think of a vector like this: 5 3 or

More information

Worksheet 1. Difference

Worksheet 1. Difference Worksheet Differences Remember: The difference of a sequence u n is: u n u n+ u n The falling factorial (power), n to the k falling, when k > 0, is: n k n(n )... (n k + ), Please complete the following

More information

Ideals: Definitions & Examples

Ideals: Definitions & Examples Ideals: Definitions & Examples Defn: An ideal I of a commutative ring R is a subset of R such that for a, b I and r R we have a + b, a b, ra I Examples: All ideals of Z have form nz = (n) = {..., n, 0,

More information

Math 241: Multivariable calculus

Math 241: Multivariable calculus Math 241: Multivariable calculus Professor Leininger Fall 2014 Calculus of 1 variable In Calculus I and II you study real valued functions of a single real variable. Examples: f (x) = x 2, r(x) = 2x2 +x

More information

Matrix Calculus and Kronecker Product

Matrix Calculus and Kronecker Product Matrix Calculus and Kronecker Product A Practical Approach to Linear and Multilinear Algebra Second Edition This page intentionally left blank Matrix Calculus and Kronecker Product A Practical Approach

More information

Curriculum Catalog

Curriculum Catalog 2017-2018 Curriculum Catalog - for use with AP courses 2017 Glynlyon, Inc. Table of Contents CALCULUS COURSE OVERVIEW... 1 UNIT 1: GRAPHS AND LIMITS... 1 UNIT 2: DERIVATIVES... 2 UNIT 3: RELATED RATES...

More information

ALGEBRAIC PROPERTIES OF OPERATOR ROOTS OF POLYNOMIALS

ALGEBRAIC PROPERTIES OF OPERATOR ROOTS OF POLYNOMIALS ALGEBRAIC PROPERTIES OF OPERATOR ROOTS OF POLYNOMIALS TRIEU LE Abstract. Properties of m-selfadjoint and m-isometric operators have been investigated by several researchers. Particularly interesting to

More information

Proof Complexity Meets Algebra,

Proof Complexity Meets Algebra, Proof Complexity Meets Algebra joint work with Albert Atserias Université Paris Diderot - Paris 7 Logical Structures in Computation Reunion Workshop Simons Institute, 13th December 2017 (CSP problem) P

More information