发送短信: Tractability beyond β-acyclicity for conjunctive queries with negation