Results 31 to 40 of about 1,573,513 (300)
Existential active integrity constraints [PDF]
Expert Systems with Applications, 2021 Abstract Active integrity constraints (AICs) are a useful formalism to express integrity constraints and policies to restore consistency in databases violating them. However, AICs do not allow users to express different kinds of constraints commonly arising in practice, such as foreign keys.
Calautti M. +5 more
openaire +5 more sources
Dependence on Initial Conditions of Attainable Sets of Control Systems with p-Integrable Controls
Nonlinear Analysis, 2007 Quasi-linear systems governed by p-integrable controls, for 1 < p < ∞ with constraint ku(·)kp ≤ µ0 are considered. Dependence on initial conditions of attainable sets are studied.
E. Akyar
doaj +1 more source
Keeping it together: A phase-field version of path-connectedness and its implementation
Journal of Algorithms & Computational Technology, 2021 We describe the implementation of a topological constraint in finite-element simulations of phase-field models, which ensures path-connectedness of preimages of intervals in the phase-field variable.
Patrick Dondl, Stephan Wojtowytsch
doaj +1 more source
Integration of declarative and constraint programming [PDF]
Theory and Practice of Logic Programming, 2007 AbstractCombining a set of existing constraint solvers into an integrated system of cooperating solvers is a useful and economic principle to solve hybrid constraint problems. In this paper we show that this approach can also be used to integrate different language paradigms into a unified framework.
Petra Hofstedt, Peter Pepper
openaire +3 more sources
Nonlinear Analysis, 2014 In this paper, the set of trajectories of the control system described by a nonlinear Volterra integral equation is studied. It is assumed that the set of admissible control functions is the closed ball of the space Lp, p > 1, with radius µ and centered ...
Anar Huseyin
doaj +1 more source
Integration of Integrity Constraints in Database Federations [PDF]
, 2004 A database federation provides for tight coupling of a collection of heterogeneous legacy databases into a global integrated system. A major problem in constructing database federations concerns maintaining quality and consistency of data on the global level of the federation.
Herman Balsters, Bert O. de Brock
openaire +1 more source
Constraint Diagrams: A Step Beyond UML [PDF]
, 1999 The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic.
Howse, John, Gil, Joseph, Kent, Stuart
core +1 more source
IEEE Access, 2023 An improved time-variant asymmetric integral barrier function with adjustable parameters is constructed for the first time in this study. The presented barrier function, which is constructed by designing an integral upper limit function, can be used in ...
Tan Zhang +3 more
doaj +1 more source
Dominion : an architecture-driven approach to generating efficient constraint solvers [PDF]
, 2011 This work is supported by the EPSRC grant “A Constraint Solver Synthesiser” (EP/H004092/1) and SICSA studentships.Constraints are used to solve combinatorial problems in a variety of industrial and academic disciplines.
Balasubramaniam, Dharini +15 more
core +1 more source
Effective compilation of constraint models [PDF]
, 2010 Constraint Programming is a powerful technique for solving large-scale combinatorial (optimisation) problems. However, it is often inaccessible to users without expert knowledge in the area, precluding the wide-spread use of Constraint Programming ...
Rendl, Andrea
core +2 more sources