1024 search results - page 70 / 205 » Value complete, column complete, predicate complete |
117
click to vote
EDBT
2002
ACM
16 years 1 months ago
2002
ACM
The problem of finding contained rewritings of queries using views is of great importance in mediated data integration systems. In this paper, we first present a general approach f...
109
click to vote
ICDE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
127
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
101
click to vote
SPIN
2005
Springer
15 years 7 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...