How to Progress a Database (and Why) I. Logical Foundations.

Fangzhen Lin, Raymond Reiter

Browse the full KR paper archive.