X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fproperty.ml;h=1158d30122c8a45896b90cb33e10255bb1858c9d;hb=00bcf4e9f02d1f456b3468eba3de21c1309e5796;hp=071d2884c74a86147445a2a35f8e34a3b7edb888;hpb=c6f5d71b58dc74658cdaeab24fe26c7e989dc175;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/property.ml b/helm/ocaml/mathql_interpreter/property.ml
index 071d2884c..1158d3012 100644
--- a/helm/ocaml/mathql_interpreter/property.ml
+++ b/helm/ocaml/mathql_interpreter/property.ml
@@ -57,8 +57,8 @@ let rec property_ex rop path inv = function
 	       let mpid = getpid mprop in
 	       let res =
 	       let c = pgc () in
-	       let tv = pgresult_to_string (c#exec ("select id from registry where uri='" ^ s ^ "'")) in
-	       let q = "select t" ^ tv ^ "." ^ prop ^  "  from t" ^ tv ^ " where prop_id= '" ^ mpid ^ "'" in
+	       let tv = pgresult_to_string (c#exec ("select distinct id from registry where uri='" ^ s ^ "' order by id")) in
+	       let q = "select distinct t" ^ tv ^ "." ^ prop ^  "  from t" ^ tv ^ " where prop_id= '" ^ mpid ^ "' order by t" ^ tv ^ "." ^ prop in
                 print_endline q;
 		pgresult_to_string_list (c#exec q)
 	       in
@@ -72,7 +72,7 @@ let rec property_ex rop path inv = function
 	     if inv then     (* restituisco gli uri che il valore della prop richiesta uguale a s *)
                let res =
                let c = pgc () in
-	       let q = ("select h" ^ mprop ^ ".uri from h" ^ mprop ^ " where h" ^ mprop ^ "." ^ prop ^ "= '" ^ s ^ "'") in
+	       let q = ("select distinct h" ^ mprop ^ ".uri from h" ^ mprop ^ " where h" ^ mprop ^ "." ^ prop ^ "= '" ^ s ^ "' order by h" ^ mprop ^ ".uri") in
 	         print_endline q;
 		 pgresult_to_string_list (c#exec q)
                in
@@ -81,11 +81,10 @@ let rec property_ex rop path inv = function
 	     else
 	       let res =         (* restituisco il valore della prop relativo all'uri rappresentato da s*)
                let c = pgc () in
-               let q = ("select h" ^ mprop ^ "." ^ prop ^" from h" ^ mprop ^ " where h" ^ mprop ^ ".uri = '" ^ s ^ "'") in
+               let q = ("select distinct h" ^ mprop ^ "." ^ prop ^" from h" ^ mprop ^ " where h" ^ mprop ^ ".uri = '" ^ s ^ "' order by h" ^ mprop ^ "." ^ prop) in
                  pgresult_to_string_list (c#exec q)
 	       in
                  append (res,(property_ex rop path inv tl))
-	       
 	     
 	     
 	     | _ ->        (* metadati DC  !!!! Controllare se i nomi delle tabelle cominciano con h !!!!*)