Assignment assumption and SQL