Nondeterministic, Nonmonotonic Logic Databases