Checking Chase Termination: Cyclicity Analysis and Rewriting Techniques.

Sergio Greco Francesca Spezzano Irina Trubitsyna

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

Keyphrases

databases
decision making
relational databases
medical images
machine learning
learning algorithm
decision trees
logic programs