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.
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. 15. The method of claim 11 , wherein, when the production is p=A→B*, the first rule is defined as: 
 Inh ( B )←for $ b in Q ( Inh ( A )) where C ($ b ) returns $ b, and the second rule is defined as: 
 Syn ( A )=< A>␣Syn ( B )</ 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 B, Syn (B) is the synthesized attribute for the child type B, Q is an XQ e query that may return an empty set of element, C is an XQ e Boolean expression, and ␣ is a list constructor.