DBScholar

Back to papers

Numerical Document Queries

Summary: Extend MSO on trees with Presburger predicates on children to capture numerical document queries and provide an automata-theoretic characterization. Existential fragment decidable, full logic undecidable; an order-irrelevant fragment yields decidable satisfiability and a linear-data query algorithm. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1287
Venue
PODS
Year
2003
Pagerank
8.0083925e-05
Overall Rank
2,875 | 80.28%
DOI
10.1145/773153.773169

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{seidl_pods03,
        address = {New York, NY, USA},
        series = {{PODS} '03},
        title = {{Numerical Document Queries}},
        url = {https://dl.acm.org/doi/10.1145/773153.773169},
        doi = {10.1145/773153.773169},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Seidl, Helmut and Schwentick, Thomas and Muscholl, Anca},
        year = {2003}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank Citing Paper Year Venue Pagerank
1,131 The Lixto Data Extraction Project - Back and Forth between Theory and Practice 2004 PODS 0.00012044716
8,547 Satisfiability and Relevance for Queries over Active Documents 2009 PODS 5.4119882e-05
11,835 Containment of Shape Expression Schemas for RDF 2019 PODS 5.093636e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

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

Rank Cited Paper Year Venue Pagerank
1,372 Typechecking for XML Transformers 2000 PODS 0.00010994864
2,180 Monadic Datalog and the Expressive Power of Languages for Web Information Extraction 2002 PODS 9.0110009e-05
Previous Page 1 / 1 Next

Semantically Similar Papers