BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
10 × USA
Collaborated with:
R.Krishnamurthy T.Imielinski O.Shmueli K.V.Vadaparty D.Barbará F.Rossi L.J.Henschen J.Chomicki J.Lobo C.Zaniolo N.R.Adam M.Halem M.Kohli C.Beeri R.Ramakrishnan S.Tsur
Talks about:
databas (6) program (4) logic (4) horn (3) languag (2) queri (2) order (2) negat (2) first (2) claus (2)

Person: Shamim A. Naqvi

DBLP DBLP: Naqvi:Shamim_A=

Contributed to:

KR 20002000
CIKM 19971997
CIKM 19931993
SIGMOD 19911991
NACLP 19901990
NACLP 19891989
PODS 19881988
VLDB 19881988
ICLP 19871987
PODS 19871987
PODS 19861986
CADE 19821982
DL 19941994

Wrote 14 papers:

KR-2000-ChomickiLN #approach #logic programming #policy
A Logic Programming Approach to Conflict Resolution in Policy Management (JC, JL, SAN), pp. 121–132.
The AudioWeb (DB, SAN), pp. 97–104.
CIKM-1993-NaqviIKV #database #evaluation #query
Speculative Query Evaluation over Databases of Plans (SAN, TI, MK, KVV), pp. 439–450.
SIGMOD-1991-ImielinskiNV #design
Incomplete Objects — A Data Model for Design and Planning Applications (TI, SAN, KVV), pp. 288–297.
NACLP-1990-NaqviR #consistency #database #reasoning
Reasoning in Inconsistent Databases (SAN, FR), pp. 255–272.
NACLP-1989-KrishnamurthyNZ #database #transaction
Database Transactions in LDL (RK, SAN, CZ), pp. 795–815.
PODS-1988-ImielinskiN #algebra #logic programming #source code
Explicit Control of Logic Programs Through Rule Algebra (TI, SAN), pp. 103–116.
PODS-1988-NaqviK #database #logic programming
Database Updates in Logic Programming (SAN, RK), pp. 251–262.
VLDB-1988-KrishnamurthyN #horn clause #towards
Towards a Real Horn Clause Language (RK, SAN), pp. 252–263.
ICLP-1987-ShmueliN87 #horn clause #set #source code
Set Grouping and Layering in Horn Clause Programs (OS, SAN), pp. 152–177.
PODS-1987-BeeriNRST #database #logic #set
Sets and Negation in a Logic Database Language (LDL1) (CB, SAN, RR, OS, ST), pp. 21–37.
PODS-1986-Naqvi #first-order #query
Negation as Failure for First-Order Queries (SAN), pp. 114–122.
CADE-1982-HenschenN #database #first-order #infinity #recursion #representation #sequence
Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases (LJH, SAN), pp. 342–359.
DL-1994-AdamHN #library #research
Promising Research Disrections in Disgital Libraries (NRA, MH, SAN), pp. 21–29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.