Derivability, Redundancy and Consistency of Relations Stored in Large Data Banks [pdf] · HackerTrans