- Typically start with set of f.d., F
- determined from semantics of attributes
- Then use IR1,2,3 to infer additional f.d.s
- Determine left hand sides (Xs)
- Then determine all attributes dependent on X
- For each set of attributes X,
- determine X+ :the set of attributes f.d'ed by X on F
In Focus
3.1.10. Process