Horizontal decompositions based on functional-dependency-set-implications
Proceedings on International conference on database theory
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
Horizontal data partitioning in database design
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Conditional Dependencies for Horizontal Decompositions
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Horizontal decompositions in the relational database model
Horizontal decompositions in the relational database model
Horizontal decomposition to improve a non-BCNF scheme
ACM SIGMOD Record
Incremental Satisfiability and Implication for UTVPI Constraints
INFORMS Journal on Computing
Principles of Distributed Database Systems
Principles of Distributed Database Systems
An efficient decision procedure for UTVPI constraints
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
| Hi-index | 0.00 |
Horizontal decomposition is the process of splitting a relation into sub-relations, called fragments, each containing a subset of the rows of the original relation. In this paper, we consider horizontal decomposition in a setting where some of the attributes in the database schema are interpreted over a specific domain, on which a set of special predicates and functions is defined. We study the losslessness of horizontal decomposition, that is, whether the original relation can be reconstructed from the fragments by union, in the presence of integrity constraints on the database schema. We introduce the new class of conditional domain constraints (CDCs), restricting the values the interpreted attributes may take whenever a certain condition holds on the non-interpreted ones, and investigate lossless horizontal decomposition under CDCs in isolation, as well as in combination with functional and unary inclusion dependencies.