827 search results - page 125 / 166 » Proof-Theoretic Soundness and Completeness |
161
click to vote
SPIN
2005
Springer
16 years 7 days 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...
225
click to vote
TGC
2005
Springer
16 years 7 days 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...
185
click to vote
VLDB
2005
ACM
16 years 7 days 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...
183
click to vote
APWEB
2004
Springer
16 years 5 days 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 ...
159
click to vote
COCO
2004
Springer
16 years 4 days 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...