Zaslat SMS: On Tractable Queries and Constraints