This research monograph develops the theory of relative nonhomogeneous Koszul duality. The thematic example, meaning the classical duality between the ring of differential operators and the de Rham DG algebra of differential forms, involves some of the most important objects of study in the contemporary algebraic and differential geometry.