Publication Details

Efficiently Ordering Subgoals with Access Constraints

by Yang, Guizhen and Kifer, Michael and Chaudhri, Vinay K.

in ACM International Symposium on Principles of Database Systems (PODS)

Abstract

In this paper, we study the problem of ordering subgoals under binding pattern restrictions for queries posed as nonrecursive Datalog programs. We prove that despite their limited expressive power, the problem is computationally hard — PSPACE-complete in the size of the nonrecursive Datalog program even for fairly restricted cases. As a practical solution to this problem, we develop an asymptotically optimal algorithm that runs in time linear in the size of the query plan. We also study extensions of our algorithm that efficiently solve other query planning problems under binding pattern restrictions. These problems include conjunctive queries with nested grouping constraints, distributed conjunctive queries, and first-order queries.

Electronic Copies

Adobe PDF

BibTeX

EndNote

Associated Projects

Cognitive Assistant that Learns and Organizes As part of DARPA’s Personalized Assistant that Learns (PAL) program, SRI and team members are working on developing a next-generation "Cognitive Agent that Learns and Organizes" (CALO).

AIC Personnel

	Name	Title	E-mail
	Chaudhri, Vinay K	Program Director
	Yang, Guizhen	Alumnus