Grobner-Shirshov Basis and Minimal Projective Resolution of Uq^+(B2)

In this paper,by using the Anick resolution and Grobner-Shirshov basis for quantized enveloping algebra of type B2,we compute the minimal projective resolution of the trivial module of Uq^+(B2),and as an application we compute the global dimension of Uq^+(B2).