Results 251 to 260 of about 1,573,513 (300)
Some of the next articles are maybe not open access.
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 +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 ...
Sergio Flesca +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 ...
Sergio Flesca +2 more
openaire +2 more sources
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 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
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 0001 +4 more
openaire +2 more sources
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. On
H. CHRISTIANSEN, D. MARTINENGHI
openaire +5 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
Integrating rules and constraints
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94, 2002Constraint satisfaction problem (CSP) is a deductive problem of a special kind, while rule-based systems are the practical programs that have implemented many of the ideas and techniques of deductive systems. Incorporating CSP into a rule-based system allows the rule-based system to exploit the power of CSP techniques in handling this special class of ...
openaire +1 more source
On mining XML integrity constraints
2011 Sixth International Conference on Digital Information Management, 2011Since XML documents can appear in any semi-structured form, structural and integrity constraints are often imposed on the data that are to be modified or processed. These constraints are formally defined in a schema. But, despite the obvious advantages, the presence of a schema is not mandatory and many XML documents are not joined with any ...
Stanislav Fajt +2 more
openaire +2 more sources
On the maintenance of implication integrity constraints
1993Semantic integrity constraints are utilized for enforcing the integrity of the database as well as for improving the efficiency of the database utilization, as in semantic query optimization. In this paper we address the problems related with maintaining a sound and nonredundant set of constraints satisfied by the database in the case of updates to the
Naci Ishakbeyoglu, Z. Meral Özsoyoglu
openaire +2 more sources