Αποστολή με SMS: On Tractable Queries and Constraints