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. 14. 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 )=let $ c:=Q c ( Inh ( A )) return {if C i ($ c ) then Q i ( Inh ( A )) 
 else <empty/>}, for each i ε[ 1 ,n], and the second rule is defined as 
 Syn ( A )=let $ c:=Q c ( Inh ( A )) return 
 {if C 1 ($ c ) then < A>Syn ( B 1 )</ A > else . . . 
 else if C n ($ c ) then < A>Syn ( B n )</ A > else <empty/>}, 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 c is an XQ e query, referred to as the condition query of the set of rules which is evaluated only once for all the rules in the set of rules, Q i is an XQ e query that returns a single element, and C i is a Boolean mutually exclusive Boolean XQ e expression, such that for all iε[1, n],: one and only one C i is true.