Puzzy relational calculus theory,application and software - Peeva (World Scientific, 2004)