Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article
Free access

Converting nested algebra expressions into flat algebra expressions

Published: 01 March 1992 Publication History

Abstract

Nested relations generalize ordinary flat relations by allowing tuple values to be either atomic or set valued. The nested algebra is a generalization of the flat relational algebra to manipulate nested relations. In this paper we study the expressive power of the nested algebra relative to its operation on flat relational databases. We show that the flat relational algebra is rich enough to extract the same “flat information” from a flat database as the nested algebra does. Theoretically, this result implies that recursive queries such as the transitive closure of a binary relation cannot be expressed in the nested algebra. Practically, this result is relevant to (flat) relational query optimization.

References

[1]
ABITEBOUL, S., AND BEEm, S. On the power of languages for the manipulation of complex objects. INRIA Tech. Rep. 846. 1988.
[2]
ABITEBOUL, S, AND BIDOIT, N. Non first normal form relations: An algebra allowing data restructuring. J. Comput. Syst. Sci. 33, 3 (Dec. 1986), 361-~393.
[3]
AHO, A. V., AND ULLMAN, J.D. Universality of data retrieval languages. In Proceedings of the 6th ACM Symposium on Princ~ples of Programming Languages (Jan. 1979, San Antonio, Tex.). ACM, New York, 1979, pp. 110-117.
[4]
ARISAWA, H., MORIYA, K., AND MIURA, T. Operations and the properties on non-firstttormal-form relablonal databa~e~. In Proc~~dir~ga of th~ 9th VLDB (Florence). 19553, pp. 197-205.
[5]
BANCmSON, F. A logic-programming/object-oriented cocktail. ACM SIGMOD Rec. 15, 3 (Sept. 1986), 11-20.
[6]
BANCILHON, F., AND KHOSHAFIAN, S. A calculus for complex objects. In Proceed*ngs of the 5th ACM SIGACT-SIGMOD-SIGART Symposmm on Princ~ples of Database Systems (Mar 1986, Cambridge, Mass.). ACM, New York, 1986, pp. 53-59.
[7]
BANCmHON, F., RmHARD, P., AND SCHOLL, M On line processing of compacted relations In Proceedings of the 8th VLDB (Sept. 1982, Mexmo City). VLDB Endowment, 1982, pp. 263-269.
[8]
BEEm, C., AEND KORNATZI~Y, Y. The many faces of query monotonicity. In Proceed~ngs of Advances in Database Technology--EDBT '90 (Mar. 1990, Venice) Lecture Notes in Computer Science, vol. 416. Springer-Verlag, New York, 1990, pp. 120-135
[9]
BEEm, C., NAQVI, S., RAMAKmSHNAN, R., SHMUELI, O., AND TSUR, S. Sets and negation in a logic database language (LDL1). In Proceedings of the 6th ACM SIGACT-SIGMOD-SIGART Symposium on Princ~ples ofDatabase Systems (San Diego, Calif.) ACM, New York, 1987, pp. 21-37.
[10]
BmoIT, N. The Verso algebra and how to answer queries without joins. J. Comput. Syst. Sci. 35, 3 (Dec. 1987), 321-364.
[11]
CODD, E. F. Relational completeness of database sublanguages. In Database Systems, R. Rustin, Ed. Prentice-Hall, Englewood Cliffs, N.J, 1972, pp. 65-98.
[12]
COLBY, L. A recursive algebra and query optimization for nested relations. In Proceed~ngs of the ACM-SIGMOD International Conference on Management of Data (May 1-June 2, 1989, Portland, Ore.). ACM, New York, 1989, pp 273-283.
[13]
DAUAM, P. Advanced information management (AIM): Research m extended nested relations. IEEE Data Eng 11, 3 (Dec. 1988), 4-14
[14]
DADAM, P, K~ESPER~, K., ANDER$E~, F., BLAN~EN, H., ERBE, R, GUE~AUER, J, LUM, V., PIS?OR, P., AND WALCH, G A DBMS prototype to support extended NF2 relatmns: An integrated view on fiat tables and hierarchies. In Proceedzngs of the ACM-SIGMOD International Conference on Management of Data (May 1986, Austin, Tex.). ACM, New York, 1986, pp. 356-366.
[15]
DEPmSCH, U., PAUL, H. B., AND SCHEK, H. J A storage system for complex objects. In Proceed~ngs of the International Workshop on Object-Oriented Database Systems (Pacific Grove, Calif.). 1986, pp. 183-195
[16]
DE$HPANDE, A., AND VAN GUCHT, D. A storage structure for unnormalized relations. In Proceedings of the GI Conference on Database Systems for Office Automation, Eng~neering and Scientific Applications (Apr. 1987, Darmstadt, Germany) Inf Fachber~chte 136 (1987), 481-486.
[17]
DESHPANDE, A., AND VAN GUCH~, D. An implementation for nested relational databases In Proceedings ofthe 14th VLDB (Los Angeles, Calif.). 1988, pp 76-88.
[18]
DES~PANDE, V., AND LARSON, P. A. An algebra for nested relatmns. Res. Rep CS-87-65, Dept. of Computer Science, Univ. of Waterloo, Ontario, 1987.
[19]
GYSSENS, M., AND VAN GUCHT, D. The powerset algebra as a result of adding programming constructs to the nested relational algebra In Proceedings of the ACM-SIGMOD International Conference on Management of Data (June 1988, Chicago, Ill.). ACM, New York, 1988, pp. 225-232
[20]
GYSSENS, M., AND VAN GUC~T, D. The powerset algebra as a natural tool to handle nested daJ, abase r~latclons. J. Comput. AEy~t. AEez. To ho pu}olishorl.
[21]
GYSSENS, M., PAREDAENS, J., AND VAN GUCHT, D. A unfform approach towards handling atomic and structured information in the nested relational database. J. ACM 36, 4 (Oct. 1989), 790-825.
[22]
HOUBEN, G., AND PAREDAENS, J. The R2-algebra: An extension of an algebra for nested relatmns. Tech. Rep., Computer Science Dept., Techmcal Univ., Eindhoven, The Netherlands, 1987.
[23]
HULL, R., AND SU, J. On the expresmve power of database queries with intermediate types. In Proceedings of the 7th ACM SIGACT-SIGMOD-SIGART Symposium on Princ~ples of Database Systems (Austin, Tex.). ACM, New York, 1988, pp. 39-51.
[24]
JAESCHKE, G., AND S~HEK, H. J. Remarks on the algebra on non first normal form relations. In Proceedings of the 1st ACM SIGACT-SIGMOD-SIGART Symposium on Principles ofDatabase Systems (Los Angeles, Calif.). ACM, New York, 1982, pp. 124-138.
[25]
KU?ER, G. M. Logic programming with sets. J. Comput. Syst. Sci. 41, I (Aug. 1990), 44-64.
[26]
KUPER, G. M., AND VARnI, M. On the complexity of queries in the logical data model. In Proceedings of the 2nd International Conference on Database Theory (Bruges, Belgium). Lecture Notes in Computer Science, vol. 326. Springer-Verlag, New York, 1988, pp. 267-280.
[27]
LARSON, P.A. The data model and query language of Laurel. IEEE Data Eng. 11, 3 (Sept. 1988), 23-30.
[28]
LINNEMANN, V. Non first normal form relations and recursive queries: An SQL-based approach. In Proceedings of the 3rd IEEE International Conference on Data Engineering (Los Angeles, Calif.). IEEE, New York, 1987, pp. 591-598.
[29]
MAKINOUCm, A. A consideration of normal form of not-necessarily-normalized relations in the relational data model. In Proceedings of the 3rd VLDB (Oct. 1977, Tokyo). VLDB Endowment, 1977, pp. 447-453.
[30]
NAQW, S., AND TSUR, S. A Logical Language for Data and Knowledge Databases. Freeman, San Francisco, Calif., 1989.
[31]
OZSOYOGL~, G., OZSOYOGLU, Z. M., AND MATOS, V. Extending relational algebra and relational calculus with set-valued attributes and aggregate functions. ACM Trans. Database Syst. 12, 4 (Dec. 1987), 566-593.
[32]
PAREDAENS, J., DE BRA, P., G~SSENS, M., AND VAN GUCHT, D. The Structure of the Relational Model. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, New York. 1989.
[33]
PAUL, H. B., SCHEK, H. J., SCHOLL, M. H., WEIKUM, G., AND DEPPTSC~, U. Architecture and implementation of the Darmstadt database kernel system. In Proceedings of the ACM-SIGMOD International Conference on Management of Data (May 1987, San Francisco, Calif.) ACM, New York, 1987, pp. 196-207.
[34]
PISTOR, P., AND ANDERSEN, F. Designing a generalized NF2 model with an SQL-type language interface. In Proceedings of the 12th VLDB (Aug. 1986, Kyoto). VLDB Endowment, 1986, pp. 278-288.
[35]
PISTOR, P., AND TRAUNMUELLER, R. A database language for sets, lists and tables. Inf. Syst. 11, 4 (1986), 323-336.
[36]
ROTH, M. A., KORTH, H. F., AND BATORY, D. S. SQL/NF: A query language for ~ 1NF relational databases. Inf. Syst. 12, I (1987), 99-114.
[37]
RoTu, M. A., KORTH, H. F., AND SmBERSCHATZ, A. Extended algebra and calculus for nested relational databases. ACM Trans. Database Syst. 13, 4 (Dec. 1988), 389-417.
[38]
SCHEK, H. J., AND SCHOLL, M.H. The relational model with relation-valued attributes. Inf. Syst. 11, 2 (1986), 137-147.
[39]
SCHEK, H. J., PAUL, H. B., SCHOLL, M. H., AND WEIKUM, G. The DASDBS project: Objectives, experiences, and future prospects. IEEE Trans. Knowledge Data Eng. 2, i (June 1990), 25-43.
[40]
SCHOLL, M. H. Theoretical foundation of algebraic optimization utilizing unnormalized relations. In Proceedings of the 1st International Conference on Database Theory (Aug. 1986, Rome). Lecture Notes in Computer Science, vol. 243. Springer-Verlag, New York, pp. 380-396.
[41]
SCHOLL, M. H., PAUL, H. B., AND SC~K, H. J. Supporting fiat relations by a nested relational kernel. In Proceedings of the 13th VLDB (Sept. 1987, Brighton, Great Britain). VLDB Endowment, 1987, pp. 137-146.
[42]
SHAW, G., AND ZDONIK, S. A query algebra for object~oriented databases. Tech. Rep. CS-8949, Dept. of Computer Science, Brown Univ., Providence, R.I., 1989.
[43]
THOMAS, S. J., AND F~SCHER, P.C. Nested relational structures. In Advances in Computing Research III, The Theory of Databases~ P. C. Kanellakis, Ed. JAI Press, Greenwich, Conn., 1986, pp. 269-307.
[44]
ULLMAN, J.D. Prin~iple8 ofDatabase Systems. 2nd ed. Computer Science Press, Rockville, Md., 1982.

