It is possible for the data on the master and slave to become different if a statement is written in such a way that the data modification is nondeterministic; that is, left to the will of the query optimizer. (In general, this not a good practice, even outside of replication.) For a detailed explanation of this issue, see Section B.5.8.4, “Open Issues in MySQL”.