629 FROM cw_Personne AS _P |
629 FROM cw_Personne AS _P |
630 WHERE NOT (_P.cw_nom IS NULL)'''), |
630 WHERE NOT (_P.cw_nom IS NULL)'''), |
631 ("Personne X,Y where X nom NX, Y nom NX, X eid XE, not Y eid XE", |
631 ("Personne X,Y where X nom NX, Y nom NX, X eid XE, not Y eid XE", |
632 '''SELECT _X.cw_eid, _Y.cw_eid |
632 '''SELECT _X.cw_eid, _Y.cw_eid |
633 FROM cw_Personne AS _X, cw_Personne AS _Y |
633 FROM cw_Personne AS _X, cw_Personne AS _Y |
634 WHERE _Y.cw_nom=_X.cw_nom AND NOT (_Y.cw_eid=_X.cw_eid)''') |
634 WHERE _Y.cw_nom=_X.cw_nom AND NOT (_Y.cw_eid=_X.cw_eid)'''), |
|
635 |
|
636 ('Any X,Y WHERE X is Personne, Y is Personne, X nom XD, Y nom XD, X eid Z, Y eid > Z', |
|
637 '''SELECT _X.cw_eid, _Y.cw_eid |
|
638 FROM cw_Personne AS _X, cw_Personne AS _Y |
|
639 WHERE _Y.cw_nom=_X.cw_nom AND _Y.cw_eid>_X.cw_eid'''), |
635 ] |
640 ] |
636 |
641 |
637 |
642 |
638 NEGATIONS = [ |
643 NEGATIONS = [ |
639 |
644 |