Euler summation: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>David Eppstein
clean up lead paragraph, remove context tag
en>Gadget850
m References: refbegin, replaced: </div> → {{refend}}, <div class="references-small"> → {{refbegin}} using AWB
 
Line 1: Line 1:
{{Unreferenced|date=March 2007}}
29 year old Light Technician Tod Jernigan from Baie-Comeau, has many pursuits which include leathercrafting, como ganhar dinheiro na internet and tombstone rubbing. Recollects what an amazing place it was having  paid checking out the City of Vicenza and the Palladian Villas of the Veneto.<br><br>my blog: [http://www.comoganhardinheiro101.com/como-ganhar-dinheiro-pela-internet/ ganhando dinheiro na internet]
In [[relational algebra]], a '''rename''' is a [[unary operation]] written as <math>\rho_{a/b}(R)</math> where:
 
* <math>R</math> is a [[Relation (mathematics)|relation]]
* <math>a</math> and <math>b</math> are [[Property|attribute]] names
* <math>b</math> is an [[Property|attribute]] of <math>R</math>
 
The result is identical to <math>R</math> except that the <math>b</math> attribute in all [[tuple]]s is renamed to <math>a</math>. For an example, consider the following invocation of <math>\rho</math> on an <math>Employee</math> relation and the result of that invocation:
 
{| align="center" cellpadding="0" cellspacing="20"
|-
! <math>Employee</math>
! <math>\rho_{EmployeeName/Name}(Employee)</math>
|- style="vertical-align: top"
|
  {| align="center" border="0" cellpadding="5" cellspacing="0" style="border-collapse: collapse; border: 1px solid black"
  |- style="background-color: silver; text-align: left"
  ! style="border: 1px solid black" | Name
  ! style="border: 1px solid black" | EmployeeId
  |-
  | style="border: 1px solid black" | Harry
  | style="border: 1px solid black" | 3415
  |-
  | style="border: 1px solid black" | Sally
  | style="border: 1px solid black" | 2241
  |}
|
  {| align="center" border="0" cellpadding="5" cellspacing="0" style="border-collapse: collapse; border: 1px solid black"
  |- style="background-color: silver; text-align: left"
  ! style="border: 1px solid black" | EmployeeName
  ! style="border: 1px solid black" | EmployeeId
  |-
  | style="border: 1px solid black" | Harry
  | style="border: 1px solid black" | 3415
  |-
  | style="border: 1px solid black" | Sally
  | style="border: 1px solid black" | 2241
  |}
|}
 
Formally the semantics of the rename operator is defined as follows:
 
: <math>\rho_{a/b}(R) = \{ \ t[a/b] : t \in R \ \}</math>
 
where <math>t[a/b]</math> is defined as the tuple <math>t</math> with the <math>b</math> attribute renamed to <math>a</math> so that:
 
: <math>t[a/b] = \{ \ (c, v) \ | \ ( c, v ) \in t, \ c \ne b \ \} \cup \{ \ (a, \ t(b) ) \ \}</math>
 
{{DEFAULTSORT:Rename (Relational Algebra)}}
[[Category:Relational algebra]]

Latest revision as of 14:06, 1 January 2015

29 year old Light Technician Tod Jernigan from Baie-Comeau, has many pursuits which include leathercrafting, como ganhar dinheiro na internet and tombstone rubbing. Recollects what an amazing place it was having paid checking out the City of Vicenza and the Palladian Villas of the Veneto.

my blog: ganhando dinheiro na internet