148 search results - page 15 / 30 » Propagating XML Constraints to Relations |
SARA
2009
Springer
14 years 2 months ago
2009
Springer
Tailoring solver-independent constraint instances to target solvers is an important component of automated constraint modelling. We augment the tailoring process by a set of enhan...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
ICDT
2007
ACM
14 years 1 months ago
2007
ACM
With the rise of XML as a standard model of data exchange, XML functional dependencies (XFDs) have become important to areas such as key analysis, document normalization, and data ...
GLOBE
2009
Springer
14 years 5 days ago
2009
Springer
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
An XML-to-relational mapping scheme consists of a procedure for shredding XML documents into relational databases, a procedure for publishing databases back as documents, and a se...