27 search results - page 3 / 6 » Reasoning about XML update constraints |
249
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
128
click to vote
WEBI
2001
Springer
15 years 9 months ago
2001
Springer
In the proposed data model for XML databases, an XML element is directly represented as a ground (variable-free) XML expression—a generalization of an XML element by incorporatio...
131
click to vote
DASFAA
2007
IEEE
15 years 8 months ago
2007
IEEE
In order to efficiently determine structural relationships among XML elements and to avoid re-labeling for updates, much research about labeling schemes has been conducted, recentl...
119
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
An XML-to-relational mapping scheme consists of a procedure for shredding XML documents into relational databases, a procedure for publishing databases back as documents, and a se...
133
click to vote
ACTA
2010
15 years 4 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...