]> matita.cs.unibo.it Git - helm.git/commitdiff
fix join on multiple tables
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 16:52:29 +0000 (16:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 16:52:29 +0000 (16:52 +0000)
helm/ocaml/metadata/metadataConstraints.ml

index bedc2db86f20ec1be0301fb96cd75b476f7d2144..6a30e75d074402edddeac7f78d131bc70a519604 100644 (file)
@@ -106,7 +106,7 @@ let at_least ~(dbd:Mysql.dbd) ?concl_card ?full_card
           mk_positions positions cur_tbl ::
           (if n=0 then []
           else [sprintf 
-            "(table0.source = %s.source AND table0.source = %s.source)" 
+            "(table0.source = %s.source OR table0.source = %s.source)" 
             cur_tbl cur_ltbl]) @ where
         in
         ((n+2), from, where)
@@ -120,7 +120,7 @@ let at_least ~(dbd:Mysql.dbd) ?concl_card ?full_card
           mk_positions positions cur_tbl ::
           (if n=0 then []
           else [sprintf 
-            "(table0.source = %s.source AND table0.source = %s.source)" 
+            "(table0.source = %s.source OR table0.source = %s.source)" 
              cur_tbl cur_ltbl]) @ where
         in
         ((n+2), from, where)
@@ -139,7 +139,7 @@ let at_least ~(dbd:Mysql.dbd) ?concl_card ?full_card
             []
           else 
             [sprintf 
-              "(table0.source = %s.source AND table0.source = %s.source)" 
+              "(table0.source = %s.source OR table0.source = %s.source)" 
               cur_tbl cur_ltbl]) @ where
         in
         ((n+2), from, where)