261 search results - page 12 / 53 » Logics for XML |
105
click to vote
PLANX
2007
15 years 1 months ago
2007
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...
114
click to vote
BTW
2007
Springer
15 years 5 months ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
98
Voted
DOLAP
2004
ACM
15 years 5 months ago
2004
ACM
In today’s OLAP systems, integrating fast changing data, e.g., stock quotes, physically into a cube is complex and time-consuming. The widespread use of XML makes it very possib...
85
Voted
ICDT
2003
ACM
15 years 4 months ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
179
Voted
ICDE
2004
IEEE
16 years 1 months ago
2004
IEEE
