DBScholar

Back to papers

Expressive power and data complexity of nonrecursive query languages for lists and trees (Extended Abstract)

Summary: With list/tree primitives, nonrecursive Datalog/Prolog/FO all have the same expressive power; their range‑restricted fragments equal relational algebra and every query is a Boolean combination of range‑restricted queries. Data complexity is polynomial (in AC0 under natural encodings): lists/trees add no expressiveness but induce a nonelementary program‑complexity blowup vs. PSPACE for the relational counterparts. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1204
Venue
PODS
Year
2000
Pagerank
5.9488379e-05
Overall Rank
6,184 | 57.58%
DOI
10.1145/335168.335218

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{dantsin_pods00,
        address = {New York, NY, USA},
        series = {{PODS} '00},
        title = {{Expressive power and data complexity of nonrecursive query languages for lists and trees (Extended Abstract)}},
        url = {https://dl.acm.org/doi/10.1145/335168.335218},
        doi = {10.1145/335168.335218},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Dantsin, Evgeny and Voronkov, Andrei},
        year = {2000}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank Citing Paper Year Venue Pagerank
4,702 On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values 2005 PODS 6.5549225e-05
12,857 String Operations in Query Languages 2001 PODS 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.

Rank Cited Paper Year Venue Pagerank
4,203 An Expressive Language for Linear Spatial Database Queries (extended abstract) 1998 PODS 6.8354052e-05
4,226 Safe Constraint Queries 1998 PODS 6.8211482e-05
4,336 Languages for Relational Databases over Interpreted Structures 1997 PODS 6.7554436e-05
4,467 A Query Language for List-Based Complex Objects 1994 PODS 6.6843364e-05
6,661 Complexity of Nonrecursive Logic Programs with Complex Values 1998 PODS 5.8101181e-05
Previous Page 1 / 1 Next

Semantically Similar Papers