An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities.

Wei Sun Mark Allen Weiss

Published in: IEEE Trans. Knowl. Data Eng. (1994)

Keyphrases

information systems
sufficient conditions
test cases
functional dependencies
databases
neural network
machine learning
integrity constraints
linear inequalities