4 search results - page 1 / 1 » Using First-Order Logic to Reason about Policies |
110
click to vote
PODS
2008
ACM
16 years 1 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
121
click to vote
PODS
2008
ACM
16 years 1 months ago
2008
ACM
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
117
click to vote
PODS
2005
ACM
16 years 1 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
137
click to vote
PODS
2008
ACM
16 years 1 months ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...