Envoyer par SMS: On monotonic determinacy and rewritability for recursive queries and views