Sciweavers

158 search results - page 1 / 32
» Combining Temporal Logics for Querying XML Documents
Sort
View
91
Voted
ICDT
2007
ACM
97views Database» more  ICDT 2007»
15 years 7 months ago
Combining Temporal Logics for Querying XML Documents
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
Marcelo Arenas, Pablo Barceló, Leonid Libki...
131
Voted
IJSSE
2011
127views more  IJSSE 2011»
14 years 8 months ago
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
Sean Policarpio, Yan Zhang
75
Voted
TIME
2003
IEEE
15 years 6 months ago
Temporal Queries in XML Document Archives and Web Warehouses
Fusheng Wang, Carlo Zaniolo
BDA
2004
15 years 2 months ago
Path Sequence-Based XML Query Processing
We present the path sequence storage model, a new logical model for storing XML documents. This model partitions XML data and content according to the document paths; and uses orde...
Ioana Manolescu, Andrei Arion, Angela Bonifati, An...
120
Voted
WIDM
2006
ACM
15 years 7 months ago
Bridging relational database history and the web: the XML approach
The preservation of digital artifacts represents an unanswered challenge for the modern information society: XML and its query languages provide an effective environment to addre...
Fusheng Wang, Xin Zhou, Carlo Zaniolo