Cited By

View all
  • (2023)Synthesizing Nested Relational Queries from Implicit SpecificationsProceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3584372.3588653(33-45)Online publication date: 18-Jun-2023
  • (2021)Generating collection transformations from proofsProceedings of the ACM on Programming Languages10.1145/34342955:POPL(1-28)Online publication date: 4-Jan-2021
  • (2021)Query LiftingProgramming Languages and Systems10.1007/978-3-030-72019-3_21(579-606)Online publication date: 23-Mar-2021
  • Show More Cited By

Recommendations

Reviews

Ferdi W. J. Put

Nested relations can be obtained by removing the first normal form assumption in the relational model. As a consequence, tuple values can be either atomic or set-valued. During the 1980s, a lot of research was conducted on nested relations as an extension of the basic relational model. This paper does not consider nested relations as such, but rather a nested algebra in combination with the classical flat relational model. Both the operands and the result are flat relations (ff-expressions). The key problem addressed in this paper is the following. If we consider flat relations, is it possible to write queries in nested algebra that cannot be expressed in regular relational algebra__?__ The algebra (introduced in S<__?__Pub Caret>ection 2) consists of nine operators: union, difference, product, projection, selection, nest, unnest, empty, and renaming. Not included is the powerset operator. In Section 3, the authors indicate how the algebra must be translated into a nested calculus. This translation is used as an intermediate step in the translation of ff-expressions of the nested algebra into equivalent expressions of the flat algebra, because finding a completely algebraic strategy to obtain the same result remains an open problem. This translation (Section 4) is the main part of the paper (20 pages, of which 6 are occupied by the central proof of constructiveness). The main result is that every ff-expression of the nested algebra can be translated into an equivalent expression in the flat algebra. Without the powerset operator, it is not possible to express recursive queries. In this case, the regular flat algebra is rich enough to extract the same information from a database. The authors claim, however, that user queries, which are still expressed in a flat query language, can be optimized by using properties of the nested algebra. The intention of this paper is completely different from other research in this field. For example, Kitagawa and Kunii use nested relations to represent complex objects, such as office forms [1]. The associated algebra not only operates on the contents of the database, as in the flat relational model, but allows one to modify the structure of the nested relations dynamically. This ability is essential for the manipulation of complex user objects in an office environment.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Database Systems
ACM Transactions on Database Systems  Volume 17, Issue 1
March 1992
199 pages
ISSN:0362-5915
EISSN:1557-4644
DOI:10.1145/128765
  • Editor:
  • Gio Wiederhold
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1992
Published in TODS Volume 17, Issue 1

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. algebraic query transformation
  2. nested algebra
  3. nested calculus
  4. nested relations
  5. relational databases

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)46
  • Downloads (Last 6 weeks)16
