omit parentheses for the sake of SQLite;

--- a/src/Pure/Admin/build_log.scala	Wed May 03 23:41:54 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Wed May 03 23:55:05 2017 +0200
@@ -807,7 +807,7 @@
             })
 
             // full view
-            // FIXME db2.create_view(Data.full_table)
+            db2.create_view(Data.full_table)
           }
         }
       })

--- 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())
       }
     }