Lý thuyết cơ sở dữ liệu phân tán