We develop the basic constructions of homological algebra in the
(appropriately defined) unbounded derived categories of modules over algebras
over coalgebras over noncommutative rings (which we call semialgebras over
corings). We define double-sided derived functors SemiTor and SemiExt of the
functors of semitensor product and semihomomorphisms, and construct an
equivalence between the exotic derived categories of semimodules and
semicontramodules.