Prove that armstrongs axioms are sound and complete for fd

Assignment Help Database Management System
Reference no: EM13509348

1.Give an algorithm for testing whether a relation scheme is in BCNF. The algorithm should be polynomial in the size of the set of given FDs. (The ‘size’ is the sum over all FDs of the number of attributes that appear in the FD.) Is there a polynomial algorithm for testing whether a relation scheme is in 3NF?

2.Prove these statements:

1. If a relation scheme is in BCNF and at least one of its keys consists of a single attribute, it is also in 4NF.

2. If a relation scheme is in 3NF and each key has a single attribute, it is also in 5NF.

3.Prove that, if R has only one key, it is in BCNF if and only if it is in 3NF.

4.Prove that the 3NF synthesis algorithm produces a lossless-join de-composition of the relation containing all the original attributes.

5.Prove that the optimization of the algorithm for lossless-join, dependency-preserving decomposition into 3NF relations (Section 19.6.2) is correct.

6.Consider a scheme R with FDs F that is decomposed into schemes with attributes X and Y. Show that this is dependency-preserving if F (FX FY )+.

7.Consider a relation R with attributes ABCDE. Let the following FDs be given: A BC, BC E, and E DA. Similarly, let S be a relation with attributes ABCDE and let the following FDs be given: A BC, B E, and E DA. (Only the second dependency di?ers from those that hold over R.) You do not know whether or which other (join) dependencies hold. 

1. Is R in BCNF? 

2. Is R in 4NF? 

3. Is R in 5NF? 

4. Is S in BCNF? 

5. Is S in 4NF? 

6. Is S in 5NF?

8.Prove that Armstrongs Axioms are sound and complete for FD in-ference. That is, show that repeated application of these axioms on a set F of FDs produces exactly the dependencies in F+.

9.Let us say that an FD X Y is simple if Y is a single attribute. 

1. Replace the FD AB CD by the smallest equivalent collection of simple FDs. 

2. Prove that every FD X Y in a set of FDs F can be replaced by a set of simple FDs such that F+ is equal to the closure of the new set of FDs.

10.Prove that the algorithm shown in Figure 19.4 correctly computes the attribute closure of the input attribute set X.

 

Reference no: EM13509348

Questions Cloud

What is the magnitude of the external force : A 8.41 kg crate slides on a horizontal surface. The coefficient of kinetic friction between the surface and the crate is 0.496. what is the magnitude of the external force acting on the crate
Prove that your algorithm correctly computes the attribute : Describe a linear-time (in the size of the set of FDs, where the size of each FD is the number of attributes involved) algorithm for ?ndingthe attribute closure of a set of attributes with respect to a set of FDs
Obtain the angular velocity of the wheel : The suitcase is released from rest at a height of 4.00m above the ground. Calculate the angular velocity of the wheel when the suitcase reaches the ground
What current does the wire carry : In her bathroom, Mindy has an overhead heater that consists of a coiled wire made of nichrome that gets hot when turned on. The wire has a length of 2.2 m when it is uncoiled. What current does the wire carry
Prove that armstrongs axioms are sound and complete for fd : Prove that Armstrong’s Axioms are sound and complete for FD in-ference. That is, show that repeated application of these axioms on aset F of FDs produces exactly the dependencies in F+.
What is the maximum power consumed : A portable CD player does not have a power rating listed, but it has a label stating that it draws a maximum current of 231.0 mA. What is the maximum power consumed
What is the value of the unknown resistor : If a 93.0-V emf is connected to the terminals A and B and the current in the 4.0-? resistor is 16.8 A, what is the value of the unknown resistor R
What effect does the lease classification have : What effect does the lease classification have on A&Fs balance sheet and Over the life of the lease, what effect does this classification have on the company's net income?
What is the resistance of the aluminum wire : A copper wire has a resistance of 29 ? at 19° C. An aluminum wire has three times the length and two times the radius of the copper wire. What is the resistance of the aluminum wire at 19° C

Reviews

Write a Review

Database Management System Questions & Answers

  Find all non-trivial dependencies

Compute the closure sets of R, find all non-trivial dependencies and what are the candidate keys of R?

  Database server management

Design an Entity model and construct a set of tables with suitably defined columns to support this scenario and find details of all books stocked in London

  How can you drop a table from your database that has one or

how can you drop a table from your database that has one or more other tables referencing it with foreign keys?no words

  A county wishes to create a database

A county wishes to create a database to control its local libraries. Each library has a number of employees, one of whom is designated as the manager of the library and is responsible for supervising employees and the general day-to-day management..

  Sales transaction in retail clothing

Examine different sales transactions. Design a context diagram and a level-0 diagram that represent the selling system at the store.

  Establish a single control transport connection

This connection would be used to carry control signals relating to all user transport connection between the two entities. Discuss the implications of this strategy.

  Write a 2 page research paper on the turing and von neumann

write a 2 page research paper on the turing and von neumann models. compare and contrast each and discuss which model

  Design database for keeping information of actors

Design a database for Ray. For each director, list his or her number and name and the year he or she was born. If the director is deceased, list the year of death.

  Drawing entities and relationship using crow-s foot notation

These following questions require to you to create entities and their relationship using the Crow's Foot notation suitably.

  Develop a new information system

MGMT321 Group Project :  You were hired as an analyst to develop a new information system to automate the payroll transactions in a mid-size organization. The proposed system will contain employees’ data and interface with the organization’s General ..

  1 prepare directories on your hard drive place a small text

1 prepare directories on your hard drive. place a small text file in one directory. use oracle package utlfile to read

  Write a memorandum to sam jones

Write a memorandum to Sam Jones (CIO) and present your research findings. Your memorandum should be no longer than 500 words.

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd