ChaseT: A Tool for Checking Chase Termination.

Andrea De Francesco Sergio Greco Francesca Spezzano Irina Trubitsyna

Published in: SUM (2011)

Keyphrases

analysis tool
functional dependencies
term rewriting
knowledge base
case study
learning environment
probabilistic model
software tools
consistency checking