A monograph that strives to introduce a foundation on the usage of Grobner bases in ring theory by focusing on noncommutative associative algebras defined by relations over a field K. It reveals the intrinsic structural properties of Grobner bases. It presents a constructive PBW theory in a quite extensive context.