Deciding Consistency of Databases Containing Defeasible and Strict Information