Results 1 to 10 of about 118,069 (266)
Simplified Integrity Checking for an Expressive Class of Denial Constraints
AlgorithmsData integrity is crucial for ensuring data correctness and quality and is maintained through integrity constraints that must be continuously checked, especially in data-intensive systems like OLTP.
Davide Martinenghi
doaj +3 more sources
Integrity Constraints Revisited: From Exact to Approximate Implication [PDF]
Logical Methods in Computer Science, 2022 Integrity constraints such as functional dependencies (FD) and multi-valued dependencies (MVD) are fundamental in database schema design. Likewise, probabilistic conditional independences (CI) are crucial for reasoning about multivariate probability ...
Batya Kenig, Dan Suciu
doaj +1 more source
Mukri Pronominal Enclitics distribution in VP: An Optimality Theoretic [PDF]
زبان پژوهی, 2022 Since clitics interconnect different modules of the grammar and are hosted by various hosts from different categories, they have attracted the attention of many linguists. Besides, their interaction with their hosts and positioning in the second position
Ghader Allahweisiazar +3 more
doaj +1 more source
Data integration under integrity constraints [PDF]
Information Systems, 2002 Data integration systems provide access to a set of heterogeneous, autonomous data sources through a so-called global schema. There are basically two approaches for designing a data integration system. In the global-as-view approach, one defines the elements of the global schema as views over the sources, whereas in the local-as-view approach, one ...
Andrea Cali +3 more
openaire +7 more sources
Research on the Influence of Corporate Credit Culture on Corporate Financing Constraints--Panel data analysis based on A-share listed companies [PDF]
E3S Web of Conferences, 2021 This paper takes China’s A-share listed companies from 2009 to 2019 as a sample, uses the mixed ols model and the two-way fixed effects model to conduct empirical analysis, and finds that when the corporate integrity culture is strong, the financing ...
Liu Zhiqiang, Zhou Lu
doaj +1 more source
Controllability and optimal speed-in-action of linear systems with boundary conditions
Қарағанды университетінің хабаршысы. Математика сериясы, 2023 The paper proposes a method for solving the problem of optimal performance for linear systems of ordinary differential equations in the presence of phase and integral restrictions, when the initial and final states of the system are elements of given ...
S. Aisagaliev, G.T. Korpebay
doaj +1 more source
Sparse recovery with integrality constraints [PDF]
Discrete Applied Mathematics, 2020 We investigate conditions for the unique recoverability of sparse integer-valued signals from a small number of linear measurements. Both the objective of minimizing the number of nonzero components, the so-called $\ell_0$-norm, as well as its popular substitute, the $\ell_1$-norm, are covered.
Jan-Hendrik Lange +3 more
openaire +4 more sources
Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '00, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wenfei Fan, Jérôme Siméon
openaire +1 more source
Integrating Cardinality Constraints into Constraint Logic Programming with Sets [PDF]
Theory and Practice of Logic Programming, 2021 AbstractFormal reasoning about finite sets and cardinality is important for many applications, including software verification, where very often one needs to reason about the size of a given data structure. The Constraint Logic Programming tool $$\{ log\} $$ provides a decision procedure for deciding the satisfiability of formulas involving very ...
Maximiliano Cristiá, Gianfranco Rossi
openaire +3 more sources
Integrity Constraints Revisited
Logic Journal of IGPL, 1996 When computerised databases began to be used in business applications, there naturally arose a concern with how the integrity the stored data could be checked. This task was irnplemented by large sets of programs, depending on each par ticular application.
Demolombe, Robert, Jones, Andrew
openaire +3 more sources