Static analysis of XML security views and query rewriting
type: Item
instance of: scholarly article
title: Static analysis of XML security views and query rewriting
zbMATH Open document ID: 1360.68396
author: Benoît Groz
author: Sławomir Staworko
author: Anne-Cecile Caron
author: Yves Roos
author: Sophie Tison
published in: Information and Computation
publication date: 2014-10-20T00:00:00Z
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 6359034
zbMATH Keywords: XML
zbMATH Keywords: security views
zbMATH Keywords: query rewriting
zbMATH Keywords: determinacy
describes a project that uses: XPath
MaRDI profile type: Publication
full work available at URL: j.ic.2014.07.003
OpenAlex ID: W2160672192
Wikidata QID: Q62047333
cites work: Visibly pushdown languages
cites work: Database Programming Languages
cites work: Modal logic
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Rewriting of regular expressions and regular path queries
cites work: View-based query processing: on the relationship between rewriting, answering and losslessness
cites work: The complexity of decision problems for finite-turn multicounter machines
cites work: A note on finite-valued and finitely ambiguous transducers
cites work: Reasoning about XML with Temporal Logics and Automata
cites work: Reasoning about XML with temporal logics and automata
cites work: COMPRESSED MEMBERSHIP PROBLEMS FOR REGULAR EXPRESSIONS AND HIERARCHICAL AUTOMATA
cites work: Q4817026
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
DOI: 10.1016/J.IC.2014.07.003
DBLP publication ID: journals/iandc/GrozSCRT14
description: scientific article; zbMATH DE number 6359034