Paolo Atzeni Valeria De Antonellis Relational Database Theory Benjamin/Cummings 0-8053-0249-2 1993