src/Pure/General/sql.scala

       case bad => error("Duplicate column names " + commas_quote(bad) + " for table " + quote(name))
     }
 
     def ident: String = SQL.ident(name)
 
-    def expr: String =
+    def query: String =
       if (body == "") error("Missing SQL body for table " + quote(name))
       else SQL.enclose(body)
+
+    def query_alias(alias: String = name): String =
+      query + " AS " + SQL.ident(alias)
 
     def create(strict: Boolean = false, sql_type: Type.Value => String): String =
     {
       val primary_key =
         columns.filter(_.primary_key).map(_.name) match {

       using_statement(table.create_index(name, columns, strict, unique))(_.execute())
 
     def create_view(table: Table, strict: Boolean = false): Unit =
     {
       if (strict || !tables.contains(table.name)) {
-        val sql = "CREATE VIEW " + table.ident + " AS " + table.expr
+        val sql = "CREATE VIEW " + table.ident + " AS " + table.query
         using_statement(sql)(_.execute())
       }
     }
   }
 }