EquiX--A Search and Query Language for XML
Sara Cohen, Yaron Kanza, Yakov Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik
Abstract
EquiX is a search language for XML that combines the power of querying with the simplicity of searching. Requirements for such languages are discussed and it is shown that EquiX meets the necessary criteria. Both a graph-based abstract syntax and a formal concrete syntax are presented for EquiX queries. In addition, the semantics is defined and an evaluation algorithm is presented. The evaluation algorithm is polynomial under combined complexity. EquiX combines pattern matching, quantification and logical expressions to query both the data and meta-data of XML documents. The result of a query in EquiX is a set of XML documents. A DTD describing the result documents is derived automatically from the query.
Create a lesson
Related papers
Autonomous ETL Pipelines for Salesforce M&A Consolidation: A Reference Framework, Jitterbit Mapping, and Reproducible Simulation Study
Imran Basha Shaik, Sahla Sultana, Khader Moinuddin Shaik
When Is One Query per Template Enough? Adapting Learned Cost Models to New Hardware
Krish Patel
Optimizing Geo-replicated Deterministic Databases
Yunhao Mao, Shiquan Zhang, Gengrui Zhang et al.
BobFlow: Towards Human-Agent Collaborative Data Science Using Dataflows
Jiadong Bai, Yicong Huang, Chen Li
Turbocharging PiPNN for Proximity and k-NN Graph Building
Tobias Rubel, Richard Wen, Guy Blelloch et al.
Whiel: A Neurosymbolic Platform for Certified Relational Program Verification
Jesse Comer, Fangzhu Shen, Shuo Zhang et al.