Zaslat SMS: Classification of annotation semirings over query containment