Chapter 7 Relational Algebra. Topics in this Chapter Closure Revisited The Original Algebra: Syntax and Semantics What is the Algebra For? Further Points.

Slides:



Advertisements
Similar presentations
Relational Database Operators
Advertisements

Relational Algebra and Relational Calculus
พีชคณิตแบบสัมพันธ์ (Relational Algebra) บทที่ 3 อ. ดร. ชุรี เตชะวุฒิ CS (204)321 ระบบฐานข้อมูล 1 (Database System I)
Database Languages Chapter 7. The Relational Algebra.
Copyright © C. J. Date 2005page 97 S#Y S1DURINGS3DURING [d04:d10][d08:d10] S2DURINGS4DURING [d02:d04][d04:d10] [d08:d10] WITH ( EXTEND T2 ADD ( COLLAPSE.
Relational Algebra, Join and QBE Yong Choi School of Business CSUB, Bakersfield.
1 CHAPTER 4 RELATIONAL ALGEBRA AND CALCULUS. 2 Introduction - We discuss here two mathematical formalisms which can be used as the basis for stating and.
Chapter 3 An Introduction to Relational Databases.
CMPT 354, Simon Fraser University, Fall 2008, Martin Ester 52 Database Systems I Relational Algebra.
Oct 28, 2003Murali Mani Relational Algebra B term 2004: lecture 10, 11.
Relational Algebra Relational Calculus. Relational Algebra Operators Relational algebra defines the theoretical way of manipulating table contents using.
Copyright © 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 6 The Relational Algebra and Relational Calculus.
Domains, Relations & Base RelVars (Ch
Database Systems: A Practical Approach to Design, Implementation and Management International Computer Science S. Carolyn Begg, Thomas Connolly Lecture.
Relational Algebra Chapter 4 - part I. 2 Relational Query Languages  Query languages: Allow manipulation and retrieval of data from a database.  Relational.
Relational Algebra. Relational algebra Consists of collection of operators –Restrict, project, join, … Takes relations as operands Returns relations as.
Murali Mani Relational Algebra. Murali Mani What is Relational Algebra? Defines operations (data retrieval) for relational model SQL’s DML (Data Manipulation.
Chapter 6 Relations. Copyright © 2004 Pearson Addison-Wesley. All rights reserved.6-2 Topics in this Chapter Tuples Relation Types Relation Values Relation.
Chapter 6 Relations. Topics in this Chapter Tuples Relation Types Relation Values Relation Variables SQL Facilities.
Chapter 3 Section 3.4 Relational Database Operators
Relational Algebra II. Semantics - where A WHERE X  Y –  : an operator like =, >, … Result of restriction A by the condition X  Y is A relation –with.
The Relational Model Part III. Remember: 3 Aspects of the Model It concerns 1) data objects storing it 2) data integrity making sure it corresponds to.
3-1 Unit 3 The Relational Model. 3-2 Wei-Pang Yang, Information Management, NDHU Outline  3.1 Introduction  3.2 Relational Data Structure  3.3 Relational.
Copyright © 2007 Ramez Elmasri and Shamkant B. Navathe Chapter 6 The Relational Algebra.
Chapter 10 Views. Topics in this Chapter What are Views For? View Retrievals View Updates Snapshots SQL Facilities.
CSE314 Database Systems The Relational Algebra and Relational Calculus Doç. Dr. Mehmet Göktürk src: Elmasri & Navanthe 6E Pearson Ed Slide Set.
1 The Relational Database Model. 2 Learning Objectives Terminology of relational model. How tables are used to represent data. Connection between mathematical.
Further Normalization I
Bayu Adhi Tama, ST., MTI. Introduction Relational algebra and relational calculus are formal languages associated with the relational.
Database Management Systems, R. Ramakrishnan and J. Gehrke1 Relational Algebra.
RELATIONAL ALGEBRA CHAPTER 6 1. LECTURE OUTLINE  Unary Relational Operations: SELECT and PROJECT  Relational Algebra Operations from Set Theory  Binary.
Chapter 7 Relational Algebra. Copyright © 2004 Pearson Addison-Wesley. All rights reserved.7-2 Topics in this Chapter Closure Revisited The Original Algebra:
1.1 CAS CS 460/660 Introduction to Database Systems Relational Algebra.
Algebra1 After this lecture, you should be able to:  Understand the differences between SQL (Structured Query Language) and Relational Algebra expressions.
Chapter 6 The Relational Algebra Copyright © 2004 Ramez Elmasri and Shamkant Navathe.
Chapter 5 Relational Algebra and Relational Calculus Pearson Education © 2009.
Chapter 5 Relational Algebra Pearson Education © 2014.
Relational Algebra Operators
Copyright © 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 6 The Relational Algebra and Relational Calculus.
Advanced Relational Algebra & SQL (Part1 )
1 Algebra of Queries Classical Relational Algebra It is a collection of operations on relations. Each operation takes one or two relations as its operand(s)
1 CS 430 Database Theory Winter 2005 Lecture 5: Relational Algebra.
CSC271 Database Systems Lecture # 7. Summary: Previous Lecture  Relational keys  Integrity constraints  Views.
Copyright © 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 6 The Relational Algebra and Relational Calculus.
Relational Algebra Prof. Yin-Fu Huang CSIE, NYUST Chapter 7.
Chapter 10 Views. Copyright © 2004 Pearson Addison-Wesley. All rights reserved.10-2 Topics in this Chapter What are Views For? View Retrievals View Updates.
Integrity Prof. Yin-Fu Huang CSIE, NYUST Chapter 9.
Views Prof. Yin-Fu Huang CSIE, NYUST Chapter 10. Advanced Database System Yin-Fu Huang 10.1Introduction Example: Var Good_Supplier View (S Where Status.
LECTURE THREE RELATIONAL ALGEBRA 11. Objectives  Meaning of the term relational completeness.  How to form queries in relational algebra. 22Relational.
Relational Algebra COMP3211 Advanced Databases Nicholas Gibbins
Chapter 4 An Introduction to SQL. Copyright © 2004 Pearson Addison-Wesley. All rights reserved.4-2 Topics in this Chapter SQL: History and Overview The.
Structured Query Language IV Asma Ahmad (C. J. Date) Database Systems.
Ritu CHaturvedi Some figures are adapted from T. COnnolly
STRUCTURE OF PRESENTATION :
COMP3017 Advanced Databases
Chapter 10 Views.
Relational Algebra.
Lecture 2 The Relational Model
Theory behind the relational engine
Theory behind the relational engine
Chapter 8 Relational Calculus.
Relational Algebra Chapter 4, Part A
Chapter 3 The Relational Database Model
Advanced Database System
Unit 7 Normalization (表格正規化).
The Relational Algebra
STRUCTURE OF PRESENTATION :
STRUCTURE OF PRESENTATION :
Chapter 4 Relational Algebra
Presentation transcript:

Chapter 7 Relational Algebra

Topics in this Chapter Closure Revisited The Original Algebra: Syntax and Semantics What is the Algebra For? Further Points and Additional Operators Grouping and Ungrouping

Relational Algebra The relational algebra is a collection of operators that take relations as their operands and return a relation as their result Eight operators, in two groups of four Union, intersect, difference, Cartesian product Restrict, project, join, divide The set of possible relational operators is essentially unlimited The operators are “read only”

Fig. 7.1 The original eight operators (overview)

Closure Revisited The output from any relation operator is another relation: the closure property Relation expressions can be nested (analogously to arithmetic expressions) Every relation has a head and a body; relational algebra must address both Attribute type inference must be supported RENAME changes the name of an attribute without changing its type or content

RENAME S RENAME CITY AS SCITY | S# | SNAME | STATUS | SCITY | | S1 | Smith | 20 | London | | S2 | Jones | 10 | Paris | | S3 | Blake | 30 | Paris | | S4 | Clark | 20 | London | | S5 | Adams | 30 | Athens |

RENAME (S RENAME CITY AS SCITY) | S# | SNAME | STATUS | SCITY | | S1 | Smith | 20 | London | | S2 | Jones | 10 | Paris | | S3 | Blake | 30 | Paris | | S4 | Clark | 20 | London | | S5 | Adams | 30 | Athens | expression value

The Syntax of the Original Algebra The algebra exists because of the nature and definition of relations. The algebra is independent of its description. Note that the Date text defines the algebra using words rather than symbols. Most texts use symbols to describe the syntax of the algebra. Some who prefer that say that it “looks more scientific.” More about the symbols later.

The Syntax of the Original Algebra BNF grammar for the relational algebra: ::=“is defined as” to indicate category names |“or” […]to indicate something optional upper case words such as WHERE are elements of the language { and } are symbols in the language, not BNF use of “commalist” for repetition

The Syntax of the Original Algebra Each operator returns a relation, and operates on a relation Each operator assigns a relation value to the new relation, based on alterations to the tables being operated upon Generically: := RELATION { }

The Syntax of the Original Algebra – General Format := RELATION { } | | ( )

::= | :: = { [ ALL BUT ] } (The must not be a ) ::= | | | | | | |

::= RENAME (The must not be a ) ::= UNION (The s must not be s, except either or both can be another )

::= INTERSECT (The s must not be s) (Except either or both can be another ) ::= MINUS (The s must not be s) ::= TIMES (The s must not be s) (Except either or both can be another )

::= WHERE (The must not be a ) ::= JOIN (The s must not be s) (Except either or both can be another )

::= DIVIDEBY PER (The s must not be s) ::= | (, ) (The s must not be s) ::= WITH : ::= AS

Semantics of the Original Algebra – Union Union operates on two sets and returns a set that contains all elements belonging to either Both sets must be of the same type - formerly known as union compatibility Relations cannot have duplicate tuples; we say loosely that UNION “eliminates duplicates”

Semantics of the Original Algebra – Intersect and Difference Intersect operates on two sets and returns a set that contains all tuples belonging to both Difference operates on two sets and returns a set containing all tuples occuring in one but not the other, using MINUS For both Intersect and Difference, the sets operated upon must be of the same type - formerly known as union compatibility

Semantics of the Original Algebra – Cartesian Product A Cartesian Product is the set of all ordered pairs such that in each pair, the first element comes from the first set, and the second element comes from the second set However, since the result of a relational operator is a relation, the result of each pair is a single tuple containing all the elements of both of the source tuples Uses keyword TIMES

Semantics of the Original Algebra – Restrict Yields a horizontal subset – a/k/a “SELECT” a WHERE p p is called the restriction condition p is a predicate, and returns boolean If it can be evaluated by examining a single tuple it is simple; otherwise it is nonsimple

Semantics of the Original Algebra – Project Yields a vertical subset The general form is a commalist of attributes to be kept in the result For all attributes kept, all tuples are kept An alternative specification is to name the attributes to be excluded: P { ALL BUT WEIGHT}

Semantics of the Original Algebra – Join – Natural Join When unqualified, join means “natural join” For any two relations with at least one matching attribute, the join operator returns a relation with a single tuple of all the attributes for each match Attributes that do not match from each source relation are retained If no attributes match, result is a Cartesian product If all attributes match, result is an Intersect

Semantics of the Original Algebra – Join – Theta Join Used to join relations based on matching attributes, where the values are not equal Given relations a and b, and attributes X and Y, this can be expressed as follows: (a TIMES b) WHERE X theta Y When theta is set to = the result can be made to be that of natural join (project away the duplicate attribute, and rename the kept one)

Semantics of the Original Algebra – Divide Used to “divide one relation into another” Small Divide uses one relation expression as divisor, Great Divide uses two For small divide: a DIVIDEDBY b PER c where a is the dividend, b is the divisor, and c is the mediator Used to determine who in a relates to the complete set in b

Semantics of the Original Algebra – Divide - Example Let S be a relation of suppliers, P one of parts, and SP the mediator S JOIN ( S {S#} DIVIDEDBY P {P#} PER SP {S#, P#} ) Will return a relation with suppliers who supply all parts, only

Examples Get supplier names for suppliers who supply part P2. In SQL: SELECT SNAME FROM S WHERE S# IN (SELECT S# FROM SP WHERE P# = ‘P2’); In relational algebra: ( ( SP JOIN S ) WHERE P# = P# (‘P2’) ) { SNAME }

Get supplier names for suppliers who supply at least one red part. SELECT SNAME FROM S WHERE S# IN (SELECT S# FROM SP WHERE P# IN (SELECT P# FROM P WHERE COLOR = ‘RED’) ); ( ( ( P WHERE COLOR = COLOR (‘RED’) ) { P# } JOIN SP ) { S# } JOIN S ) {SNAME}

Get supplier names for suppliers who do not supply part P2. SELECT SNAME FROM S WHERE NOT EXISTS ( SELECT S# FROM SP WHERE S# = S.S# AND P# = ‘P2’ ) ; ( ( S {S#} MINUS ( SP WHERE P# = ‘P2’ ) { S# } ) JOIN S ) { SNAME }

Get all pairs of supplier numbers where the two suppliers are located in the same city. SELECT FIRST.S#, SECOND.S# FROM S FIRST, S SECOND WHERE FIRST.CITY = SECOND.CITY AND FIRST.S# < SECOND.S#; ( ( ( S RENAME S# AS FIRSTS# ) {FIRSTS#, CITY} JOIN (S RENAME S# AS SECONDS# ) {SECONDS#, CITY} ) WHERE FIRSTS# < SECONDS# ) { FIRSTS#, SECONDS# }

Get supplier names for suppliers who do not supply part P2. SELECT SNAME FROM S WHERE NOT EXISTS ( SELECT S# FROM SP WHERE S# = S.S# AND P# = ‘P2’ ) ; ( ( S {S#} MINUS ( SP WHERE P# = ‘P2’ ) { S# } ) JOIN S ) { SNAME }

::= DIVIDEBY PER (The s must not be s) ::= | (, ) (The s must not be s) ::= WITH : ::= AS

Semantics of the Original Algebra – Divide Used to “divide one relation into another” Small Divide uses one relation expression as divisor, Great Divide uses two For small divide: a DIVIDEDBY b PER c where a is the dividend, b is the divisor, and c is the mediator Used to determine who in a relates to the complete set in b

Fig. 7.8 Division Examples

The “Symbolic” Form Names of Suppliers located in Paris: π SNAME ( σ CITY = ‘Paris’ (S) ) (S WHERE CITY = CITY (‘Paris’) ){SNAME} Names of Suppliers of part ‘P2’: π SNAME ( σ P# = ’P2’ (S SP) ) ((S JOIN SP) WHERE P# = ‘P2’) {SNAME}

What is the Algebra for? The purpose of the algebra is to allow the writing of relational expressions Applications of the algebra: retrieval, update, defining integrity constraints, derived relvars, stability and security An implemented language can be said to be relationally complete if it is at least as powerful as the algebra

The Original Algebra Many operators are associative: Union, intersect, times, join, but not minus Many operators are commutative: Union, intersect, times, join, but not minus Join, union, intersect were originally defined as dyadic, but are now seen to operate on any number of relations, including DEE and DUM

Additional Relational Operators Semijoin is used to perform a partial join based on restrictions (Join for a specific part number, for example) Semidifference is similar (Obtain suppliers who do not supply a particular part, e.g.) Extend adds an attribute dynamically, but does not alter the underlying relvar Summarize performs vertical or attribute- wise computations

Semijoin A SEMIJOIN B is equivalent to: (A JOIN B) { X, Y } The JOIN of A and B projected over the attributes of A. The tuples of A that have “counterparts” in B.

Grouping… Required because relations can have attributes that are themselves relations Provides a map between such relations and “flat” relations SP GROUP {P#, QTY} AS PQ Will return quantities of parts by supplier, which is the unnamed co-conspirator

…and Ungrouping Returns the original relation In the example, the original SP relation If you group, you can always ungroup, but the converse is not necessarily true This occurs when the relations being ungrouped were not validly grouped in the first place