1928 search results - page 97 / 386 » Integrity Constraints in OWL |
119
Voted
JCS
2010
14 years 7 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
106
click to vote
VLDB
1999
ACM
15 years 5 months ago
1999
ACM
We present an optimization method and algorithm designed for three objectives: physical data independence, semantic optimization, and generalized tableau minimization. The method ...
113
Voted
VLDB
2002
ACM
15 years 13 days ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
106
click to vote
PVLDB
2010
14 years 11 months ago
2010
Several database areas such as data exchange and integration share the problem of fixing database instance violations with respect to a set of constraints. The chase algorithm so...
97
Voted
CPAIOR
2005
Springer
15 years 6 months ago
2005
Springer
Integration of explanations into a CSP solver is a technique addressing difficult question “why my problem has no solution”. Moreover, explanations together with advanced searc...