From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 4 Feb 2005 16:52:29 +0000 (+0000)
Subject: fix join on multiple tables
X-Git-Tag: V_0_1_0~11
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=50e4370320ba30b3ec6e3542bdd1be1f9d3ea018;p=helm.git

fix join on multiple tables
---

diff --git a/helm/ocaml/metadata/metadataConstraints.ml b/helm/ocaml/metadata/metadataConstraints.ml
index bedc2db86..6a30e75d0 100644
--- a/helm/ocaml/metadata/metadataConstraints.ml
+++ b/helm/ocaml/metadata/metadataConstraints.ml
@@ -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)