+ let query =
+(*
+ sprintf
+ ("select table0.source from %s, %s where %s and %s.source = table0.source"
+ ^^ " order by %s.no")
+ from fullno_tbl where fullno_tbl fullno_tbl
+ *)
+ sprintf "select table0.source from %s where %s" from where
+ in
+(* prerr_endline query; *)
+ let result = Mysql.exec dbd query in
+ Mysql.map result
+ (fun row -> match row.(0) with Some s -> s | _ -> assert false)
+
+let at_least
+ ~(dbd:Mysql.dbd) ?concl_card ?full_card ?diff
+ (metadata: MetadataTypes.constr list)
+=
+ let module MT = MetadataTypes in
+ if MT.are_tables_ownerized () then
+ (at_least ~dbd ?concl_card ?full_card ?diff
+ (MT.obj_tbl (),MT.rel_tbl (),MT.sort_tbl (),
+ MT.conclno_tbl (),MT.fullno_tbl (),MT.hypno_tbl ())
+ metadata)
+ @
+ (at_least ~dbd ?concl_card ?full_card ?diff
+ (MT.library_obj_tbl,MT.library_rel_tbl,MT.library_sort_tbl,
+ MT.library_conclno_tbl,MT.library_fullno_tbl,MT.library_hypno_tbl)
+ metadata)
+ else
+ at_least ~dbd ?concl_card ?full_card ?diff
+ (MT.library_obj_tbl,MT.library_rel_tbl,MT.library_sort_tbl,
+ MT.library_conclno_tbl,MT.library_fullno_tbl,MT.library_hypno_tbl)
+ metadata
+
+