On global context dependencies and their properties

  • A. D'Atri
  • P. Di Felice
  • V. S. Lakshmanan
  • M. Moscarini
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 305)


Formal System Inference Rule Integrity Constraint Relation Scheme Database Scheme 
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.

5. References

  1. 1.
    W.W. Armstrong, “Dependency structures of database relationships”, Proc. IFIP Congress, (1974), 580–583.Google Scholar
  2. 2.
    P. Atzeni and D.S. Parker, “Assumptions in relational database theory”, Proc. 1st PODS Symp., Los Angeles, (March 1982), 1–9.Google Scholar
  3. 3.
    C. Beeri, R. Fagin and J.H. Howard, “A complete axiomatization for functional and multivalued dependencies in database relations”, ACM SIGMOD Symp. on Management of Data, (1977), 47–61.Google Scholar
  4. 4.
    C. Beeri, R. Fagin, D. Maier and M. Yannakakis, “On the desirability of acyclic database schemes”, J. of ACM 30, (1983), 479–513.Google Scholar
  5. 5.
    J. Biskup and H.H. Bruggeman, “Universal relation view: a pragmatic approach”, Proc. 9th VLDB Conf., Florence, (Oct.-1983), 172–185.Google Scholar
  6. 6.
    M.A. Casanova, R. Fagin and C.H. Papadimitriou, “Inclusion dependencies and their interaction with functional dependencies”, J. on Computer and System Sciences 28, (1983), 39–48.Google Scholar
  7. 7.
    A. D'Atri, P. Di Felice and M. Moscarini, “Dynamic query interpretation in relational databases”, Proc. 6-th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, San Diego, (March 1987).Google Scholar
  8. 8.
    A. D'Atri, M.Moscarini and N. Spyratos, “Answering queries in relational database”, Proc. ACM SIGMOD, San Jose, (May 1983), 173–177.Google Scholar
  9. 9.
    R. Fagin, “Degrees of acyclicity for hypergraphs and relational database schemes”, J. of ACM 30, (1983), 514–550.Google Scholar
  10. 10.
    W. Kent, “Consequences of assuming a universal relation”, ACM Trans. on Database Systems 6, (Dec. 1981), 539–556.Google Scholar
  11. 11.
    H.F. Korth, G.M. Kuper, J. Feigenbaum, A. Van Gelder and J.D. Ullman, “System/U: a database system based on the universal relation assumption”, ACM Trans. on Database Systems 9, (Sep. 1984), 331–347.Google Scholar
  12. 12.
    D. Maier, The Theory of Relational Databases, Computer Science Press, Maryland, (1983).Google Scholar
  13. 13.
    D. Maier, D. Rozenshtein, S.C. Salveter, J. Stein and D.S. Warren, “Toward logical data independence: a relational query language without relations”, ACM SIGMOD Int. Conf. on Management of Data, (June 1982), 51–60.Google Scholar
  14. 14.
    D. Maier, D. Rozenshtein and D. S. Warren, “Windows functions”, in Advances in Computing Research, vol. 3, JAI Press, (1986), 213–246.Google Scholar
  15. 15.
    D. Maier and J.D. Ullman, “Connections in acyclic hypergraphs”, Theoretical Computer Science 32, (1984), 185–200.Google Scholar
  16. 16.
    D. Maier, J.D. Ullman, and M.Y. Vardi, “On the foundations of the universal relation model”, ACM Trans. on Database Systems 9, (Jun.1984), 283–308.Google Scholar
  17. 17.
    Y. Sagiv, “A characterization of globally consistent database and their correct access paths”, ACM Trans. on Database Systems 8, (Aug. 1983), 266–286.Google Scholar
  18. 18.
    J.D. Ullman, Principles of Database Systems (second edition), Computer Science Press, Maryland, (1982).Google Scholar
  19. 19.
    J.D. Ullman, “Universal relation interfaces for database systems”, Proc. IFIP Conf., Paris, (Sep. 1983), 243–252.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • A. D'Atri
    • 1
    • 2
  • P. Di Felice
    • 2
  • V. S. Lakshmanan
    • 3
  • M. Moscarini
    • 4
  1. 1.Dip. InformaticaUniversita' “La Sapienza”RomaItaly
  2. 2.Dip. Ingegneria ElettricaUniversita' dell'AquilaL'AquilaItaly
  3. 3.Dept. of Computer ScienceUniversity of TorontoCanada
  4. 4.IASI-CNRRomaItaly

Personalised recommendations