Shamim A. Naqvi

On compiling queries in recursive first-order databases

Lawrence J. Henschen, Shamim A. Naqvi · Journal of the ACM · 1984 · 285 citations · Full text

Computing, Computer Science, Databases +6

Principles of programming with complex objects and collection types

Peter Buneman, Shamim A. Naqvi, Val Tannen · Theoretical Computer Science · 1995 · 262 citations · Full text

Computing, Computer Science, Databases +16

A policy description language

Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi · National Conference on Artificial Intelligence · 1999 · 243 citations

Computing, Computer Science, Information Systems +16

The LDL system prototype

Danette Chimenti, Ruben Gamboa, R. Krishnamurthy et al. · IEEE Transactions on Knowledge and Data Engineering · 1990 · 175 citations

Computing, Computer Engineering, Computer Science +16

Sets and negation in a logic data base language (LDL1)

Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan et al. · 1987 · 162 citations

Computing, Computer Science, Databases +9