Efficient Top-Down Computation of Queries under the Well-Founded Semantics Export

@article{citeulike:2551354, abstract = {This paper investigates two major implementation issues of query evaluation under the well-founded semantics, namely (a) to ensure that negative literals be resolved only after their positive counterparts have been completely evaluated, and (b) to detect and handle potential negative loops. We present efficient incremental algorithms for maintaining positive and negative dependencies among subgoals in a top-down evaluation. Both completely evaluated subgoals and potential negative loops are...}, author = {Chen, Weidong and Swift, Terrance and Warren, David S.}, citeulike-article-id = {2551354}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.8690}, journal = {Journal of Logic Programming}, keywords = {backward-chaining, datalog, logic-programming}, number = {3}, pages = {161--199}, posted-at = {2008-03-18 14:35:26}, priority = {2}, title = {Efficient Top-Down Computation of Queries under the Well-Founded Semantics}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.8690}, volume = {24}, year = {1995} }

TY - JOUR ID - citeulike:2551354 L3 - citeulike-article-id:2551354 N2 - This paper investigates two major implementation issues of query evaluation under the well-founded semantics, namely (a) to ensure that negative literals be resolved only after their positive counterparts have been completely evaluated, and (b) to detect and handle potential negative loops. We present efficient incremental algorithms for maintaining positive and negative dependencies among subgoals in a top-down evaluation. Both completely evaluated subgoals and potential negative loops are... IS - 3 JF - Journal of Logic Programming EP - 199 TI - Efficient Top-Down Computation of Queries under the Well-Founded Semantics VL - 24 SP - 161 KW - backward-chaining KW - datalog KW - logic-programming AU - Chen, Weidong AU - Swift, Terrance AU - Warren, David PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.8690 ER -