syntax.ml

   1 (* SQL syntax and RA *)
   2
   3 open Stmt.Raw
   4 open Operators
   5
   6 let resolve columns tables =
   7   let all = tables >> List.map snd >> List.flatten in
   8   let scheme name = name >> Tables.get_from tables >> snd in
   9   let resolve1 = function
  10     | All -> all
  11     | AllOf t -> scheme t
  12     | OneOf (col,t) -> [ RA.Scheme.find (scheme t) col ]
  13     | One col -> [ RA.Scheme.find all col ]
  14   in
  15   columns >> List.map resolve1 >> List.flatten