827 search results - page 125 / 166 » Proof-Theoretic Soundness and Completeness |
SPIN
2005
Springer
15 years 6 months ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
139
Voted
TGC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
103
click to vote
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
As a simple XML query language but with enough expressive power, XPath has become very popular. To expedite evaluation of XPath queries, we consider the problem of rewriting XPath...
100
click to vote
APWEB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Integrity constraints play a fundamental role in defining semantics in both conventional databases and in XML documents. In this paper we generalize previous approaches ...
100
click to vote
COCO
2004
Springer
15 years 6 months ago
2004
Springer
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum in...