An integrated approach to logical design of relational database schemes

ABSTRACT

1. We propose a new approach to the design of relational database schemes. The main features of the approach are the following:
2. A combination of the traditional decomposition and synthesis approaches, thus allowing the use of both functional and multivalued dependencies.
3. Separation of structural dependencies relevant for the design process from integrity constraints, that is, constraints that do not bear any structural information about the data and which should therefore be discarded at the design stage. This separation is supported by a simple syntactic test filtering out nonstructural dependencies.
4. Automatic correction of schemes which lack certain desirable properties.

REFERENCES

• 1: A. V. Aho , C. Beeri , J. D. Ullman, The theory of joins in relational databases, ACM Transactions on Database Systems (TODS), v.4 n.3, p.297-314, Sept. 1979 [doi>10.1145/320083.320091]
• 2: Catriel Beeri, On the menbership problem for functional and multivalued dependencies in relational databases, ACM Transactions on Database Systems (TODS), v.5 n.3, p.241-259, Sept. 1980 [doi>10.1145/320613.320614]
• 3: Catriel Beeri , Philip A. Bernstein, Computational problems related to the design of normal form relational schemas, ACM Transactions on Database Systems (TODS), v.4 n.1, p.30-59, March 1979 [doi>10.1145/320064.320066]
• 4: BEER{, C., BEBNSTEIN, P. A., AND GOODMAN, N. A sophisticate's introduction to database normalization theory. In Proceedings of the International Conference on Very Large Data Bases (West Berlin, 1978), 113-124.
• 5: Catriel Beeri , Ronald Fagin , John H. Howard, A complete axiomatization for functional and multivalued dependencies in database relations, Proceedings of the 1977 ACM SIGMOD international conference on Management of data, August 03-05, 1977, Toronto, Ontario, Canada [doi>10.1145/509404.509414]
• 6: Catriel Beeri , Ronald Fagin , David Maier , Mihalis Yannakakis, On the Desirability of Acyclic Database Schemes, Journal of the ACM (JACM), v.30 n.3, p.479-513, July 1983 [doi>10.1145/2402.322389]
• 7: Catriel Beeri , Michael Kifer, Elimination of intersection anomalies from database schemes, Journal of the ACM (JACM), v.33 n.3, p.423-450, July 1986 [doi>10.1145/5925.5927]
• 8: Catriel Beeri , Michael Kifer, A theory of intersection anomalies in relational database schemes, Journal of the ACM (JACM), v.34 n.3, p.544-577, July 1987 [doi>10.1145/28869.28872]
• 9: Catriel Beeri , Michael Kifer, Comprehensive Approach to the Design of Relational Database Schemes, Proceedings of the 10th International Conference on Very Large Data Bases, p.196-207, August 27-31, 1984
• 10: BEERI, C., MENDELSON, A. O., SAGIV, Y., AND ULLMAN, J.D. Equivalence of relational database schemes. SIAM J. Comput. 10, 2 (May 1981), 352-370.
• 11: Philip A. Bernstein, Synthesizing third normal form relations from functional dependencies, ACM Transactions on Database Systems (TODS), v.1 n.4, p.277-298, Dec. 1976 [doi>10.1145/320493.320489]
• 12: Joachim Biskup , Umeshwar Dayal , Philip A. Bernstein, Synthesizing independent database schemas, Proceedings of the 1979 ACM SIGMOD international conference on Management of data, May 30-June 01, 1979, Boston, Massachusetts [doi>10.1145/582095.582118]
• 13: BISKUP, J., AND MEYER, R. Design of relational database schemes by deleting attributes in the canonical decomposition. Unpublished manuscript, Dortmund Univ.
• 14: E. F. Codd, A relational model of data for large shared data banks, Communications of the ACM, v.13 n.6, p.377-387, June 1970 [doi>10.1145/362384.362685]
• 15: Ronald Fagin, Multivalued dependencies and a new normal form for relational databases, ACM Transactions on Database Systems (TODS), v.2 n.3, p.262-278, Sept. 1977 [doi>10.1145/320557.320571]
• 16: Ronald Fagin , Alberto O. Mendelzon , Jeffrey D. Ullman, A simplied universal relation assumption and its properties, ACM Transactions on Database Systems (TODS), v.7 n.3, p.343-360, Sept. 1982 [doi>10.1145/319732.319735]
• 17: KIFER, M. Nonconventional design theory for relational database schemes. TR 85-07, Dept. of Computer Science, SUNY at Stony Brook, Feb. 1985.
• 18: KIFER M., AND SAOIV, Y. Computing windows on real-world databases. In preparation.
• 19: Y. Edmund Lien, On the Equivalence of Database Models, Journal of the ACM (JACM), v.29 n.2, p.333-362, April 1982 [doi>10.1145/322307.322311]
• 20: MACLANE, S. Categories for Working Mathematicians. Springer Verlag, New York, 1971.
• 21: David Maier, Theory of Relational Databases, Computer Science Pr, 1983
• 22: Yehoshua Sagiv, A characterization of globally consistent databases and their correct access paths, ACM Transactions on Database Systems (TODS), v.8 n.2, p.266-286, June 1983 [doi>10.1145/319983.319988]
• 23: SC}ORE, E. Real-world MVDs. Tech. Rep. 80/014, Dept. of Computer Science, SUNY at Stony Brook, Nov. 1980.
• 24: Edward Sciore, Improving database schemes by adding attributes, Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, March 21-23, 1983, Atlanta, Georgia [doi>10.1145/588058.588103]
• 25: Edward Sciore, The universal instance and database design, 1980
• 26: Jeffrey D. Ullman, Principles of Database Systems, W. H. Freeman & Co., New York, NY, 1983
• 27: Carlo Zaniolo , Miachel A. Meklanoff, On the design of relational database schemata, ACM Transactions on Database Systems (TODS), v.6 n.1, p.1-47, March 1981 [doi>10.1145/319540.319542]

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Schema and subschema

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Normal forms

General Terms:
Design, Theory