Next: 6.6 Generating code from
Up: 6 Creating New Relations
Previous: 6.4 Low level relational
- bool Subset(Relation &r
, Relation &r
)
Works for both relations and sets. The arguments must have the same arity.
If
and
then the result
is
.
- bool Weak_Subset(Relation &r
, Relation &r
)
Works for both relations and sets. The arguments must have the same arity.
If
and
then the result
is B, where
.
This function will often return true in cases where
is a subset of
,
however it is not guaranteed to.
The situations in which weak_subset agrees with exact subset are
deliberately not specified as they may change in future releases.
omega@cs.umd.edu
Web Accessibility