DBScholar

Back to papers

Negation as Failure for First-Order Queries (Extended Abstract)

Summary: Presents a negation-as-failure rule for first-order database queries with universally quantified clauses, grounded in Apt & Van Emden's finite-failure and Clark completion. Characterizes failures of standard approaches (order-dependence, no existential negatives, inconsistency) and proposes compiling Horn cases into completed databases with implementation/complexity analysis. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
752
Venue
PODS
Year
1986
Pagerank
5.4119882e-05
Overall Rank
8,566 | 41.23%
DOI
10.1145/6012.15408

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{naqvi_pods86,
        address = {New York, NY, USA},
        series = {{PODS} '86},
        title = {{Negation as Failure for First-Order Queries (Extended Abstract)}},
        url = {https://dl.acm.org/doi/10.1145/6012.15408},
        doi = {10.1145/6012.15408},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Naqvi, Shamim A.},
        year = {1986}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
Previous Page 1 / 1 Next

Semantically Similar Papers