Computational problems related to the design of normal form relational schemas
- 1 March 1979
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 4 (1) , 30-59
- https://doi.org/10.1145/320064.320066
Abstract
Problems related to functional dependencies and the algorithmic design of relational schemas are examined. Specifically, the following results are presented: (1) a tree model of derivations of functional dependencies from other functional dependencies; (2) a linear-time algorithm to test if a functional dependency is in the closure of a set of functional dependencies; (3) a quadratic-time implementation of Bernstein's third normal form schema synthesis algorithm. Furthermore, it is shown that most interesting algorithmic questions about Boyce-Codd normal form and keys are NP -complete and are therefore probably not amenable to fast algorithmic solutions.Keywords
This publication has 12 references indexed in Scilit:
- Independent components of relationsACM Transactions on Database Systems, 1977
- Functional Dependencies in a Relational Database and Propositional LogicIBM Journal of Research and Development, 1977
- Multivalued dependencies and a new normal form for relational databasesACM Transactions on Database Systems, 1977
- Comment on “Decomposition of a Data Base and the Theory of Boolean Switching Functions” [Letter to the Editor]IBM Journal of Research and Development, 1977
- Synthesizing third normal form relations from functional dependenciesACM Transactions on Database Systems, 1976
- Comment on “Segment Synthesis in Logical Data Base Design” [Letter to the Editor]IBM Journal of Research and Development, 1976
- A unified approach to functional dependencies and relationsPublished by Association for Computing Machinery (ACM) ,1975
- Segment Synthesis in Logical Data Base DesignIBM Journal of Research and Development, 1975
- Reducibility among Combinatorial ProblemsPublished by Springer Nature ,1972
- A relational model of data for large shared data banksCommunications of the ACM, 1970