CASEY allows formulas related to Approximate Query Processing to be expressed and simplified automatically.
Load the Delta.nb
file to teach Mathematica how to simplify. Then load any of the examples and run.
Load any of the examples in directory texts
and run. Make sure the path at the top points to the directory where the main files are.
Prolog implementation is incomplete. Please use Maxima (preferably) or Mathematica version.