Τεχνικές ελέγχου ορθότητας και συντήρησης εφαρμογών βάσεων δεδομένων - Spyridon Gardiokiotis (2009)