Key-equivalence of functional dependency statements systems

  • Jaroslav Pokorný
Part of the Lecture Notes in Computer Science book series (LNCS, volume 118)


Dependency Statement Transitive Closure Relation Scheme Node Basis Derivation Tree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Codd, E.F., A relational model for large shared data banks, CACM, 13, 6, 1970.Google Scholar
  2. 2.
    Delobel, C., Casey, R.G., Decomposition of a data base and the theory of Boolean switching functions. IBM J.Res.Devel., 17,5, 1973.Google Scholar
  3. 3.
    Fadous, R., Forsyth, J., Finding candidate keys for relational data bases. In: Proc.ACM-SIGMOND Int.Conf.on Manag.of Data, 1975.Google Scholar
  4. 4.
    Lucchesi, L., Osborn,S.L., Candidate Keys for Relations. Journ. of Comp. and System Sciences, 17, 1978.Google Scholar
  5. 5.
    Bernstein,P.A., Normalization and Functional dependencies in the Relational Data Base Model. Ph.D.Dissertation, Univ. of Toronto, 1975.Google Scholar
  6. 6.
    Békéssy, A., Demitrovics, J., Contribution to the theory of data base relations. Discrete Mathematics 27, 1–10, 1979.Google Scholar
  7. 7.
    Pokorný, J., Graph-oriented conditions for finding the set of all keys in a relation. ACTA POLYTECHNICA, 24,IV,4,1979.Google Scholar
  8. 8.
    Harary, F., Graph theory, Addison-Wesley, Reading, Mass., 1969.Google Scholar
  9. 9.
    Tarjan, R., Depth first search and linear graph algorithms. SIAM J.Comput., 1,2, 1972.Google Scholar
  10. 10.
    Aho, A.V., Hopcroft, J.E., Ullman, J.D., The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, Mass., 1974.Google Scholar
  11. 11.
    Beeri, C., Bernstein, P.A., Computational Schemas. ACM T.O.D.S., 4,1,1979.Google Scholar
  12. 12.
    Armstrong,W.W., Dependency structures of data base references. In: IFIP Conf.Proc., 1973, North.Holl.Publ., 1974.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Jaroslav Pokorný
    • 1
  1. 1.Institute for Computation Techniques of the ČVUTPragueCzechoslovakia

Personalised recommendations