Article

Free access

Universality of data retrieval languages

Authors:

Jeffrey D. UllmanAuthors Info & Claims

POPL '79: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Pages 110 - 119

https://doi.org/10.1145/567752.567763

Published: 01 January 1979 Publication History

Abstract

We consider the question of how powerful a relational query language should be and state two principles that we feel any query language should satisfy. We show that although relational algebra and relational calculus satisfy these principles, there are certain queries involving least fixed points that cannot be expressed by these languages, yet that also satisfy the principles. We then consider various extensions of relational algebra to enable it to answer such queries. Finally, we discuss our extensions to relational algebra in terms of a new programming language oriented model for queries.

References

[1]

{AHU} A. V. Aho, J. E. Hopcroft, and J. D. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, Mass., 1974.

Digital Library

[2]

{ASU} A. V. Aho, Y. Sagiv, and J. D. Ullman, "Equivalences Among Relational Expressions," SIAM J. Computing, 1978.

[3]

{B} F. Bancilhon, "On the completeness of query languages for relational expressions," Rapport de Recherche No. 297, IRIA, Rocquencourt, France, May, 1978.

[4]

{C1} E. F. Codd, "A Relational Model for Large Shared Data Banks," Comm. ACM13:6 (June, 1970), 377-387.

Digital Library

[5]

{C2} E. F. Codd, "Relational Completeness of Data Base Sublanguages," in Data Base Systems (R. Rustin, ed.), Prentice-Hall, Englewood Cliffs, N. J., 1972, pp. 65-98.

[6]

{Ch} A. Church, Introduction to Mathematical Logic, Vol. 1, Princeton University Press, 1956.

[7]

{CM} A. K. Chandra and P. M. Merlin, "Optimal Implementation of Conjunctive Queries in Relational Data Bases," Proc. Ninth Annual ACM Symposium on Theory of Computing, May 1976, pp. 77-90.

Digital Library

[8]

{D} C. J. Date, An Introduction to Database Systems, Addison-Wesley, Reading, Mass., 1975.

Digital Library

[9]

{HU} J. E. Hopcroft and J. D. Ullman, Formal Languages and their Relation to Automata, Addison-Wesley, Reading, Mass., 1969.

Digital Library

[10]

{P} J. Paredaena, Information Processing Letters 7:2, 1978.

[11]

{S} C. P. Schnorr, "An Algorithm for Transitive Closure with Linear Expected Time," SIAM J. Computing7:2 (May, 1978), 127-133.

[12]

{SC} J. M. Smith and P. Y.-T. Chang, "Optimizing the Performance of a Relational Algebra Database Interface," Comm. ACM18:10 (Oct., 1975), 568-579.

Digital Library

[13]

{SY} Y. Sagiv and M. Yannikakis, "Equivalence Among Relational Expressions with the Union and Difference Operations," Proc. ACM International Conference on Very Large Data Bases, Sept., 1978.

[14]

{T} A. Tarski, "A Lattice-Theoretical Fixpoint Theorem and its Applications," Pacific J. Mathematics5:2 (June, 1955), 285-309.

[15]

{Z} M. M. Zloof, "Query-by-Example: a Database Language," IBM Syst. J.,16:4 (1977), pp. 324-343.

Digital Library

Cited By

Sekorin V(2024)On Undecidability of Unary Nonnested PFP Operators for One Successor Function TheoryRussian Mathematics10.3103/S1066369X2470030068:4(79-82)Online publication date: 6-Aug-2024
https://doi.org/10.3103/S1066369X24700300
Sekorin V(2024)On undecidability of unary non-nested PFP-operators for one successor function theoryIzvestiya Vysshikh Uchebnykh Zavedenii. Matematika10.26907/0021-3446-2024-4-89-93(89-93)Online publication date: 24-Apr-2024
https://doi.org/10.26907/0021-3446-2024-4-89-93
Fejza AGenevès PLayaïda N(2024)Efficient Enumeration of Recursive Plans in Transformation-Based Query OptimizersProceedings of the VLDB Endowment10.14778/3681954.368198617:11(3095-3108)Online publication date: 1-Jul-2024
https://dl.acm.org/doi/10.14778/3681954.3681986
Show More Cited By

Universality of data retrieval languages
1. Information systems
  1. Data management systems
2. Theory of computation

Recommendations

Languages as libraries
PLDI '11

