Static analysis of XML security views and query rewriting

DOI10.1016/j.ic.2014.07.003zbMath1360.68396OpenAlexW2160672192WikidataQ62047333 ScholiaQ62047333MaRDI QIDQ462481

Anne-Cecile Caron, Yves Roos, Sophie Tison, Sławek Staworko, Benoît Groz

Publication date: 20 October 2014

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2014.07.003

zbMATH Keywords

XMLdeterminacyquery rewritingsecurity views

Mathematics Subject Classification ID

Database theory (68P15) Grammars and rewriting systems (68Q42)

Related Items (1)

Determinacy and rewriting of functional top-down and MSO tree transformations

Uses Software

• XPath

Cites Work

• Unnamed Item
• Unnamed Item
• Rewriting of regular expressions and regular path queries
• View-based query processing: on the relationship between rewriting, answering and losslessness
• Reasoning about XML with temporal logics and automata
• The complexity of decision problems for finite-turn multicounter machines
• COMPRESSED MEMBERSHIP PROBLEMS FOR REGULAR EXPRESSIONS AND HIERARCHICAL AUTOMATA
• Weak Second‐Order Arithmetic and Finite Automata
• Visibly pushdown languages
• A note on finite-valued and finitely ambiguous transducers
• Database Programming Languages
• Reasoning about XML with Temporal Logics and Automata
• Generalized finite automata theory with an application to a decision problem of second-order logic

This page was built for publication: Static analysis of XML security views and query rewriting