Assignments may be done individually or in teams of two.
Due by 10:00 am on Wednesday, March 14, 2001.
together with the following functional dependencies:
{Artist} -> {Instrument, Group}
{Composer, Title, Company} -> {CatalogNum, Track, Duration}
{CatalogNum} -> {Company, Date}
{CatalogNum, Title} -> {Composer}
(a) Use Armstrong.s axioms to prove formally that this set of functional dependencies implies that {CatalogNum, Title} -> {Track}. Justify each step of your proof by listing the reason as given (i.e., the functional dependencies is one of the four given ones) or by naming which one of augmentation, transitivity, reflexivity, union, decomposition, or pseudotransitivity was applied.
(b) Give an example of a relation instance for CD having two rows and showing that the dependency {Title, Company} -> {CatalogNum} need not hold when the four given functional dependencies do.
(c) Calculate the closure of the attribute set {CatalogNum, Title} with respect to the given functional dependencies.
(d) Find two candidate keys for CD.
(e)
In the presence of the given functional dependencies, determine whether the join
of relations conforming to the schemes Recording (CatalogNum, Company,
Composer, Title, Track, Duration, Group, Artist) and Performer
(CatalogNum, Group, Artist, Instrument, Date) is lossless with respect to CD and
explain why or why not.
(a) Find a lossless join decomposition into relation schemes, all of which are in Boyce-Codd Normal Form.
(b) Is the resulting set of relation schemes dependency
preserving with respect to the given functional dependencies? Explain why or why not.
from Cities
where Population > 100000
Q2: select Name, Population, KilometresFromWaterloo
from Cities
where Province = .ON. and KilometresFromWaterloo < 100
Q3: select Province, count(city), sum(Population)
from Cities
group by Province
(a)
(b)
(c)
(d)
(e)