next up previous
Next: Check-Code and Mode-Check Up: Terminology Previous: Predicate

Deduced Field

To derive any of the unknown values that constitutes a relationship the following condition should be satisfied:

$ \exists$ v $ \in$ V : v $ \notin$ $ \mathbb{V}$

which states that there exists at least one field that is a part of the relationship but its value is still unknown. A field value that is derived on the basis of the given relationship is known as deduced field value and the corresponding field is known as deduced field.



Sunil Kothari 2006-04-29