Procedures
Below is a small example of the procedure translation. Variables in SQL Server are written with a @ prefix. Of course, all expressions using variables are updated to reflect that rules. Notice how MySQL calls a user function simply as checkPermission. In SQL Server, we prefix it with dbo., otherwise SQL Server would expect a built-in function checkPermission. Limit clause is translated as TOP in SQL Server, etc.
MySQL source definition
SQL Server target definition
May 17, 2012