src/Pure/General/sql.scala

     def double(name: String, strict: Boolean = true, primary_key: Boolean = false): Column[Double] =
       new Column_Double(name, strict, primary_key)
     def string(name: String, strict: Boolean = true, primary_key: Boolean = false): Column[String] =
       new Column_String(name, strict, primary_key)
     def bytes(name: String, strict: Boolean = true, primary_key: Boolean = false): Column[Bytes] =
-      new Column_Bytes(name, strict, primary_key)
+      new Column_Bytes(name, strict, primary_key, "BLOB")  // SQL standard
+    def bytea(name: String, strict: Boolean = true, primary_key: Boolean = false): Column[Bytes] =
+      new Column_Bytes(name, strict, primary_key, "BYTEA")  // PostgreSQL
   }
 
   abstract class Column[+A] private[SQL](
       val name: String, val strict: Boolean, val primary_key: Boolean)
     extends Function[ResultSet, A]

   }
 
   class Column_Long private[SQL](name: String, strict: Boolean, primary_key: Boolean)
     extends Column[Long](name, strict, primary_key)
   {
-    def sql_type: String = "INTEGER"
+    def sql_type: String = "BIGINT"
     def apply(rs: ResultSet): Long = rs.getLong(name)
   }
 
   class Column_Double private[SQL](name: String, strict: Boolean, primary_key: Boolean)
     extends Column[Double](name, strict, primary_key)
   {
-    def sql_type: String = "REAL"
+    def sql_type: String = "DOUBLE PRECISION"
     def apply(rs: ResultSet): Double = rs.getDouble(name)
   }
 
   class Column_String private[SQL](name: String, strict: Boolean, primary_key: Boolean)
     extends Column[String](name, strict, primary_key)

       val s = rs.getString(name)
       if (s == null) "" else s
     }
   }
 
-  class Column_Bytes private[SQL](name: String, strict: Boolean, primary_key: Boolean)
+  class Column_Bytes private[SQL](
+    name: String, strict: Boolean, primary_key: Boolean, val sql_type: String)
     extends Column[Bytes](name, strict, primary_key)
   {
-    def sql_type: String = "BLOB"
     def apply(rs: ResultSet): Bytes =
     {
       val bs = rs.getBytes(name)
       if (bs == null) Bytes.empty else Bytes(bs)
     }