Sciweavers

1378 search results - page 18 / 276
» The Tractability of Global Constraints
Sort
View
DLOG
2011
14 years 3 months ago
On P/NP Dichotomies for EL Subsumption under Relational Constraints
Abstract. We consider the problem of characterising relational constraints under which TBox reasoning in EL is tractable. We obtain P vs. coNP-hardness dichotomies for tabular cons...
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
CLEIEJ
2006
87views more  CLEIEJ 2006»
14 years 11 months ago
Integrity Constraint Checking in Distributed Nested Transactions over a Database Cluster
This paper presents a solution to check referential integrity constraints and conjunctive global constraints in a relational multi database system. It also presents the experiment...
Stéphane Gançarski, Claudia Le&oacut...
SIGECOM
2006
ACM
138views ECommerce» more  SIGECOM 2006»
15 years 5 months ago
Bid expressiveness and clearing algorithms in multiattribute double auctions
We investigate the space of two-sided multiattribute auctions, focusing on the relationship between constraints on the offers traders can express through bids, and the resulting c...
Yagil Engel, Michael P. Wellman, Kevin M. Lochner
IJCAI
2003
15 years 1 months ago
Describing and Utilizing Constraints to Answer Queries in Data-Integration Systems
In data-integration systems, information sources often have various constraints such as “all houses stored at a source have a unique address.” These constraints are very usefu...
Chen Li
CP
2008
Springer
15 years 1 months ago
Semi-automatic Generation of CHR Solvers for Global Constraints
Constraint programming often involves global constraints, for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR s...
Frank Raiser