The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Shamim A. Naqvi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lawrence J. Henschen, Shamim A. Naqvi
    On compiling queries in recursive first-order databases. [Citation Graph (92, 0)][DBLP]
    J. ACM, 1984, v:31, n:1, pp:47-85 [Journal]
  2. Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur
    Sets and Negation in a Logic Database Language (LDL1). [Citation Graph (53, 11)][DBLP]
    PODS, 1987, pp:21-37 [Conf]
  3. Val Tannen, Peter Buneman, Shamim A. Naqvi
    Structural Recursion as a Query Language. [Citation Graph (43, 13)][DBLP]
    DBPL, 1991, pp:9-19 [Conf]
  4. Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo
    The LDL System Prototype. [Citation Graph (28, 42)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1990, v:2, n:1, pp:76-90 [Journal]
  5. Lawrence J. Henschen, William McCune, Shamim A. Naqvi
    Compiling Constraint-Checking Programs from First-Order Formulas. [Citation Graph (20, 0)][DBLP]
    Advances in Data Base Theory, 1982, pp:145-169 [Conf]
  6. Shamim A. Naqvi, Ravi Krishnamurthy
    Database Updates in Logic Programming. [Citation Graph (20, 8)][DBLP]
    PODS, 1988, pp:251-262 [Conf]
  7. Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong
    Principles of Programming with Complex Objects and Collection Types. [Citation Graph (17, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:149, n:1, pp:3-48 [Journal]
  8. Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur
    Set Constructors in a Logic Database Language. [Citation Graph (16, 0)][DBLP]
    J. Log. Program., 1991, v:10, n:1/2/3&4, pp:181-232 [Journal]
  9. Tomasz Imielinski, Shamim A. Naqvi
    Explicit Control of Logic Programs Through Rule Algebra. [Citation Graph (13, 5)][DBLP]
    PODS, 1988, pp:103-116 [Conf]
  10. Ravi Krishnamurthy, Shamim A. Naqvi
    Non-Deterministic Choice in Datalog. [Citation Graph (12, 0)][DBLP]
    JCDKB, 1988, pp:416-424 [Conf]
  11. Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty
    Incomplete Objects - A Data Model for Design and Planning Applications. [Citation Graph (11, 11)][DBLP]
    SIGMOD Conference, 1991, pp:288-297 [Conf]
  12. Ravi Krishnamurthy, Shamim A. Naqvi
    Towards a Real Horn Clause Language. [Citation Graph (9, 12)][DBLP]
    VLDB, 1988, pp:252-263 [Conf]
  13. Francesca Rossi, Shamim A. Naqvi
    Contributions to the View Update Problem. [Citation Graph (8, 0)][DBLP]
    ICLP, 1989, pp:398-415 [Conf]
  14. Oded Shmueli, Shamim A. Naqvi
    Set Grouping and Layering in Horn Clause Programs. [Citation Graph (6, 0)][DBLP]
    ICLP, 1987, pp:152-177 [Conf]
  15. Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty
    Querying Design and Planning Databases. [Citation Graph (5, 0)][DBLP]
    DOOD, 1991, pp:524-545 [Conf]
  16. Shamim A. Naqvi, Lawrence J. Henschen
    Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. [Citation Graph (4, 0)][DBLP]
    IJCAI, 1983, pp:25-28 [Conf]
  17. Shamim A. Naqvi, Lawrence J. Henschen
    Performing Inferences over Recursive Data Bases. [Citation Graph (3, 0)][DBLP]
    AAAI, 1980, pp:263-265 [Conf]
  18. Ravi Krishnamurthy, Shamim A. Naqvi, Carlo Zaniolo
    Database Transactions in LDL. [Citation Graph (3, 0)][DBLP]
    NACLP, 1989, pp:795-815 [Conf]
  19. Kumar V. Vadaparty, Shamim A. Naqvi
    Using Constraints for Efficient Query Processing in Nondeterministic Databases. [Citation Graph (2, 26)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1995, v:7, n:6, pp:850-864 [Journal]
  20. Shamim A. Naqvi
    Stratification as a Design Principle in Logical Query Langugages. [Citation Graph (1, 20)][DBLP]
    DBPL, 1989, pp:342-356 [Conf]
  21. Shamim A. Naqvi, Ravi Krishnamurthy
    Semantics of Updates in Logic Programming. [Citation Graph (1, 7)][DBLP]
    DBPL, 1987, pp:313-327 [Conf]
  22. Shamim A. Naqvi
    Negative Queries in Horn Databases. [Citation Graph (1, 0)][DBLP]
    Expert Database Conf., 1986, pp:227-236 [Conf]
  23. Shamim A. Naqvi
    Negation as Failure for First-Order Queries. [Citation Graph (1, 4)][DBLP]
    PODS, 1986, pp:114-122 [Conf]
  24. Shamim A. Naqvi, Francesca Rossi
    Reasoning in Inconsistent Databases. [Citation Graph (1, 0)][DBLP]
    NACLP, 1990, pp:255-272 [Conf]
  25. Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi
    A Policy Description Language. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1999, pp:291-298 [Conf]
  26. Lawrence J. Henschen, Shamim A. Naqvi
    Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:342-359 [Conf]
  27. Daniel Barbará, Shamim A. Naqvi
    The AudioWeb. [Citation Graph (0, 0)][DBLP]
    CIKM, 1997, pp:97-104 [Conf]
  28. Shamim A. Naqvi, Tomasz Imielinski, Madhur Kohli, Kumar V. Vadaparty
    Speculative Query Evaluation over Databases of Plans. [Citation Graph (0, 0)][DBLP]
    CIKM, 1993, pp:439-450 [Conf]
  29. Shamim A. Naqvi
    Negation in Knowledge Base Management Systems. [Citation Graph (0, 0)][DBLP]
    On Knowledge Base Management Systems (Islamorada), 1985, pp:125-145 [Conf]
  30. Shamim A. Naqvi
    A Brief Survey of Logic and Database Systems. [Citation Graph (0, 0)][DBLP]
    On Knowledge Base Management Systems (Islamorada), 1985, pp:219-226 [Conf]
  31. Nabil R. Adam, Milton Halem, Shamim A. Naqvi
    Promising Research Disrections in Disgital Libraries. [Citation Graph (0, 0)][DBLP]
    DL, 1994, pp:21-29 [Conf]
  32. Jan Chomicki, Shamim A. Naqvi, Marc F. Pucci
    Decentralized Micropayment Consolidation. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1998, pp:332-341 [Conf]
  33. Manolis M. Tsangaris, Madhur Kohli, Shamim A. Naqvi, Richard Nunziata, Yatin P. Saraiya
    PICSDesk: A Case Study on Business Process Re-engineering. [Citation Graph (0, 3)][DBLP]
    ICDE, 1996, pp:300-306 [Conf]
  34. Shamim A. Naqvi
    Some Extensions to the Closed World Assumption in Databases. [Citation Graph (0, 10)][DBLP]
    ICDT, 1986, pp:341-348 [Conf]
  35. Lawrence J. Henschen, Shamim A. Naqvi
    An Improved Filter for Literal Indexing in Resolution Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:525-529 [Conf]
  36. Aravind Srinivasan, K. G. Ramakrishnan, Krishnan Kumaran, Murali Aravamudan, Shamim A. Naqvi
    Optimal Design of Signaling Networks for Internet Telephony. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 2000, pp:707-716 [Conf]
  37. Jan Chomicki, Jorge Lobo, Shamim A. Naqvi
    A Logic Programming Approach to Conflict Resolution in Policy Management. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:121-132 [Conf]
  38. Shamim A. Naqvi
    A Logic for Negation in Database Systems. [Citation Graph (0, 0)][DBLP]
    XP7.52 Workshop on Database Theory, 1986, pp:- [Conf]
  39. Nabil R. Adam, Shamim A. Naqvi
    Universal Access in Digital Libraries. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:105- [Journal]
  40. Shamim A. Naqvi
    How Stratification is Used in LDL. [Citation Graph (0, 0)][DBLP]
    IEEE Data Eng. Bull., 1989, v:12, n:3, pp:45-52 [Journal]
  41. Kumar V. Vadaparty, Shamim A. Naqvi
    The Decomposition Property of Non-Deterministic Databases. [Citation Graph (0, 0)][DBLP]
    , 1993, v:, n:, pp:45-63 [Journal]
  42. Jan Chomicki, Jorge Lobo, Shamim A. Naqvi
    Conflict Resolution Using Logic Programming. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2003, v:15, n:1, pp:244-249 [Journal]

Search in 0.169secs, Finished in 0.172secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002