Stav dette: Classification of annotation semirings over query containment