Algebra de relações : uma axiomatização tarskiana