3974 search results - page 16 / 795 » Metric Functional Dependencies |
161
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...
128
Voted
CONSTRAINTS
2010
15 years 3 months ago
2010
Abstract. We had claimed that arc-consistency is preserved in a constraint reformulation relying on functional dependencies (Theorem 2 of [2]). We show that the statement of this t...
132
Voted
HASKELL
2008
ACM
15 years 4 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
125
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
129
Voted
PVLDB
2008
15 years 3 months ago
2008
The dependency propagation problem is to determine, given a view defined on data sources and a set of dependencies on the sources, whether another dependency is guaranteed to hold...