On 10/27/06,
Andreas Langegger <[EMAIL PROTECTED]> wrote:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
hello,
sure. But the problem is, I need a rule which fires exactly once for any
existance of a
$r : Relation()
...where additional constraints are true, namely:
forall $a : Attribute( relation == $r ) (
forall InclusionDependency ( r1 == $r, a1 == $a )
)
"for all attributes a with a.relation == $r, all inclusion dependencies
i for $r must have i.a1 == $a"
sure I can use De Morgan, but only for the inner forall:
not InclusionDependency (r1 == $r, a1 != $a)
the outer requires an attribute assigment which is not possible with drools.
Will I have to change to Jess or are there any solutions?
thank you very much,
Andy
Michael Neale wrote:
> you should be able to use bound variables inside an exist - but in that
> case a single "not" should be fine.
> You just can use other CEs inside an exist/not (or/and and nesting etc).
>
> On 10/25/06, *dorgon* <[EMAIL PROTECTED] <mailto:[EMAIL PROTECTED]>>
> wrote:
>
> 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
>
>
> ---------------------------------------------------------------------
> To unsubscribe from this list please visit:
>
> http://xircles.codehaus.org/manage_email
>
>
- --
- ----------------------------------------------------------------------
Dipl.-Ing.(FH) Andreas Langegger
Institute for Applied Knowledge Processing
Johannes Kepler University Linz
A-4040 Linz, Altenberger Straße 69
> http://www.faw.at
> http://www.langegger.at
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFFQgFBKk9SuaNc5+IRAjTxAKC2fE1WI/UG7vGGDnV9HsFiBNsdKwCdGOQl
HTm/59/n0B9oSh7AGuosBx4=
=S5pC
-----END PGP SIGNATURE-----
---------------------------------------------------------------------
To unsubscribe from this list please visit:
http://xircles.codehaus.org/manage_email
