Abstract databases