11. The method of claim 10 , wherein the inherited attribute for the child type and the synthesized attribute for the parent type are computed according to a type of the production.
13. The method of claim 11 wherein, when the production is p=A→B 1 , . . . , B n , the first rule is defined as 
 Inh ( B i )= Q i ( Inh ( A )), for each i ε[ 1 ,n] and the second rule is defined as 
 Syn ( A )=< A>{Syn ( B 1 ) . . . Syn ( B n )}</ A> where: Inh (A) is the inherited attribute for the parent type A, Syn (A) is the synthesized attribute for the parent type A, Inh (B) is the inherited attribute for the child type A, Syn (B) is the synthesized attribute for the child type A, and for each iε[1, n], Q is an XQ e query that returns a single element (subtree).