Attribute set closures Announcing the arrival of Valued Associate #679: Cesar Manara ...

Right-skewed distribution with mean equals to mode?

Why is black pepper both grey and black?

Is a manifold-with-boundary with given interior and non-empty boundary essentially unique?

Is the address of a local variable a constexpr?

What is a Meta algorithm?

Is there a service that would inform me whenever a new direct route is scheduled from a given airport?

3 doors, three guards, one stone

What happens to sewage if there is no river near by?

How do I keep my slimes from escaping their pens?

iPhone Wallpaper?

Do you forfeit tax refunds/credits if you aren't required to and don't file by April 15?

Is there a concise way to say "all of the X, one of each"?

How to do this path/lattice with tikz

Antler Helmet: Can it work?

How can I make names more distinctive without making them longer?

Check which numbers satisfy the condition [A*B*C = A! + B! + C!]

When is phishing education going too far?

Models of set theory where not every set can be linearly ordered

What is the musical term for a note that continously plays through a melody?

Is there a "higher Segal conjecture"?

Why don't the Weasley twins use magic outside of school if the Trace can only find the location of spells cast?

If Jon Snow became King of the Seven Kingdoms what would his regnal number be?

What are the motives behind Cersei's orders given to Bronn?

Single word antonym of "flightless"



Attribute set closures



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)How to denote the set of binary relations of which a particular ordered pair is a member?Proof - Projection distribution over set unionFunctional dependency - adding any attribute to X will still yield a FD?Relational Algebra: Finding duplicates in a specific attribute of a relationWhat is the cartesian product of two relations with a common attributeStanford Online Course Relational Algebra - Set Difference Operator












0












$begingroup$


Consider the following relationship with its attributes:
$$R( V, W, X, Y, Z )$$



This relationship has the following functional dependencies:
$$FD: { XY rightarrow W; V rightarrow Y; Z rightarrow X }$$



From this, I need to find all elements in the attribute set closure ${VW}^+$



I am having trouble figuring out the solution to this problem. From what I gather, some transformations can be made:



$$V rightarrow Y Rightarrow XV rightarrow XY$$
$$Z rightarrow X Rightarrow XZ rightarrow XY$$



An then to figure out the set items, I am trying to use an induction method which states that if the left side of a functional dependency is a subset of the closure, then the right side of the dependency is a part of the closure's elements.



$$ V rightarrow Y: V subset {VW}^+ therefore Y in {VW}^+ $$



However, this is the only element I can seem to find using this induction method. $W$ is not on the left side of any dependencies I have found, and none of the transformations I have found are a subset of the closure.



The solution states that the following are examples of what should be included:



$${V}$$
$${VW}$$
$${Y}$$
$${VWY}$$



I cannot figure out how these elements are included. Can someone please explain?










share|cite|improve this question











$endgroup$

















    0












    $begingroup$


    Consider the following relationship with its attributes:
    $$R( V, W, X, Y, Z )$$



    This relationship has the following functional dependencies:
    $$FD: { XY rightarrow W; V rightarrow Y; Z rightarrow X }$$



    From this, I need to find all elements in the attribute set closure ${VW}^+$



    I am having trouble figuring out the solution to this problem. From what I gather, some transformations can be made:



    $$V rightarrow Y Rightarrow XV rightarrow XY$$
    $$Z rightarrow X Rightarrow XZ rightarrow XY$$



    An then to figure out the set items, I am trying to use an induction method which states that if the left side of a functional dependency is a subset of the closure, then the right side of the dependency is a part of the closure's elements.



    $$ V rightarrow Y: V subset {VW}^+ therefore Y in {VW}^+ $$



    However, this is the only element I can seem to find using this induction method. $W$ is not on the left side of any dependencies I have found, and none of the transformations I have found are a subset of the closure.



    The solution states that the following are examples of what should be included:



    $${V}$$
    $${VW}$$
    $${Y}$$
    $${VWY}$$



    I cannot figure out how these elements are included. Can someone please explain?










    share|cite|improve this question











    $endgroup$















      0












      0








      0





      $begingroup$


      Consider the following relationship with its attributes:
      $$R( V, W, X, Y, Z )$$



      This relationship has the following functional dependencies:
      $$FD: { XY rightarrow W; V rightarrow Y; Z rightarrow X }$$



      From this, I need to find all elements in the attribute set closure ${VW}^+$



      I am having trouble figuring out the solution to this problem. From what I gather, some transformations can be made:



      $$V rightarrow Y Rightarrow XV rightarrow XY$$
      $$Z rightarrow X Rightarrow XZ rightarrow XY$$



      An then to figure out the set items, I am trying to use an induction method which states that if the left side of a functional dependency is a subset of the closure, then the right side of the dependency is a part of the closure's elements.



      $$ V rightarrow Y: V subset {VW}^+ therefore Y in {VW}^+ $$



      However, this is the only element I can seem to find using this induction method. $W$ is not on the left side of any dependencies I have found, and none of the transformations I have found are a subset of the closure.



      The solution states that the following are examples of what should be included:



      $${V}$$
      $${VW}$$
      $${Y}$$
      $${VWY}$$



      I cannot figure out how these elements are included. Can someone please explain?










      share|cite|improve this question











      $endgroup$




      Consider the following relationship with its attributes:
      $$R( V, W, X, Y, Z )$$



      This relationship has the following functional dependencies:
      $$FD: { XY rightarrow W; V rightarrow Y; Z rightarrow X }$$



      From this, I need to find all elements in the attribute set closure ${VW}^+$



      I am having trouble figuring out the solution to this problem. From what I gather, some transformations can be made:



      $$V rightarrow Y Rightarrow XV rightarrow XY$$
      $$Z rightarrow X Rightarrow XZ rightarrow XY$$



      An then to figure out the set items, I am trying to use an induction method which states that if the left side of a functional dependency is a subset of the closure, then the right side of the dependency is a part of the closure's elements.



      $$ V rightarrow Y: V subset {VW}^+ therefore Y in {VW}^+ $$



      However, this is the only element I can seem to find using this induction method. $W$ is not on the left side of any dependencies I have found, and none of the transformations I have found are a subset of the closure.



      The solution states that the following are examples of what should be included:



      $${V}$$
      $${VW}$$
      $${Y}$$
      $${VWY}$$



      I cannot figure out how these elements are included. Can someone please explain?







      relation-algebra






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Mar 24 at 2:03









      Andrés E. Caicedo

      66.1k8160252




      66.1k8160252










      asked Mar 23 at 23:02









      HausHaus

      1114




      1114






















          0






          active

          oldest

          votes












          Your Answer








          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "69"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3159906%2fattribute-set-closures%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          0






          active

          oldest

          votes








          0






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes
















          draft saved

          draft discarded




















































          Thanks for contributing an answer to Mathematics Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3159906%2fattribute-set-closures%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          Nidaros erkebispedøme

          Birsay

          Was Woodrow Wilson really a Liberal?Was World War I a war of liberals against authoritarians?Founding Fathers...