src/Pure/General/sql.scala

--- a/src/Pure/General/sql.scala	Wed May 03 23:41:54 2017 +0200
+++ b/src/Pure/General/sql.scala	Wed May 03 23:55:05 2017 +0200
@@ -316,7 +316,7 @@
     def create_view(table: Table, strict: Boolean = false): Unit =
     {
       if (strict || !tables.contains(table.name)) {
-        val sql = "CREATE VIEW " + table.ident + " AS " + table.query
+        val sql = "CREATE VIEW " + table.ident + " AS " + { table.query; table.body }
         using_statement(sql)(_.execute())
       }
     }