Embedded implicational dependencies and their inference problem

Proceedings of the Annual ACM Symposium on Theory of Computing

Volumn , Issue , 1981, Pages 342-354

  Chandra, Ashok K ^a   Lewis, Harry R ^b   Makowsky, Johann A ^c  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b HARVARD UNIVERSITY   (United States)

^c TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

DATA BASIS; EXPONENTIAL TIME; INFERENCE PROBLEM;

COMPUTATION THEORY;

EID: 84976755235     PISSN: 07378017     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800076.802488     Document Type: Conference Paper

References (35)

1. Aho, A. V., C. Beeri, and J. D. Ullman, The theory of joins in relational data bases, 19th FOCS (Oct. 1977), pp. 107-113.
2. Beeri, C, On the membership problem for multivalued dependencies in relational databases, Tech. Rep. 229, Dept. EE and CS, Princeton Univ. (1977).
3. Beeri, C, On the role of data dependencies in the construction of relational databases, Tech. Rep. 43, Dept. CS, The Hebrew Univ., Jerusalem (1979).
4. Bernstein, P. A., 2Synthesizing third normal form relations from functional dependencies, ACM Trans. Database Syst. 1, 4(Dec. 1976), pp. 277-298.
5. Beeri, C, R. Fagin, and J. H. Howard, A complete axiomatization for functional and multivalued dependencies, ACM SIGMOD Intl. Symp. on Management of Data (1977), pp. 47-61.
6. Beeri, C, A. O. Mendelzon, Y. Sagiv, and J. D. Ullman, Equivalence of relational database schemes, 11th ACM Symp. on Th. of Comp., Atlanta, Ga. (Apr-May 1979), pp. 319-329.
7. See also Tech. Rep. 252, Dept. EE and CS, Princeton Univ (1978).
8. Beeri, C. and M. Y. Vardi, On the properties of total join dependencies, Proc. XP1 Workshop on Relational Database Theory, Stony Brook, NY (June 1980).
9. Also, Tech. Rep., Dept. of Comp. Sci., Hebrew Univ., Jerusalem (May 1980).
10. Chandra, A. K., D. C. Kozen, and L. J. Stockmeyer, Alternation, J, (to appear).
11. Also, Tech. Rep. RC-7489, IBM Yorktown Heights (Jan 1978).
12. Chandra, A. K., H. R. Lewis, and J. A. Makowsky, Embedded implicational dependencies and their inference problem (extended abstract), Proc. XP1 Workshop on Relational Database Theory, Stony Brook, NY (June 1980).
13. Delobel, C, Normalization and hierarchical dependencies in the relational data model, ACM Trans. on Database Systems 3, 3 (1978).
14. See also, Contributions theoretiques a la conception d'un systeme d'informations, Thesis, Univ. of Grenoble (Oct. 1973).
15. Fagin, R., Multivalued dependencies and a new normal form for relational databases, ACM Trans. on Database Systems 2, 3(1977), pp. 262-278.
16. Fagin, R., Normal forms and relational database operators, ACM SIGMOD Conf., Boston, Mass. (1979), pp. 153-160.
17. R. Fagin, Horn clauses and database dependencies, ACM Symp. on Theory of Comp., Los Angeles, CA (April 1980), pp. 123-134.
18. Galil, Z., An almost linear time algorithm for computing a dependency basis in a relational data base, IBM San Jose Tech. Rep. RJ2656 (Oct. 1979).
19. Galvin, F., Horn sentences, Ann. Math. Log. 1 (1970) pp. 389-422.
20. Grant, J., and B. E. Jacobs, On generalized dependencies, to appear.
21. Hagihara, K., M. Ito, K. Taniguchi, and T. Kasami, Decision problems for multivalued dependencies in relational databases, SIAM J. Comp. 8, 2(May 1979), pp. 247-264.
22. Lewis, H. R., Complexity results for classes of quantificational formulas, JCSS (to appear).
23. Maier, D., A. O. Mendelzon, and Y. Sagiv, Testing implications of data dependencies, ACM Trans. on Database Sys. 4, 4(Dec. 1979), pp. 455-469.
24. Maier, D., A. O. Mendelzon, F. Sadri, J. D. Ullman, Adequacy of decompositions of relational databases, Unpublished.
25. Nicolas, J. M., First order logic formalization for functional, multivalued, and mutual dependencies, ACM-SIGMOD conf. (1978), pp. 40-46.
26. Paredaens, J., Transitive dependencies in a database scheme, R387 MBLE, Brussels (1979).
27. Parker, D. S., and K. Parsaye-Ghomi, Inference involving EMVDs and transitive dependencies, Tech. Rep., UCLA.
28. Rissanen, J., Independent components of relations, ACM Trans. Database Syst. 2, 4(Dec. 1977), pp. 317-325.
29. Rissanen, J., Theory of relations for databases - a tutorial survey, Proc. 7th Symp. on Math. Found. of Comp. Sc, Lect. Notes in CS 64, Springer-Verlag (1978), pp. 536-551.
30. Sadri, P. and J. D. Ullman, A complete axiomatization for a large class of dependencies in relational databases, to appear, 12th SIGACT (Apr. 1980).
31. Sagiv, Y., and S. Walecka, Subset dependencies as an alternative to embedded multivalued dependencies, Tech. Rep. U1UCDCS-R-79-980, Dept. of Comp. Sci., Univ. of Illinois (1979).
32. Tanaka, K., Y. Kamabayashi, and S. Yajima, Properties of embedded multivalued dependencies in relational databases, Tech. Rep. ER78-03, Dept. of Inf. Sc, Kyoto Univ. (Dec. 1978).
33. Tanaka, K., Y. Kambayashi, and S. Yajima, On the representability of decompositional scheme design with multivalued dependencies, Tech. Rep. ER79-01, Dept. of Inf. Sc, Kyoto Univ. (Jan 1979).
34. Ullman, J. D., Principles of Database Systems, Computer Science Press (1980).
35. Yannakakis, M., and C. Papadimitriou, Algebraic dependencies, 21st FOCS, Syracuse, NY (Oct. 1980), pp. 328-332.