Skip to main content
SpringerLink
Log in

Data models and languages for databases

  • Invited Lectures
  • Conference paper
  • First Online:
ICDT '88 (ICDT 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 326))

Included in the following conference series:

Abstract

The seventies have been the decade of the relational model. In the eighties, there is a renewed interest and activity in the database area. Most of it is concerned with so called "advanced systems for new types of applications". In this activity, much emphasis is placed on the development of new data models and languages. The data models include complex objects, which are in essence hierarchical structures, and various flavors of object oriented models. Data manipulation languages include extensions of the classical algebra and calculus based languages to some of the new models, logic programming style languages, and versions of object oriented languages. The paper discusses extensions of the relational model that allow users to specify and manipulate structurally complex objects and their languages. The emphasis is on formal models and languages. In particular, we describe a formal model for objects with identity, and declarative languages for the model.

This research was partially supported by USA-Israel Binational Science Foundation, grant #85/00082

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., and C. Beeri, "On the power of languages for complex objects," Research Report, INRIA and Hebrew University (April 1988).

    Google Scholar 

  2. Abiteboul, S., and Bidoit, N., "Non first normal form relations: an algebra allowing data restructuring", J. Comp. System Sci. (1986)

    Google Scholar 

  3. Abiteboul S., C. Beeri, D. Van Gucht, and M. Gyssens, "An introduction to the completeness of languages for complex objects and nested relations," manuscript, (May 1988).

    Google Scholar 

  4. Abiteboul, S., and S. Grumbach, "A logical approach to the manipulation of Complex Objects," Proc. EDBT (March 1988), Springer Verlag Lecture Notes in Computer Science 303.

    Google Scholar 

  5. Ait-Kaci, H., "An algebraic semantics approach to the effective resolution of type equations," TCS 45 (1986), pp. 293–351.

    Google Scholar 

  6. Aho, A.V., J.D. Ullman, "Universality of data retrieval languages," Proc. POPL (1979).

    Google Scholar 

  7. Apt, K., H. Blair, and A. Walker, "Toward a Theory of Declarative Knowledge," In Foundations of deductive databases and logic programming, J. Minker (ed.), Morgan Kaufmann publishers (1988)

    Google Scholar 

  8. Backus, J., "Can programming be liberated from the Neuman style? A functional style of programming and its algebra of programs," 1977 Turing Award Lecture, CACM 21:8 (Aug. 1978).

    Google Scholar 

  9. Bancilhon, F., "Object-oriented database systems," Proc. 7th PODS (March 1988), pp. 152–162.

    Google Scholar 

  10. Bancilhon, F., and R. Ramakrishnan, "An amateur's introduction to recursive query processing strategies," Proc. ACM-SIGMOD Conf. (1986), Also in Foundations of Deductive Databases and Logic Programming (J. Minker, ed.) Morgan Kaufmann (1988).

    Google Scholar 

  11. Bancilhon, F., and S. Khoshafian, "A calculus for complex objects, Proc. 4th PODS (March 1985).

    Google Scholar 

  12. Beeri, C.,S. Naqvi, R. Ramakrishnan, O. Shmueli, and S.Tsur, "Sets and Negation in a Logic Database Language," Proc. 6th PODS (March 1987), pp. 21–37.

    Google Scholar 

  13. Beeri, C. and R. Ramakrishnan, "On the power of magic," Proc. 6th PODS (March 1987).

    Google Scholar 

  14. Codd, E.F., "A relational model for large shared data banks", CACM 13:6 (1970), pp. 377–387.

    Google Scholar 

  15. Carey, M, D. DeWitt, D. Frank, G. Graefe, J. Richardson, E. Shekita, and M. Muralikrishna, "The architecture of the EXODUS extensible DBMS," Proc. of the Int'l Workshop on Object Oriented Database Systems Pacific Grove, Ca (1986).

    Google Scholar 

  16. Chandra, A. K., "Theory of database queries," Proc. 7th PODS (march 1988), pp. 1–9.

    Google Scholar 

  17. Chandra, A. K., and D. Harel, "Structure and complexity of relational queries," J. Comp. System Sci 25:1 (Aug. 82), pp. 99–128.

    Google Scholar 

  18. Chandra, A. K., and D. Harel, "Horn clause queries and generalizations," J. Logic Programming 1:1 (1985), pp. 1–15.

    Article  Google Scholar 

  19. Copeland, G. and D. Maier, "Making Smalltalk a database system," Proc. ACM-SIGMOD Conf. (1984), pp. 316–325.

    Google Scholar 

  20. Dadam, P. et al, "A DBMS prototype to support extended NF2-relations: An integrated view on flat tables and hierarchies," Proc. ACM-SIGMOD Conf. (1986), pp. 376–387.

    Google Scholar 

  21. Dayal, U., "Processing queries with quantifiers: A horticultural approach," Proc. 2nd PODS (1986).

    Google Scholar 

  22. Dayal, U., "Of nests and trees: A unified approach to processing queries that contain nested subqueries, aggregates and quantifiers," Proc. 13th VLDB, Brighton, England (Sept 1987), pp. 197–208.

    Google Scholar 

  23. Dittrich, K. R., "Object-oriented database systems: The notion and the issues," Proc. Int'l Workshop on Object-Oriented Database Systems, Pacific Grove, Ca (Sept 1986), pp. 2–6.

    Google Scholar 

  24. Di Paola, R.A., "The recursive unsolvability of the decision problem for the class of definite formulas," JACM (April 1969).

    Google Scholar 

  25. Enderton, H. B., A mathematical introduction to logic, Ch.4.4, Academic Press (1972).

    Google Scholar 

  26. Fagin, R., "Horn clauses and database dependencies," JACM 29:4 (Oct. 1982).

    Google Scholar 

  27. Fischer, P., and S. Thomas, "Operators for non-first-normal-form relations," Proc. 7th COMPSAC, Chicago, (Nov. 1983).

    Google Scholar 

  28. Hull, R. and J. Su, "On the expressive power of database queries with intermediate types," Proc. 7th PODS (March 1988).

    Google Scholar 

  29. Jacobs, B., "On database logic," JACM 29:2 (April 1982).

    Google Scholar 

  30. Jaeschke, B., and H.-J. Schek, "Remarks on the algebra of non first normal form relations," Proc. 1st PODS (March 1982).

    Google Scholar 

  31. Kanellakis, P., personal communication (1987).

    Google Scholar 

  32. Klug, A., "Equivalence of relational algebra and calculus query languages having aggregate functions," JACM 29:3 (July 1982).

    Google Scholar 

  33. Kemper, A., P. C. Lockemann, and M. Wallrath, "An object-oriented database system for engineering applications," Proc. ACM-SIGMOD Conf. (1987), pp. 292–310.

    Google Scholar 

  34. Korth, H. F., and M. A Roth, "Query languages for nested relational databases," TR-87-45, University of Texas at Austin (Dec. 1987).

    Google Scholar 

  35. Kuper, G. M., "The logical data model: A new approach to database logic," Ph.D thesis, Stanford University (Sept. 1985).

    Google Scholar 

  36. Kuper, G.M., "Logic Programming with Sets," Proc. 6th PODS (1987)

    Google Scholar 

  37. Kuper, G. M., "On the expressive power of Logic programming languages with sets," Proc. 7th PODS (March 1988), pp. 10–14.

    Google Scholar 

  38. Kuper, G.M., M.Y. Vardi, "A new approach to database logic," Proc. 3rd PODS (1984)

    Google Scholar 

  39. Kuper, G.M., M.Y. Vardi, "On the expressive power of the logical data model," Proc. ACM SIGMOD Int'l Conf. (1985).

    Google Scholar 

  40. Lorie, R., and W. Plouffe, "Complex objects and their use in design transactions," Proc. ACM-SIGMOD Conf., Engineering Design Applications, (May 1983), pp. 115–122.

    Google Scholar 

  41. Maier, D., "Why database languages are a bad idea," Proc. Workshop on Database Programming Languages, Roscoff, France (Sept. 1987), pp. 334–344.

    Google Scholar 

  42. Maier, D., "A logic for objects," manuscript, Oregon Graduate Center (Nov. 1987).

    Google Scholar 

  43. Makinouchi, A., "A consideration on normal form of not-necessarily normalized relations in the relational model," Proc. 3rd VLDB (Oct. 1977).

    Google Scholar 

  44. Naqvi, S.A., "A Logic for Negation in Database Systems," Proc. Foundations of Deductive Databases and Logic Programming (1986)

    Google Scholar 

  45. Ozsoyoglu, G, Z.M. Ozsoyoglu, and V. Matos, "Extending relational algebra and relational calculus with set-valued attributes and aggregate functions," TODS 12:4 (Dec. 1987).

    Google Scholar 

  46. Paul, H.-B., H.-J. Schek, M. Scholl, G. Weilkum, and U. Deppisch, "Architecture and implementation of the Darmstadt database Kernel System," Proc. ACM SIGMOD Conf. (1987).

    Google Scholar 

  47. Roth, M.A., Korth, H.F., and D. Batory, "SQL/NF — A query language for ¬1NF relational databases," Information systems 12:1 (1987), pp. 99–114.

    Article  Google Scholar 

  48. Roth, M.A., H.F. Korth, and A. Silberschatz, "Extended algebra and calculus for ¬NF relational databases," manuscript, TR-84-36, Department of Computer Science, University of Texas at Austin, 1984, revised, 1985, to appear, TODS.

    Google Scholar 

  49. Rowe, L., and M. Stonebraker, "The POSTGRESS data model," Proc. 13th VLDB, Brighton, England (1987), pp. 83–96.

    Google Scholar 

  50. Rybinski, h., "On first order languages," TODS12:3 (June 1987), pp. 325–349.

    Google Scholar 

  51. Sagiv, Y., "Optimizing Datalog programs," Proc. 6th PODS (March 1987), pp. 349–362, also in Foundations of deductive databases and Logic Programming (J. Minker, ed.), Morgan Kaufmann (1988).

    Google Scholar 

  52. Stefik, M., and D. G. Bobrow, "Object-oriented programming: Themes and variations," the AI Magazine (1986), pp. 40–62.

    Google Scholar 

  53. Schek H.-J, and M. Scholl, "An algebra for the relational model with relation-valued attributes," Information Systems. 11:2 (1986).

    Google Scholar 

  54. Stonebraker, M., and L. Rowe, "The design of POSTGRESS," Proc. ACM SIGMOD Conf. (1986).

    Google Scholar 

  55. Tsur, S. and Zaniolo, C., "LDL: A logic-based data-language," Proc. 12th VLDB, Kyoto, Japan (1986).

    Google Scholar 

  56. Ullman, J.D., Principles of Database systems, Computer Science Press, 2nd ed. (1982).

    Google Scholar 

  57. Ullman, J. D., "Implementation of logical query languages for databases," ACM TODS 10:3 (1985), pp. 289–321.

    Google Scholar 

  58. Ullman, J. D., "Database theory — past and future," 6th PODS (1987), pp. 1–10.

    Google Scholar 

  59. Vardi, M. Y., "The decision problem for database dependencies," Inf. Proc. Letters (Oct. 1981).

    Google Scholar 

  60. Vardi, M. Y., "Review of [Ja]," Zentralblatt fur Mathematic, 497.68061 (1983).

    Google Scholar 

  61. Verso, J., "VERSO: A database machine based on non 1NF relations," rapport de Recherche INRIA 523 (1986).

    Google Scholar 

  62. Wegner, P., "The object-oriented classification paradigm," in Research Directions in Object-Oriented Programming (B. Shriver, P. Wegner, eds.), The MIT Press (1987), pp. 479–560.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, The Hebrew University, Jerusalem, Israel

    Catriel Beeri

Authors
  1. Catriel Beeri
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marc Gyssens Jan Paredaens Dirk Van Gucht

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Beeri, C. (1988). Data models and languages for databases. In: Gyssens, M., Paredaens, J., Van Gucht, D. (eds) ICDT '88. ICDT 1988. Lecture Notes in Computer Science, vol 326. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50171-1_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-50171-1_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50171-8

  • Online ISBN: 978-3-540-45943-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation