Implications of the form A→B (read “A implies B”) feature prominently in multiple fields of mathematics and computers science. In mathematical terms we may define A→B as a mapping from one set to another. In Database ...