Database System Concepts
7th Edition
ISBN: 9780078022159
Author: Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher: McGraw-Hill Education
expand_more
expand_more
format_list_bulleted
Question
Show that it is possible to ensure that a dependency-preserving decomposition
into 3NF is a lossless decomposition by guaranteeing that at least one schema
contains a candidate key for the schema being decomposed. (Hint: Show that
the join of all the projections onto the schemas of the decomposition cannot
have more tuples than the original relation.)
Expert Solution
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
This is a popular solution
Trending nowThis is a popular solution!
Step by stepSolved in 2 steps
Knowledge Booster
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.Similar questions
- Consider the relation R = {A, B, C, D, E, F, G, H, I,J} and the set of functional dependencies F = { {A, B} → {C}, {A} → {D, E}, {B} → {F}, {F} →{G, H}, {D} → {I, J} }. (b) Whether (A,B,F} is a super key? Whether {A,B,F} is a candidate key? Why? (c) Whether {A,D} is a super key? Whether {A,D} is a candidate key? Why?arrow_forwardSuppose you are given a database relation R with single-valued atomic attributes (A, B, C, D, E) and a set of functional dependencies F = {AB-C, AC→B, AE, B→D, BC→AE} (a) List all candidate keys for R. (6 points) (b) Name the strongest normal form that holds on R and explain. (4 points) (c) Decompose it into a collection of BCNF relations if it is not in BCNF. Show all steps. (6 points) For the toolbar, press ALT+F10 (PC) or ALT+FN+F10 (Mac). Open Sans,ari... 10pt x² X2 می P> † {;} Ка ? لاک (+ BIUS Paragraph == = 由用 EXE + Œ P - ||| ABC A П "" Ω Ix 用 : 0 WORDS POWERED BY TINYarrow_forwardThe division operator of relational algebra, “÷”, is defined as follows. Let r(R)and s(S) be relations, and let S ⊆ R; that is, every attribute of schema S isalso in schema R. Given a tuple t, let t[S] denote the projection of tuple t onthe attributes in S. Then r ÷ s is a relation on schema R − S (that is, on theschema containing all attributes of schema R that are not in schema S). A tuplet is in r ÷ s if and only if both of two conditions hold:• t is in ΠR−S(r)• For every tuple ts in s, there is a tuple tr in r satisfying both of the following:a. tr[S] = ts[S]b. tr[R − S] = tGiven the above definition:a. Write a relational algebra expression using the division operator to findthe IDs of all students who have taken all Comp. Sci. courses. (Hint:project takes to just ID and course id, and generate the set of all Comp.Sci. course ids using a select expression, before doing the division.)b. Show how to write the above query in relational algebra, without usingdivision. (By doing so, you…arrow_forward
- Consider the relation prereg in the University Database and its transitive closure defined in Section 5.4 of the textbook. Consider the recursive query in Figure 5.16 that outputs this transitive closure. Write a recursive query that finds all direct or indirect prerequisite of BIO-301. Output a table with one column that contains the IDs of all such prerequisites. Note that your query must work correctly not only for the given instance of prereg, but also for all possible instances. Run this query.arrow_forwardDecompose the relations, as necessary, into collections of relations that are in BCNF. R(A,B,C,D) with FD’s AB->C,C->D,and D->A. Could you show step by step procedure for this with detailed explaination?arrow_forwardImplement in Python / Java Algorithm: Testing for lossless (nonadditive) join property. Input: A universal relation R, a decomposition D = { R1, R2, R3, ….. Rm } of R, and a set F of functional dependencies. 1. Create an initial matrix S with one row i for each relation in Ri in D, and one column j for each attribute Aj in R. 2. Set S(i, j) := bij for all matrix entries. (* each bij is a distinct symbol associated with indices (i, j) * ) {for each column j representing attribute Aj {if (relation Ri includes attribute Aj ) then set S(I, j):=aj;};}; (* each aj is a distinct symbol associated with index (j) *) 3. For each row i representing relation schema Ri {for each functional dependency X → Y in F {for all rows in S which have the same symbols in the columns corresponding to attributes in X {make the symbols in each column that correspond to an attribute in Y be…arrow_forward
- Consider the relation R on Z? given by: R = {((a, b), (c, d)) : a +d = c+b} Prove that R is an equivalence relation, and determine 3 elements of [(1,3)], the equivalence class of (1, 3).arrow_forwardLet R(A, B, C) be arelational schema with the following functional dependencies :{A— >B,B—>C,C— >A}The decomposition of Rinto (A, B), (B, C).A. Gives a lossless join, and is dependency preservingB. Gives a lossless join, but is not dependency preservingC. Does not give a lossless join, but is dependency preservingD. Does not give a lossless join and is not dependency preservingarrow_forward5 of 40 A decomposition is in 3NF if every decomposed relation is in 3NF. A decomposition is in BCNF if every decomposed relation is in BCNF. Let R(A,B,C,D,E,F,G) be a relation with the FDs: F = {CD → G, DG → C, AD→ G, G –→A, AB → F}. Consider the decomposition of R into R1(C, D, G), R2(A, D, G), R3(A, B, F) and R4(C, E). Which of the following statements is TRUE about this decomposition? Select one: O Ris in BCNF but Not in 3NF. Ris in 3NF but Not in BCNF. R is Not in 3NF and Not in BCNF. O R is in 3NF and in BCNF.arrow_forward
- Make sure to show the correct work and solution:arrow_forwardThe following digraph represents a relation R. a C b d List the ordered pairs in the relation. R = { }.arrow_forwardJ 1 Let R(A, B, C, D, E, F) be a relation schema, and let S = {A → B, BC → D, E → C, D →A, B → D} be a set of functional dependencies. Use the Nonadditive Join Test for Binary Decomposition to determine if the following decomposition is lossless.arrow_forward
arrow_back_ios
SEE MORE QUESTIONS
arrow_forward_ios
Recommended textbooks for you
- Database System ConceptsComputer ScienceISBN:9780078022159Author:Abraham Silberschatz Professor, Henry F. Korth, S. SudarshanPublisher:McGraw-Hill EducationStarting Out with Python (4th Edition)Computer ScienceISBN:9780134444321Author:Tony GaddisPublisher:PEARSONDigital Fundamentals (11th Edition)Computer ScienceISBN:9780132737968Author:Thomas L. FloydPublisher:PEARSON
- C How to Program (8th Edition)Computer ScienceISBN:9780133976892Author:Paul J. Deitel, Harvey DeitelPublisher:PEARSONDatabase Systems: Design, Implementation, & Manag...Computer ScienceISBN:9781337627900Author:Carlos Coronel, Steven MorrisPublisher:Cengage LearningProgrammable Logic ControllersComputer ScienceISBN:9780073373843Author:Frank D. PetruzellaPublisher:McGraw-Hill Education
Database System Concepts
Computer Science
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:McGraw-Hill Education
Starting Out with Python (4th Edition)
Computer Science
ISBN:9780134444321
Author:Tony Gaddis
Publisher:PEARSON
Digital Fundamentals (11th Edition)
Computer Science
ISBN:9780132737968
Author:Thomas L. Floyd
Publisher:PEARSON
C How to Program (8th Edition)
Computer Science
ISBN:9780133976892
Author:Paul J. Deitel, Harvey Deitel
Publisher:PEARSON
Database Systems: Design, Implementation, & Manag...
Computer Science
ISBN:9781337627900
Author:Carlos Coronel, Steven Morris
Publisher:Cengage Learning
Programmable Logic Controllers
Computer Science
ISBN:9780073373843
Author:Frank D. Petruzella
Publisher:McGraw-Hill Education