144 search results - page 19 / 29 » An Automatic Correction Tool for Relational Algebra Queries |
BDA
2003
13 years 9 months ago
2003
: XML has emerged as the leading language for representing and exchanging data not only on the Web, but also in general in the enterprise. XQuery is emerging as the standard query ...
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
RSA
2006
13 years 7 months ago
2006
We continue the investigation of locally testable codes, i.e., error-correcting codes for whom membership of a given word in the code can be tested probabilistically by examining ...
DASFAA
2006
IEEE
14 years 1 months ago
2006
IEEE
When hosting XML information on relational backends, a mapping has to be established between the schemas of the information source and the target storage repositories. A rich body ...
ICDE
2003
IEEE
14 years 9 months ago
2003
IEEE
The XML Wrapper is a new feature of the federated database capabilities of DB2/UDB v8. It enables users and applications to issue SQL queries against XML data from a variety of so...