# Properties of functional-dependency families

@article{Ginsburg1982PropertiesOF, title={Properties of functional-dependency families}, author={Seymour Ginsburg and Sami Mohammed Zaiddan}, journal={J. ACM}, year={1982}, volume={29}, pages={678-698} }

A functional-dependency (FD-) family Is defined here as the family of all instances satisfying a set of functional dependencies These families are studied with respect to projection, join, and decomposition and their connection with generating families and generators Typical results obtained are (0 a charactenzauon for when the projection of an FD-family is an FD-family; 00 a charactenzauon for when the join of two FD-famihes is an FD-famdy, (m) a necessary and sufficient condition for an F D…

## Topics from this paper

## 40 Citations

Characterizations for Functional Dependency and Boyce-CODD Normal Form Families

- Computer Science, MathematicsTheor. Comput. Sci.
- 1983

A functional dependency (fd) family was recently defined [20] as the set of all instances satisfying some set of functional dependencies. A Boyce-Codd normal form, abbreviated BCNF, family is defined…

Non-Finite Specifiability of Projections of Functional Dependency Families

- Computer Science, MathematicsTheor. Comput. Sci.
- 1985

It is shown here that if the projection of an FD family is not anFD family, then it is not a finitely specifiable ID family.

On the Structure of Armstrong Relations for Functional Dependencies

- Mathematics, Computer ScienceJACM
- 1984

It is shown that the time complexity of finding an Armstrong relation, a relation that satisfies each FD implied by the set but no FD that is not implied by it, is precisely exponential in the number of attributes.

Propagating functional dependencies with conditions

- Computer ScienceProc. VLDB Endow.
- 2008

This paper investigates dependency propagation for recently proposed conditional functional dependencies (CFDs) and provides the first algorithm for computing a minimal cover of all CFDs propagated via SPC views, and extends the classical work of FD propagation by giving new complexity bounds in the presence of finite domains.

Sort sets in the relational model

- Mathematics, Computer SciencePODS '83
- 1983

A characterization of when order dependency implies the existence of sort sets in a database is presented, along with several corollaries concerning conplexlty, Armstrong relations and cliques of certain graphs.

Tools for Template Dependencies

- Mathematics, Computer ScienceSIAM J. Comput.
- 1983

Template dependencies (TD’s) are a class of data dependencies that include multivalued and join dependencies and embedded versions of these and there are weakest (nontrivial) and strongest full TDs over any given set of attributes.

On the expressive power of data dependencies

- Mathematics, Computer ScienceActa Informatica
- 2004

The technique is model-theoretic, and the characterization easily entails all previously known results on axiomatizability by dependencies.

Armstrong Databases for Functional and Inclusion Dependencies

- Computer ScienceInf. Process. Lett.
- 1983

It is shown that if the sentences of interest are inclusion dependencies and standard functional dependencies (functional dependencies for which the left-hand side is nonempty), then there is always an Armstrong database for each set of sentences.

Horn clauses and database dependencies

- Computer ScienceJACM
- 1982

A new concept is mtroduced, called "faithfulness (with respect to direct product)," which enables powerful results to be proved about the existence of "Armstrong relations" in the presence of these new dependencies.

Extending dependencies for improving data quality

- Computer Science
- 2011

This doctoral thesis proposes five classes of data dependencies to capture data inconsistencies commonly found in practice in a centralized environment, and provides the first algorithm for computing a minimal cover of all CFDs propagated via SPCViews, despite the increased expressive power of CFDs and SPC views.

## References

SHOWING 1-10 OF 64 REFERENCES

On the Structure of Armstrong Relations for Functional Dependencies

- Mathematics, Computer ScienceJACM
- 1984

It is shown that the time complexity of finding an Armstrong relation, a relation that satisfies each FD implied by the set but no FD that is not implied by it, is precisely exponential in the number of attributes.

A complete axiomatization for functional and multivalued dependencies in database relations

- Computer Science, PhysicsSIGMOD '77
- 1977

The main result of the paper is that the rules presented are complete for the family of functional and multivalued dependencies.

Multivalued dependencies and a new normal form for relational databases

- Computer ScienceTODS
- 1977

It is shown that every relation schema can be decomposed into a family of relation schemata in fourth normal form without loss of information (that is, the original relation can be obtained from the new relations by taking joins).

Mutual Dependencies and Some Results on Undecomposable Relations

- Computer ScienceVLDB
- 1978

Mutual dependency appears as a generalization of functional and multivalued ones and provides a necessary and sufficient condition for a relation to be nonloss decomposable into three of its projections.

Variations on the Common Subexpression Problem

- Computer Science, MathematicsJ. ACM
- 1980

Efficient algorithms are described for computing congruence closures in the general case and in the following two special cases to test expression eqmvalence and to test losslessness of joins in relational databases.

Functional Dependencies in a Relational Data Base and Propositional Logic

- Mathematics, Computer ScienceIBM J. Res. Dev.
- 1977

An equivalence is shown between functional dependency statements of a relational database and implicational statements of propositional logic, where it is shown that a dependency statement is a consequence of a set of dependency statements if the correspondingimplicational statement isA consequence of the corresponding set of implICational statements.

A relational model of data for large shared data banks

- Medicine, Computer ScienceCACM
- 1970

A model based on n-ary relations, a normal form for data base relations, and the concept of a universal data sublanguage are introduced and certain operations on relations are discussed and applied to the problems of redundancy and consistency in the user's model.

Testing implications of data dependencies

- Computer ScienceACM Trans. Database Syst.
- 1979

The chase operates on tableaux similar to those of Aho, Sagiv, and Ullman so it is possible to test implication of join dependencies and functional dependencies by a set of dependencies.

Independent components of relations

- Computer ScienceTODS
- 1977

The main result states that the operator which reconstructs the original relation from its independent components is the natural join, and that independent components split the full family of functional dependencies into corresponding component families to give an easy-to-check criterion for independence.

Can we use the universal instance assumption without using nulls?

- Computer ScienceSIGMOD '81
- 1981

We claim that the representative instance of [Ho1, Va3] is a correct representation of the data stored in a database even when the relations of the database are not the projections of a single…