Data models and languages for databases

  • Catriel Beeri
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 326)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ABe]
    Abiteboul, S., and C. Beeri, "On the power of languages for complex objects," Research Report, INRIA and Hebrew University (April 1988).Google Scholar
  2. [ABi]
    Abiteboul, S., and Bidoit, N., "Non first normal form relations: an algebra allowing data restructuring", J. Comp. System Sci. (1986)Google Scholar
  3. [ABVG]
    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. [AG]
    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. [A-K]
    Ait-Kaci, H., "An algebraic semantics approach to the effective resolution of type equations," TCS 45 (1986), pp. 293–351.Google Scholar
  6. [AU]
    Aho, A.V., J.D. Ullman, "Universality of data retrieval languages," Proc. POPL (1979).Google Scholar
  7. [ABW]
    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. [Ba]
    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. [Ban]
    Bancilhon, F., "Object-oriented database systems," Proc. 7th PODS (March 1988), pp. 152–162.Google Scholar
  10. [BaR]
    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. [BK]
    Bancilhon, F., and S. Khoshafian, "A calculus for complex objects, Proc. 4th PODS (March 1985).Google Scholar
  12. [BNRST]
    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. [BeR]
    Beeri, C. and R. Ramakrishnan, "On the power of magic," Proc. 6th PODS (March 1987).Google Scholar
  14. [C]
    Codd, E.F., "A relational model for large shared data banks", CACM 13:6 (1970), pp. 377–387.Google Scholar
  15. [CaD]
    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. [Ch]
    Chandra, A. K., "Theory of database queries," Proc. 7th PODS (march 1988), pp. 1–9.Google Scholar
  17. [CH1]
    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. [CH2]
    Chandra, A. K., and D. Harel, "Horn clause queries and generalizations," J. Logic Programming 1:1 (1985), pp. 1–15.CrossRefGoogle Scholar
  19. [CM]
    Copeland, G. and D. Maier, "Making Smalltalk a database system," Proc. ACM-SIGMOD Conf. (1984), pp. 316–325.Google Scholar
  20. [Dad]
    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. [Day1]
    Dayal, U., "Processing queries with quantifiers: A horticultural approach," Proc. 2nd PODS (1986).Google Scholar
  22. [Day2]
    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. [Di]
    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. [DiP]
    Di Paola, R.A., "The recursive unsolvability of the decision problem for the class of definite formulas," JACM (April 1969).Google Scholar
  25. [En]
    Enderton, H. B., A mathematical introduction to logic, Ch.4.4, Academic Press (1972).Google Scholar
  26. [Fa]
    Fagin, R., "Horn clauses and database dependencies," JACM 29:4 (Oct. 1982).Google Scholar
  27. [FT]
    Fischer, P., and S. Thomas, "Operators for non-first-normal-form relations," Proc. 7th COMPSAC, Chicago, (Nov. 1983).Google Scholar
  28. [HS]
    Hull, R. and J. Su, "On the expressive power of database queries with intermediate types," Proc. 7th PODS (March 1988).Google Scholar
  29. [Ja]
    Jacobs, B., "On database logic," JACM 29:2 (April 1982).Google Scholar
  30. [JS]
    Jaeschke, B., and H.-J. Schek, "Remarks on the algebra of non first normal form relations," Proc. 1st PODS (March 1982).Google Scholar
  31. [Ka]
    Kanellakis, P., personal communication (1987).Google Scholar
  32. [Kl]
    Klug, A., "Equivalence of relational algebra and calculus query languages having aggregate functions," JACM 29:3 (July 1982).Google Scholar
  33. [KLW]
    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. [KR]
    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. [Ku1]
    Kuper, G. M., "The logical data model: A new approach to database logic," Ph.D thesis, Stanford University (Sept. 1985).Google Scholar
  36. [Ku2]
    Kuper, G.M., "Logic Programming with Sets," Proc. 6th PODS (1987)Google Scholar
  37. [Ku3]
    Kuper, G. M., "On the expressive power of Logic programming languages with sets," Proc. 7th PODS (March 1988), pp. 10–14.Google Scholar
  38. [KV1]
    Kuper, G.M., M.Y. Vardi, "A new approach to database logic," Proc. 3rd PODS (1984)Google Scholar
  39. [KV2]
    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. [LP]
    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. [Ma1]
    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. [Ma2]
    Maier, D., "A logic for objects," manuscript, Oregon Graduate Center (Nov. 1987).Google Scholar
  43. [Mak]
    Makinouchi, A., "A consideration on normal form of not-necessarily normalized relations in the relational model," Proc. 3rd VLDB (Oct. 1977).Google Scholar
  44. [N]
    Naqvi, S.A., "A Logic for Negation in Database Systems," Proc. Foundations of Deductive Databases and Logic Programming (1986)Google Scholar
  45. [OOM]
    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. [PSSWD]
    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. [RKB]
    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.CrossRefGoogle Scholar
  48. [RKS]
    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. [RS]
    Rowe, L., and M. Stonebraker, "The POSTGRESS data model," Proc. 13th VLDB, Brighton, England (1987), pp. 83–96.Google Scholar
  50. [Ry]
    Rybinski, h., "On first order languages," TODS12:3 (June 1987), pp. 325–349.Google Scholar
  51. [Sa]
    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. [SB]
    Stefik, M., and D. G. Bobrow, "Object-oriented programming: Themes and variations," the AI Magazine (1986), pp. 40–62.Google Scholar
  53. [SS]
    Schek H.-J, and M. Scholl, "An algebra for the relational model with relation-valued attributes," Information Systems. 11:2 (1986).Google Scholar
  54. [SR]
    Stonebraker, M., and L. Rowe, "The design of POSTGRESS," Proc. ACM SIGMOD Conf. (1986).Google Scholar
  55. [TZ]
    Tsur, S. and Zaniolo, C., "LDL: A logic-based data-language," Proc. 12th VLDB, Kyoto, Japan (1986).Google Scholar
  56. [U1]
    Ullman, J.D., Principles of Database systems, Computer Science Press, 2nd ed. (1982).Google Scholar
  57. [U2]
    Ullman, J. D., "Implementation of logical query languages for databases," ACM TODS 10:3 (1985), pp. 289–321.Google Scholar
  58. [U3]
    Ullman, J. D., "Database theory — past and future," 6th PODS (1987), pp. 1–10.Google Scholar
  59. [Va1]
    Vardi, M. Y., "The decision problem for database dependencies," Inf. Proc. Letters (Oct. 1981).Google Scholar
  60. [Va2]
    Vardi, M. Y., "Review of [Ja]," Zentralblatt fur Mathematic, 497.68061 (1983).Google Scholar
  61. [Ver]
    Verso, J., "VERSO: A database machine based on non 1NF relations," rapport de Recherche INRIA 523 (1986).Google Scholar
  62. [We]
    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

Copyright information

© Springer-Verlag 1983

Authors and Affiliations

  • Catriel Beeri
    • 1
  1. 1.Department of Computer ScienceThe Hebrew UniversityJerusalemIsrael

Personalised recommendations