DBScholar

Back to papers

Query Evaluation under the Well Founded Semantics (Extended Abstract)

Summary: SLG: a goal-directed extension of SLDNF that tables transformations to avoid positive/negative loops and repeated evaluation, ensuring termination for bounded-term-size programs. Sound and ideally complete for non‑floundering queries under three‑valued (incl. well‑founded) semantics, polytime data complexity for well‑founded negation, and Prolog-compatible. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
996
Venue
PODS
Year
1993
Pagerank
5.093636e-05
Overall Rank
13,049 | 10.48%
DOI
10.1145/153850.153865

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

BibTeX Citation

@inproceedings{chen_pods93,
        address = {New York, NY, USA},
        series = {{PODS} '93},
        title = {{Query Evaluation under the Well Founded Semantics (Extended Abstract)}},
        url = {https://dl.acm.org/doi/10.1145/153850.153865},
        doi = {10.1145/153850.153865},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Chen, Weidong and Warren, David S.},
        year = {1993}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank Citing Paper Year Venue Pagerank
13,032 XSB as an Efficient Deductive Database Engine 1994 SIGMOD 5.093636e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 cited papers.

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

Previous Page 1 / 1 Next

Semantically Similar Papers