DBScholar

Back to papers

Type Inference for Queries on Semistructured Data (Extended Abstract)

Summary: Introduces a novel "traces" technique for type checking and inference over semistructured data, showing the general problem is NP-complete but PTIME for many practical cases (notably XML queries). Traces enable practical query formulation, optimization, and verification. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1175
Venue
PODS
Year
1999
Pagerank
8.846133e-05
Overall Rank
2,261 | 84.49%
DOI
10.1145/303976.303998

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{milo_pods99,
        address = {New York, NY, USA},
        series = {{PODS} '99},
        title = {{Type Inference for Queries on Semistructured Data (Extended Abstract)}},
        url = {https://dl.acm.org/doi/10.1145/303976.303998},
        doi = {10.1145/303976.303998},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Milo, Tova and Suciu, Dan},
        year = {1999}
}

Incoming Citations (Sorted by Pagerank)

Showing 13 of 13 citing papers.

Rank Citing Paper Year Venue Pagerank
1,290 DTD Inference for Views of XML Data 2000 PODS 0.00011312135
2,515 On XML Integrity Constraints in the Presence of DTDs 2001 PODS 8.4811795e-05
3,274 Frontiers of Tractability for Typechecking Simple XML Transformations 2004 PODS 7.5749332e-05
3,679 XML with Data Values: Typechecking Revisited 2001 PODS 7.2045472e-05
4,369 Semantic Query Optimization in the Presence of Types 2010 PODS 6.7390374e-05
5,360 Lazy Query Evaluation for Active XML 2004 SIGMOD 6.2487273e-05
5,939 Capturing both Types and Constraints in Data Integration 2003 SIGMOD 6.0339259e-05
8,066 Semantic Query Optimization for XQuery over XML Streams 2005 VLDB 5.4942177e-05
8,279 Schema-Based Independence Analysis for XML Updates 2009 VLDB 5.4574671e-05
8,766 Active Views for Electronic Commerce 1999 VLDB 5.3766157e-05
12,575 Type Inference and Type Checking for Queries on Execution Traces 2008 VLDB 5.093636e-05
12,611 Querying Web-Based Applications Under Models of Uncertainty 2008 VLDB 5.093636e-05
12,624 Expressiveness and Complexity of XML Publishing Transducers 2007 PODS 5.093636e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 7 of 7 cited papers.

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

Rank Cited Paper Year Venue Pagerank
48 DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases 1997 VLDB 0.00044033592
124 A Query Language and Optimization Techniques for Unstructured Data 1996 SIGMOD 0.00030950263
348 Regular Path Queries with Constraints 1997 PODS 0.00020518814
454 Using Schema Matching to Simplify Heterogeneous Data Translation 1998 VLDB 0.00018133578
645 Your Mediators Need Data Conversion! 1998 SIGMOD 0.00015338713
1,167 Object Fusion in Mediator Systems 1996 VLDB 0.00011845214
1,302 Catching the Boat with Strudel: Experiences with a Web-Site Management System 1998 SIGMOD 0.00011238375
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 2,864 Typing and Querying XML Documents: Some Complexity Bounds 2003 PODS
2 4,369 Semantic Query Optimization in the Presence of Types 2010 PODS
3 4,495 Queries with Incomplete Answers over Semistructured Data 1999 PODS
4 1,253 Extracting Schema from Semistructured Data 1998 SIGMOD
5 12,353 Type-Based Detection of XML Query-Update Independence 2012 VLDB
6 3,274 Frontiers of Tractability for Typechecking Simple XML Transformations 2004 PODS
7 9,877 Interaction between Path and Type Constraints 1999 PODS
8 3,986 Type Systems for Querying Class Hierarchies with Non-strict Inheritance. 1989 PODS
9 3,679 XML with Data Values: Typechecking Revisited 2001 PODS
10 12,575 Type Inference and Type Checking for Queries on Execution Traces 2008 VLDB