Database procedures are stored in compiled form within the database. This compilation happens when the procedure is created, improving execution performance compared to interpreting source code each time. The database engine stores the compiled execution plan, not the original source.