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
Preview
Unable to display preview. Download preview PDF.
References
Abiteboul, S., and C. Beeri, "On the power of languages for complex objects," Research Report, INRIA and Hebrew University (April 1988).
Abiteboul, S., and Bidoit, N., "Non first normal form relations: an algebra allowing data restructuring", J. Comp. System Sci. (1986)
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).
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.
Ait-Kaci, H., "An algebraic semantics approach to the effective resolution of type equations," TCS 45 (1986), pp. 293–351.
Aho, A.V., J.D. Ullman, "Universality of data retrieval languages," Proc. POPL (1979).
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)
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).
Bancilhon, F., "Object-oriented database systems," Proc. 7th PODS (March 1988), pp. 152–162.
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).
Bancilhon, F., and S. Khoshafian, "A calculus for complex objects, Proc. 4th PODS (March 1985).
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.
Beeri, C. and R. Ramakrishnan, "On the power of magic," Proc. 6th PODS (March 1987).
Codd, E.F., "A relational model for large shared data banks", CACM 13:6 (1970), pp. 377–387.
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).
Chandra, A. K., "Theory of database queries," Proc. 7th PODS (march 1988), pp. 1–9.
Chandra, A. K., and D. Harel, "Structure and complexity of relational queries," J. Comp. System Sci 25:1 (Aug. 82), pp. 99–128.
Chandra, A. K., and D. Harel, "Horn clause queries and generalizations," J. Logic Programming 1:1 (1985), pp. 1–15.
Copeland, G. and D. Maier, "Making Smalltalk a database system," Proc. ACM-SIGMOD Conf. (1984), pp. 316–325.
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.
Dayal, U., "Processing queries with quantifiers: A horticultural approach," Proc. 2nd PODS (1986).
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.
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.
Di Paola, R.A., "The recursive unsolvability of the decision problem for the class of definite formulas," JACM (April 1969).
Enderton, H. B., A mathematical introduction to logic, Ch.4.4, Academic Press (1972).
Fagin, R., "Horn clauses and database dependencies," JACM 29:4 (Oct. 1982).
Fischer, P., and S. Thomas, "Operators for non-first-normal-form relations," Proc. 7th COMPSAC, Chicago, (Nov. 1983).
Hull, R. and J. Su, "On the expressive power of database queries with intermediate types," Proc. 7th PODS (March 1988).
Jacobs, B., "On database logic," JACM 29:2 (April 1982).
Jaeschke, B., and H.-J. Schek, "Remarks on the algebra of non first normal form relations," Proc. 1st PODS (March 1982).
Kanellakis, P., personal communication (1987).
Klug, A., "Equivalence of relational algebra and calculus query languages having aggregate functions," JACM 29:3 (July 1982).
Kemper, A., P. C. Lockemann, and M. Wallrath, "An object-oriented database system for engineering applications," Proc. ACM-SIGMOD Conf. (1987), pp. 292–310.
Korth, H. F., and M. A Roth, "Query languages for nested relational databases," TR-87-45, University of Texas at Austin (Dec. 1987).
Kuper, G. M., "The logical data model: A new approach to database logic," Ph.D thesis, Stanford University (Sept. 1985).
Kuper, G.M., "Logic Programming with Sets," Proc. 6th PODS (1987)
Kuper, G. M., "On the expressive power of Logic programming languages with sets," Proc. 7th PODS (March 1988), pp. 10–14.
Kuper, G.M., M.Y. Vardi, "A new approach to database logic," Proc. 3rd PODS (1984)
Kuper, G.M., M.Y. Vardi, "On the expressive power of the logical data model," Proc. ACM SIGMOD Int'l Conf. (1985).
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.
Maier, D., "Why database languages are a bad idea," Proc. Workshop on Database Programming Languages, Roscoff, France (Sept. 1987), pp. 334–344.
Maier, D., "A logic for objects," manuscript, Oregon Graduate Center (Nov. 1987).
Makinouchi, A., "A consideration on normal form of not-necessarily normalized relations in the relational model," Proc. 3rd VLDB (Oct. 1977).
Naqvi, S.A., "A Logic for Negation in Database Systems," Proc. Foundations of Deductive Databases and Logic Programming (1986)
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).
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).
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.
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.
Rowe, L., and M. Stonebraker, "The POSTGRESS data model," Proc. 13th VLDB, Brighton, England (1987), pp. 83–96.
Rybinski, h., "On first order languages," TODS12:3 (June 1987), pp. 325–349.
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).
Stefik, M., and D. G. Bobrow, "Object-oriented programming: Themes and variations," the AI Magazine (1986), pp. 40–62.
Schek H.-J, and M. Scholl, "An algebra for the relational model with relation-valued attributes," Information Systems. 11:2 (1986).
Stonebraker, M., and L. Rowe, "The design of POSTGRESS," Proc. ACM SIGMOD Conf. (1986).
Tsur, S. and Zaniolo, C., "LDL: A logic-based data-language," Proc. 12th VLDB, Kyoto, Japan (1986).
Ullman, J.D., Principles of Database systems, Computer Science Press, 2nd ed. (1982).
Ullman, J. D., "Implementation of logical query languages for databases," ACM TODS 10:3 (1985), pp. 289–321.
Ullman, J. D., "Database theory — past and future," 6th PODS (1987), pp. 1–10.
Vardi, M. Y., "The decision problem for database dependencies," Inf. Proc. Letters (Oct. 1981).
Vardi, M. Y., "Review of [Ja]," Zentralblatt fur Mathematic, 497.68061 (1983).
Verso, J., "VERSO: A database machine based on non 1NF relations," rapport de Recherche INRIA 523 (1986).
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.
Author information
Authors and Affiliations
Editor information
Rights 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