Propriedades desejadas de bancos de dados distribuídos