發送短信: On monotonic determinacy and rewritability for recursive queries and views