أرسل هذا في رسالة قصيرة: Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons