A decidable very expressive description logic for databases