-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi,
the docs say: the not yet implemented "Existential quantifiers [...] is
supported with 'not' and 'exists' conditional elements."
Hence, I tried to formulate a rule like that:
when
$r : Relation()
$a : Attribute( relation == $r )
not ( exists ( InclusionDependency ( r1 == $r, a1 != $a ) ) )
then ...
this is equiv to "forall ( InclusionDependency ( r1 == $r, a1 == $a ) )"
However, Drools doesn't allow to use BOUND VAR CONSTRAINTS together with
EXISTS, right? Can anybody help me out?
Thank you very much,
Andy
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFFP12nKk9SuaNc5+IRAjGvAKCFEkBuqrxXYTIJqNQrpSLvTF5P+ACg7TDy
S0+Jvx2TRmlYlzZhYEsY17g=
=uq5b
-----END PGP SIGNATURE-----
---------------------------------------------------------------------
To unsubscribe from this list please visit:
http://xircles.codehaus.org/manage_email
