A systematic approach to relational database theory

ABSTRACT

In an attempt to eliminate motivational inconsistencies, we propose a new approach to relational database theory. Basically, a database schema is treated as a relational view defined over certain atomic, selfexplainable relations, constituting what we call a conceptual schema. In this new framework, we revisit some basic notions of the relational database theory, such as dependencies and schema equivalence. We point out a fundamental difference between functional dependencies, which we treat as constraints over the conceptual schema, and multivalued and join dependencies, which we treat as constraints over the database schema, and which are simply consequences of the way database relations are constructed from conceptual relations. The separation of the database schema from the conceptual schema makes it possible to give a clear definition of a semantics of a database state. It also provides a natural framework to consider equivalence of database schemata.

References

1. {ABU} Aho, A.V., Beeri, C., Ullman, J. D., The theory of joins in relational databases. ACM Trans. Database Syst. 4 (1979), 297--314.
2. {BS} Bancilhon, F., Spyratos, N., Independent components of databases. Proc. 7th Internat. Conf. on Very Large Data Bases, Cannes, France, September 1981, pp. 398--408.
3. {Ber} Bernstein, P. A., Synthesizing third normal form relations from functional dependencies. ACM Trans. Database Syst. 1 (1976), 277--298.
4. {BG} Bernstein, P. A., Goodman, N., What does Boyce-Codd normal form do? Proc. 6th Internat. Conf. on Very Large Data Bases, Montreal, Canada, October 1980, pp. 245--259.
5. {Cod1} Codd, E. F., A relational model for large shared data banks. Comm. ACM 13 (1970), 377--387.
6. {Cod2} Codd, E. F., Further normalization in the data base relational model. In: Data Base Systems (R. Rustin, ed.), Courant Computer Science Symposia 6, New York, May 1971, Prentice Hall, pp. 33--64.
7. {Cod3} Codd, E. F., Relational completeness of data base sublanguages. In: Data Base Systems (R. Rustin, ed.), Courant Computer Science Symposia 6, New York, May 1971, Prentice Hall, pp. 65--98.
8. {Fag} Fagin, R., Multivalued dependencies and a new normal form for relational databases. ACM Trans. Database Syst. 2 (1977), 262--278,
9. {FMU} Fagin, R., Mendelzon, A. O., Ullman, J. D., A simplified universal relation assumption and its properties. Techn. Rep. RJ2900, IBM Research Lab., San Jose, CA, November 1980.
10. {IL1} Imielinski, T., Lipski, W., On representing incomplete information in a relational database. Proc. 7th Internat. Conf. on Very Large Data Bases, Cannes, France, September 1981, pp. 388--397.
11. {IL2} Imielinski, T., Lipski, W., A technique for translating states between database schemata. These proceedings.
12. {Klu} Klug, A., Calculating constraints on relational expressions. ACM Trans. Database Syst. 5 (1980), 260--290.
13. {Lip} Lipski, W., On semantic issues connected with incomplete information databases. ACM Trans. Database Syst. 4 (1979), 262--296.
14. {Nic} Nicolas, J. M., First order formalization for functional, multivalued and mutual dependencies. Proc. ACM-SIGMOD Internat. Conf. on Management of Data, Austin, TX, 1978, pp. 40--46.
15. {Nij} Nijsen, G. M., On the gross architecture for the next generation data base management systems. Proc. IFIP Congress 1977, Toronto, pp. 327--335.
16. {Ris} Rissanen, J., Theory of relations for databases --- a tutorial survey. Proc. 7th Internat. Symp. of Mathematical Foundations of computer Science, Zakopane, Poland, September 1987, Lecture Notes in Computer Sci, 64, Springer-Verlag, pp. 537--551.
17. {Rei} Reiter, R., On closed world databases. In: Logic and Data Bases (H. Gallaire and J. Minker, eds.), Plenum Press, New York 1978, pp. 55--76.
18. {Ull} Ullman, J. D., Principles of Database Systems. Computer Science Press, Potomac, MD 1980.
19. {Zan} Zaniolo, C., Analysis and design of relational schemata for database systems. Techn. Rep. UCLA-ENG-7769, Computer Science Department, UCLA, July 1976.

• Information systems

  • Data management systems

    • Database design and models