Skip to main content
SpringerLink
Log in

Independent database schemes under functional and inclusion dependencies

  • Published:
Acta Informatica Aims and scope Submit manuscript

Abstract

In a context considering in a unique framework all the relations in a database, by means of the notion of global consistency, independent database schemes allow enforcement of constraints to be performed locally, thus providing independent updatability of the various relations. Independent schemes have hitherto been studied in the presence of functional and join dependencies. In this paper the definition is extended and some characterizations are given for schemes whose sets of constraints contain functional and inclusion dependencies.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Armstrong, W.W.: Dependency structure of database relationships. IFIP Congr. Ser.74, 580–583 (1974)

    Google Scholar 

  2. Atzeni, P., Chan, E.P.F.: Efficient optimization of simple chase join expressions. ACM Trans. Database Syst.14(2), 212–230 (1989)

    Google Scholar 

  3. Atzeni, P., Chan, E.P.F.: Efficient and optimal query answering on independent schemes. Theor. Comput. Sci.77(3), 291–308 (1990)

    Google Scholar 

  4. Atzeni, P., De Bernardis, M.C.: A new interpretation for null values in the weak instance model. J. Comput. Syst. Sci.41(1), 25–43 (1990)

    Google Scholar 

  5. Beeri, C., Bernstein, P.A.: Computational problems related to the design of normal form relational schemas. ACM Trans. Database Syst.4(1), 30–59 (1979)

    Google Scholar 

  6. Beeri, C., Korth, H.F.: Compatible attributes in universal relation. ACM SIGACT SIGMOD Symp. on Principles of Database Systems, pp. 55–62, 1982

  7. Casanova, M.A., Fagin, R., Papadimitriou, C.H.: Inclusion dependencies and their interaction with functional dependencies. J. Comput. Syst. Sci28(1), 29–59 (1984)

    Google Scholar 

  8. Casanova, M.A., Vidal, V.M.P.: Towards a sound integration methodology. In: Second ACM SIGACT SIGMOD Symp. on Principles of Database Systems, pp. 39–48, 1983

  9. Chan, E.P.F., Hernandez, H.: Independence-reducible database schemes. In: Seventh ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pp. 163–173, 1988. J. ACM (in press)

  10. Chan, E.P.F., Hernandez, H.: On the desirability of γ-acyclic BCNF database schemes. Theor. Comput. Sci.62(1–2), 67–104 (1988)

    Google Scholar 

  11. Chan, E.P.F., Mendelzon, A.O.: Answering queries on embedded-complete database schemes. J. ACM34(2), 349–375 (1987)

    Google Scholar 

  12. Chan, E.P.F., Mendelzon, A.O.: Independent and separable database schemes. SIAM J. Comput.16(5), 841–851 (1987)

    Google Scholar 

  13. Chandra, A.K., Vardi, M.Y.: The implication problem for functional and inclusion dependencies is undecidable. SIAM J. Comput.14(3), 671–677 (1985)

    Google Scholar 

  14. Cosmadakis, S.S., Kanellakis, P.C.: Functional and inclusion dependencies — a graph theoretical approach. In: Kanellakis, P.C., Preparata, F.P. (eds.), Advances in computing research, vol. 3, pp. 163–184. London: JAI Press 1986

    Google Scholar 

  15. Cosmadakis, S.S., Kanellakis, P.C., Vardi, M.: Polynomial-time implication problems for unary inclusion dependencies. J. ACM37(1), 15–46 (1990)

    Google Scholar 

  16. Date, C.J.: An introduction to database systems, vol. 1, Reading, MA: 4th edn. Addison Wesley 1986

    Google Scholar 

  17. Graham, M.H., Mendelzon, A.O.: On the power of canonical queries. (unpublished manuscript 1983)

  18. Graham, M.H., Yannakakis, M.: Independent database schemas. J. Comput. Syst. Sci.28(1), 121–141 (1984)

    Google Scholar 

  19. Honeyman, P.: Testing satisfaction of functional dependencies. J. ACM29(3), 668–677 (1982)

    Google Scholar 

  20. Honeyman, P., Sciore, E.: A new characterization of independence. In: ACM SIGMOD International Conf. on Management of Data, pp. 92–96, 1983

  21. Ito, M., Iwasaki, M., Kasami, T.: Some results on the representative instance in relational databases. SIAM J. Comput.14(2), 334–354 (1985)

    Google Scholar 

  22. Johnson, D.S., Klug, A.: Testing containment of conjunctive queries under functional and inclusion dependencies. J. Comput. Syst. Sci.28(1), 167–189 (1984)

    Google Scholar 

  23. Maier, D.: The theory of relational databases. Oxford: Computer Science Press 1983

    Google Scholar 

  24. Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing implications of data dependencies. ACM Trans. Database Syst.4(4), 455–468 (1979)

    Google Scholar 

  25. Maier, D., Rozenshtein, D., Warren, D.S.: Window functions. In: Kanellakis, P.C., Preparata, F.P. (eds.) Advances in computing research, vol. 3, pp. 213–246. London: JAI Press 1986

    Google Scholar 

  26. Maier, D., Ullman, J.D., Vardi, M.: On the foundations of the universal relation model. ACM Trans. Database Syst.9(2), 283–308 (1984)

    Google Scholar 

  27. Mendelzon, A.O.: Database states and their tableaux. ACM Trans. Database Syst.9(2), 264–282 (1984)

    Google Scholar 

  28. Mitchell, J.C.: The implication problem for functional and inclusion dependencies. Inf. Control56(1), 154–173 (1983)

    Google Scholar 

  29. Sagiv, Y.: Can we use the universal instance assumption without using nulls? In: ACM SIGMOD International Conf. on Management of Data, pp. 108–120, 1981

  30. Sagiv, Y.: A characterization of globally consistent databases and their correct access paths. ACM Trans. Database Syst.8(2), 266–286 (1983)

    Google Scholar 

  31. Sagiv, Y.: On computing restricted projections of the representative instance. In: Fourth ACM SIGACT SIGMOD Symp. on Principles of Database Systems, pp. 173–180, 1985

  32. Sciore, E.: Improving database schemes by adding attributes. In: Second ACM SIGACT SIGMOD Symp. on Principles of Database Systems, pp. 379–382, 1983

  33. Sciore, E.: Comparing the universal instance and relational data models. In: Kanellakis, P.C., Preparata, F.P. (eds.) Advances in computing research, vol. 3, pp. 139–162. London: JAI Press 1986

    Google Scholar 

  34. Ullman, J.D.: Principles of database systems, 2nd edn. Oxford: Computer Science Press 1982

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, Via Salaria, 113, I-00198, Roma, Italy

    Paolo Atzeni

  2. Department of Computer Science, University of Waterloo, N2L 3G1, Ontario, Canada

    Edward P. F. Chan

Authors
  1. Paolo Atzeni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Edward P. F. Chan
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

An extended abstract of this paper appears in the Proceedings of the Thirteenth International Conference on Very Large Data Bases, Brighton, England, 1–4 September 1987, pp. 159–166. The work of the first author was supported byMinistero dell'Università e della Ricerca Scientifica e Tecnologica, within the Project “Metodi formali e strumenti per basi di dati evolute” and the work of the second author by the Natural Sciences and Engineering Research Council of Canada. Part of this work was performed when the first author was with IASI-CNR and then with Università di Napoli.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Atzeni, P., Chan, E.P.F. Independent database schemes under functional and inclusion dependencies. Acta Informatica 28, 777–799 (1991). https://doi.org/10.1007/BF01261656

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01261656

Keywords

Search

Navigation