1. A method for deployment of a modification to a database procedure embedded in a database-accessing host application during execution of the host application, the method comprising: executing, in a first user session, a first version of the host application including a first version of an embedded database procedure, thereby creating and executing first versions of the database procedure and of an associated procedure stub in a database accessed by the host application, the first version of the procedure stub including a version identifier; and during execution of the first version of the host application, compiling, in a second user session, modified source code for the host application, including a modification to the embedded database procedure, to create a second version of the host application including a second version of the host application including a second version of the embedded database procedure, thereby causing deletion of the first version of the procedure stub from the database.