src/Pure/General/sql.scala

     (if (columns.isEmpty) "*" else commas(columns.map(_.ident))) + " FROM "
 
   val join_outer: Source = " LEFT OUTER JOIN "
   val join_inner: Source = " INNER JOIN "
   def join(outer: Boolean): Source = if (outer) join_outer else join_inner
+
+  def member(x: Source, set: Iterable[String]): Source =
+    set.iterator.map(a => x + " = " + SQL.string(a)).mkString("(", " OR ", ")")
 
 
   /* types */
 
   object Type extends Enumeration