Stav dette: Classification of annotation semirings over containment of conjunctive queries