Programming language design benefits from constructs for extending the syntax and semantics of a host language. While C's string-based macros empower programmers to introduce notational shorthands, the parser-level macros of Lisp encourage ...
Languages as libraries
PLDI '11: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation

Programming language design benefits from constructs for extending the syntax and semantics of a host language. While C's string-based macros empower programmers to introduce notational shorthands, the parser-level macros of Lisp encourage ...
Database models and query languages for relational data and metadata query processing

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

POPL '79: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

January 1979

290 pages

ISBN:9781450373579

DOI:10.1145/567752

Conference Chairs:
Alfred V. Aho
Bell Laboratories, Murray Hill, NJ
,
Stephen N. Zilles
IBM Research, San Jose, CA
,
Program Chair:
Barry K. Rosen
IBM Thomas J. Watson Research Center, Yorktown Heights, NY

Copyright © 1979 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1979

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

POPL '79 Paper Acceptance Rate 27 of 146 submissions, 18%;

Overall Acceptance Rate 724 of 3,601 submissions, 20%

Upcoming Conference

POPL '25

Sponsor:
sigplan

The 52nd Annual ACM SIGPLAN Symposium on Principles of Programming Languages

January 19 - 25, 2025

Denver , CO , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

450
Total Citations
View Citations
2,076
Total Downloads

Downloads (Last 12 months)280
Downloads (Last 6 weeks)37

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Sekorin V(2024)On Undecidability of Unary Nonnested PFP Operators for One Successor Function TheoryRussian Mathematics10.3103/S1066369X2470030068:4(79-82)Online publication date: 6-Aug-2024
https://doi.org/10.3103/S1066369X24700300
Sekorin V(2024)On undecidability of unary non-nested PFP-operators for one successor function theoryIzvestiya Vysshikh Uchebnykh Zavedenii. Matematika10.26907/0021-3446-2024-4-89-93(89-93)Online publication date: 24-Apr-2024
https://doi.org/10.26907/0021-3446-2024-4-89-93
Fejza AGenevès PLayaïda N(2024)Efficient Enumeration of Recursive Plans in Transformation-Based Query OptimizersProceedings of the VLDB Endowment10.14778/3681954.368198617:11(3095-3108)Online publication date: 1-Jul-2024
https://dl.acm.org/doi/10.14778/3681954.3681986
Fejza AGenevès PLayaïda N(2024)A Fast Plan Enumerator for Recursive Queries2024 IEEE 40th International Conference on Data Engineering (ICDE)10.1109/ICDE60146.2024.00425(5449-5452)Online publication date: 13-May-2024
https://doi.org/10.1109/ICDE60146.2024.00425
Rajić GSruk V(2024)Definitions and Computational Properties of OCL: A Systematic ReviewIEEE Access10.1109/ACCESS.2024.342886512(99704-99738)Online publication date: 2024
https://doi.org/10.1109/ACCESS.2024.3428865
Chu CLiu CXu DWang YLuo TLi HLi X(2023)Accelerating Deformable Convolution Networks with Dynamic and Irregular Memory AccessesACM Transactions on Design Automation of Electronic Systems10.1145/359743128:4(1-23)Online publication date: 18-Jul-2023
https://dl.acm.org/doi/10.1145/3597431
Tang ZZhang JZhang K(2023)What-is and How-to for Fairness in Machine Learning: A Survey, Reflection, and PerspectiveACM Computing Surveys10.1145/359719955:13s(1-37)Online publication date: 13-Jul-2023
https://dl.acm.org/doi/10.1145/3597199
Harrison KJohnson E(2023)Affective Corners as a Problematic for Design InteractionsACM Transactions on Human-Robot Interaction10.1145/359645212:4(1-9)Online publication date: 23-Jun-2023
https://dl.acm.org/doi/10.1145/3596452
Jia XKumar ATan G(2023)A Derivative-based Parser Generator for Visibly Pushdown GrammarsACM Transactions on Programming Languages and Systems10.1145/359147245:2(1-68)Online publication date: 15-May-2023
https://dl.acm.org/doi/10.1145/3591472
Murali APeña LLöding CMadhusudan P(2023)A First-order Logic with FramesACM Transactions on Programming Languages and Systems10.1145/358305745:2(1-44)Online publication date: 15-May-2023
https://dl.acm.org/doi/10.1145/3583057
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents