# Data models and languages for databases

## 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.

### Keywords

Stratification Hull## Preview

Unable to display preview. Download preview PDF.

### References

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