chase algorithm

simple fixpoint algorithm testing and enforcing implication of data dependencies in database systems