Reflects downloads up to 30 Aug 2024

Other Metrics

Citations

Cited By

View all
  • (2023)Synthesizing Nested Relational Queries from Implicit SpecificationsProceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3584372.3588653(33-45)Online publication date: 18-Jun-2023
  • (2021)Generating collection transformations from proofsProceedings of the ACM on Programming Languages10.1145/34342955:POPL(1-28)Online publication date: 4-Jan-2021
  • (2021)Query LiftingProgramming Languages and Systems10.1007/978-3-030-72019-3_21(579-606)Online publication date: 23-Mar-2021
  • (2019)Mixing set and bag semanticsProceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages10.1145/3315507.3330202(70-73)Online publication date: 23-Jun-2019
  • (2019)First-order definable counting-only queriesAnnals of Mathematics and Artificial Intelligence10.1007/s10472-019-09652-887:1-2(109-136)Online publication date: 1-Oct-2019
  • (2018)Incremental View Maintenance for Property Graph QueriesProceedings of the 2018 International Conference on Management of Data10.1145/3183713.3183724(1843-1845)Online publication date: 27-May-2018
  • (2018)NoSQL Languages and SystemsNoSQL Data Models10.1002/9781119528227.ch1(1-20)Online publication date: 6-Aug-2018
  • (2017)J-LogicProceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3034786.3056106(137-149)Online publication date: 9-May-2017
  • (2016)Incremental View Maintenance For Collection ProgrammingProceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/2902251.2902286(75-90)Online publication date: 15-Jun-2016
  • (2016)Relation-valued attributes in rank-aware databases and related concepts2016 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS)10.1109/NAFIPS.2016.7851581(1-6)Online publication date: Oct-2016
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media