Results 241 to 250 of about 502,946 (294)
Some of the next articles are maybe not open access.
Merging with Integrity Constraints
1999We consider, in this paper, the problem of knowledge base merging with integrity constraints. We propose a logical characterization of those operators and give a representation theorem in terms of preorders on interpretations. We show the close connection between belief revision and merging operators and we show that our proposal extends the pure ...
Konieczny, Sébastien, Pino Perez, Ramon
openaire +2 more sources
Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, 2004
In this paper we deal with inconsistent databases and propose a logic framework that allows specifying sets of actions which should be performed to make databases consistent (repairs). The motivation of this work stems from the observation that in repairing a database it is natural to express among a set of update operations, the (preferred) actions ...
FLESCA, Sergio +2 more
openaire +2 more sources
In this paper we deal with inconsistent databases and propose a logic framework that allows specifying sets of actions which should be performed to make databases consistent (repairs). The motivation of this work stems from the observation that in repairing a database it is natural to express among a set of update operations, the (preferred) actions ...
FLESCA, Sergio +2 more
openaire +2 more sources
On integrated chance constraints
1986In Chapter 3 we introduced integrated chance constraints (ICCs) as a modeling tool for here-and-now stochastic programming problems; see (3.28). In the present chapter we analyze the mathematical properties of this new concept in some detail. Let us review its rationale. As indicated in Section 3.2, if in the constraints of a linear programming problem
openaire +2 more sources
Schema integration with integrity constraints
1997In this paper we discuss the use and treatment of integrity constraints in the federated database design process. We consider different situations occurring frequently in the schema transformation and schema integration process. Based on that, general rules are given which describe the correct treatment of integrity constraints.
Stefan Conrad +4 more
openaire +1 more source
On Simplification of Database Integrity Constraints
Fundamenta Informaticae, 2006Without proper simplification techniques, database integrity checking can be prohibitively time consuming. Several methods have been developed for producing simplified incremental checks for each update but none until now of sufficient quality and generality for providing a true practical impact, and the present paper is an attempt to fill this gap ...
H. CHRISTIANSEN, D. MARTINENGHI
openaire +3 more sources
On Integral Quadratic Constraints
IEEE Transactions on Automatic Control, 2022This paper is concerned with robust stability analysis of feedback interconnections of nonlinear systems using integral quadratic constraints (IQCs). Its main purpose involves reconciling hard (a.k.a. unconditional) IQC and soft (a.k.a. conditional) IQC based analysis.
openaire +1 more source
Integration of semantic constraints
Journal of Verbal Learning and Verbal Behavior, 1974A semantic constraint is a relationship between two parts of a proposition such that the meaning of one part conditions what the other part is likely to be. This experiment studied propositions in which agent-verb and verb-recipient constraints were varied factorially, each through several levels, by manipulating the compatibility of adjectival ...
Gregg C. Oden, Norman H. Anderson
openaire +1 more source
Proceedings of the AAAI Conference on Artificial Intelligence, 2010
In many data-centric semantic web applications, it is desirable to use OWL to encode the Integrity Constraints (IC) that must be satisfied by instance data. However, challenges arise due to the Open World Assumption (OWA) and the lack of a Unique Name Assumption (UNA) in OWL’s standard semantics.
Jiao Tao +3 more
openaire +1 more source
In many data-centric semantic web applications, it is desirable to use OWL to encode the Integrity Constraints (IC) that must be satisfied by instance data. However, challenges arise due to the Open World Assumption (OWA) and the lack of a Unique Name Assumption (UNA) in OWL’s standard semantics.
Jiao Tao +3 more
openaire +1 more source
Integrating Algorithms for Integrable Affine Constraints
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2011This letter presents integrating algorithms for affine constraints defined on a manifold. We first explain definition and geometric representation of affine constraints. Next, we derive integrating algorithms to calculate independent first integrals of affine constraints for the two cases where the they are completely integrable and partially ...
openaire +1 more source