Sciweavers

214 search results - page 9 / 43
» Towards an Integration of Answer Set and Constraint Solving
Sort
View
FQAS
2004
Springer
122views Database» more  FQAS 2004»
14 years 24 days ago
Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...
Davide Martinenghi
DEXAW
2005
IEEE
156views Database» more  DEXAW 2005»
14 years 2 months ago
Fixing Inconsistent Databases by Updating Numerical Attributes
For several reasons a database may not satisfy certain integrity constraints (ICs). However, most likely most of the information in it is still consistent with the ICs; and could ...
Leopoldo E. Bertossi, Loreto Bravo, Enrico Francon...
ICDT
2005
ACM
128views Database» more  ICDT 2005»
14 years 2 months ago
First-Order Query Rewriting for Inconsistent Databases
We consider the problem of retrieving consistent answers over databases that might be inconsistent with respect to some given integrity constraints. In particular, we concentrate o...
Ariel Fuxman, Renée J. Miller
IEAAIE
2001
Springer
14 years 1 months ago
A Mixed Closure-CSP Method to Solve Scheduling Problems
Scheduling problems can be seen as a set of temporal metric and disjunctive constraints. So, they can be formulated in terms of CSPs techniques. In the literature, there are CSP-b...
María Isabel Alfonso Galipienso, Federico B...
PODS
2005
ACM
104views Database» more  PODS 2005»
14 years 9 months ago
Determining source contribution in integration systems
Owners of sources registered in an information integration system, which provides answers to a (potentially evolving) set of client queries, need to know their contribution to the...
Alin Deutsch, Yannis Katsis, Yannis Papakonstantin...