EEE207 Database Concepts Lecture 2
EEE207 Database Concepts Lecture 2
Peter Kimemiah
attributes
(or columns)
tuples
(or rows)
Attribute Types
The set of allowed values for each attribute is called the domain
of the attribute (could be number, string, binary e.t.c)
Attribute values are (normally) required to be atomic; that is,
indivisible
The special value null is a member of every domain. (null is not
zero or blank, it is nothing)
The null value causes complications in the definition of many
operations
Relation Schema and Instance
A1, A2, …, An are attributes
instructor
student
advisor
Bad design:
univ (instructor -ID, name, dept_name, salary, student_Id, ..)
results in
which one?
Foreign key constraint: Value in one relation must appear in another
Referencing relation
Referenced relation
Schema Diagram for University Database
Relational Query Languages
Procedural vs.non-procedural, or declarative
“Pure” languages:
Relational algebra
Tuple relational calculus
Domain relational calculus
Relational operators
Selection of tuples
Relation r
Relation r:
Select A and C
Projection
Π A, C (r)
Joining two relations – Cartesian Product
Relations r, s:
r x s:
Union of two relations
Relations r, s:
r s:
Set difference of two relations
Relations r, s:
r – s:
Set Intersection of two relations
Relation r, s:
r s
Joining two relations – Natural Join
Natural Join
r s
Figure in-
in-2.1
Example Queries
Find the loan number for each loan of an amount greater than
$1200
loan_number ( amount > 1200 (loan))
Find the names of all customers who have a loan, an account, or both,
from the bank
customer_name( loan.loan_number =
borrower.loan_number (
( branch_name = “Perryridge” (loan)) x borrower))
Reference of Set Symbols
Sign Example Meaning and verbal equivalent Remarks
⊆ B⊆A B is included in A; B is a subset Every element of B belongs to A. ⊂ is also used.
of A
⊂ B⊂A B is properly included in A; B is a Every element of B belongs to A, but B is not equal
proper subset of A to A. If ⊂ is used for "included", then ⊊ should be
used for "properly included".
⊈ C⊈A C is not included in A; C is not a ⊄ is also used.
subset of A
⊇ A⊇ B A includes B (as subset) A contains every element of B. ⊃ is also
used. B ⊆ A means the same as A ⊇ B.
⊃ A ⊃ B. A includes B properly. A contains every element of B, but A is not equal
to B. If ⊃ is used for "includes", then ⊋ should be
used for "includes properly".
⊉ A⊉ C A does not include C (as subset) ⊅ is also used. A ⊉ C means the same as C ⊈ A.
∪ A∪ B union of A and B The set of elements which belong to A or to B or to
both A and B.
A∪ B = {x ∣x∈A∨x ∈B }
∩ A∩ B intersection of A and B The set of elements which belong to both A and B.
A∩ B = {x∣ x∈A∧ x∈ B }
Exercises
below.