helm/DEVEL/rdfly/query.ml

   1
   2 let db = Postgres.Connection.connect "dbname=mowgli user=helm host=mowgli.cs.unibo.it"
   3
   4 let _ =
   5   let status =
   6     match Postgres.Connection.status db with
   7       Postgres.Connection.Ok -> "ok"
   8     | _ -> "bad"
   9   in
  10   Printf.printf "connection status is %s\n" status ;
  11   flush stdout
  12
  13 let res = Postgres.Connection.exec db "SELECT * FROM refObj WHERE source = 'cic:/Coq/Arith/Le/le_O_n.con';"
  14
  15 let _ =
  16   Printf.printf "# results: %d\n" (Postgres.Result.ntuples res) ;
  17   flush stdout