Sciweavers

91 search results - page 1 / 19
» Querying XML Documents in Logic Programming
Sort
View
IJSSE
2011
127views more  IJSSE 2011»
12 years 12 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
CORR
2007
Springer
85views Education» more  CORR 2007»
13 years 4 months ago
Querying XML Documents in Logic Programming
Jesús Manuel Almendros-Jiménez, Anto...
BTW
2003
Springer
92views Database» more  BTW 2003»
13 years 10 months ago
A Logical, Transparent Model for Querying Linked XML Documents
Abstract:The W3C XML Linking Language (XLink) provides a powerful means for interlinking XML documents all over the world. While the effects when browsing through linked XML docume...
Wolfgang May, Dimitrio Malheiro
PLANX
2007
13 years 6 months ago
XML Transformation Language Based on Monadic Second Order Logic
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
Kazuhiro Inaba, Haruo Hosoya
WISE
2002
Springer
13 years 9 months ago
Towards Declarative XML Querying
How to extract data from XML documents is an important issue for XML research and development. However, how to view XML documents determines how they can be queried. In this paper...
Mengchi Liu, Tok Wang Ling