9 * conversione di un pattern
11 let rec patterneval p =
15 let h = match head with
22 h ^ (patterneval tail)
26 * conversione di un fragment identifier
32 let s = "#xpointer\(1/" ^ string_of_int (i) in
37 s ^ "/" ^ string_of_int j ^ "\)"
41 * trasforma un pattern MathQL in un pattern postgresql
43 * si utilizzano espressioni regolari POSIX anziche' l'operatore
44 * SQL standard LIKE perche' MathQL prevede esperssioni con "*"
47 let pattern_match preamble pattern ext fragid =
48 " ~ '" ^ preamble ^ ":/" ^ (patterneval pattern) ^ "." ^ ext ^ (fieval fragid) ^ "'"