Changes between Version 18 and Version 19 of FunctionalDependencies


Ignore:
Timestamp:
Apr 10, 2006 8:09:03 AM (9 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FunctionalDependencies

    v18 v19  
    5050}}} 
    5151    any variable occurring free in t,,Y,, must also occur free in t,,X,,. 
    52  
    5352 2. '''Consistency.''' 
    5453    If there is a second instance