Login / Signup
Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015).
Baltasar Trancón y Widemann
Markus Lepper
Published in:
CoRR (2019)
Keyphrases
</>
technical report
xml documents
xml data
type checking
databases
database systems
query optimization
first order logic
transitive closure