Datalog extensions for database queries and updates. Foto Afrati and Stavros S. Cosmadakis. Ashok Chandra and David Harel. Structure and complexity of relational queries. Ashok K. Chandra and David Harel.
Horn clauses queries and generalizations.
Pratul Dublish and S. N. Maheshwari. IEEE Computer Society Press. Languages that capture complexity classes. Phokion G. Kolaitis. IEEE Computer Society Press.