Skip to main content
SpringerLink
Log in
Book cover

Encyclopedia of Database Systems pp 1–7Cite as

Computationally Complete Relational Query Languages

  • Living reference work entry
  • First Online:

  • 57 Accesses

Synonyms

Complete query languages; Chandra and Harel complete query languages

Definition

A relational query language (or query language) is a set of expressions (or programs). The semantics of a query language defines for each of these expressions a corresponding query which is a generic, computable function from finite relation instances to finite relation instances over fixed schemas. A query language is computationally complete (or complete) if it defines all queries.

The genericity condition is a consistency criterion requiring that a query commute with isomorphisms of the database domain. Thus, when applied to isomorphic input relation instances, a query returns isomorphic output relation instances. The concept of genericity is based on the well-accepted idea that the result of a query should be independent of the representation of data in a database and should treat the elements of the database as uninterpreted objects [4]. The computability condition requires that the query can...

This is a preview of subscription content, log in via an institution.

Recommended Reading

  1. Abiteboul S, Hull R, Vianu V. Foundations of databases. Reading: Addison-Wesley; 1995.

    MATH  Google Scholar 

  2. Abiteboul S, Kanellakis PC. Object identity as a query language primitive. J ACM. 1998;45(5):798–842.

    Article  MathSciNet  MATH  Google Scholar 

  3. Abiteboul S, Vianu V. Procedural languages for database queries and updates. J Comput Syst Sci. 1990;41(2):181–229.

    Article  MathSciNet  MATH  Google Scholar 

  4. Aho AV, Ullman JD. Universality of data retrieval languages. In: Proceedings of 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages; 1979. p. 110–20.

    Google Scholar 

  5. Bancilhon F. On the completeness of query languages for relational data bases. In: Proceedings of 7th Symposium on the Mathematical Foundations of Computer Science; 1978. p. 112–23.

    Google Scholar 

  6. Chandra A. Programming primitives for database languages. In: Proceedings of 8th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages; 1981. p. 50–62.

    Google Scholar 

  7. Chandra A, Harel D. Computable queries for relational data bases. J Comput Syst Sci. 1980;21(2):156–78.

    Article  MathSciNet  MATH  Google Scholar 

  8. Chandra A, Harel D. Structure and complexity of relational queries. J Comput Syst Sci. 1982;25:99–128.

    Article  MATH  Google Scholar 

  9. Codd E. A relational model for large shared databanks. Commun ACM. 1970;13(6):377–87.

    Article  MATH  Google Scholar 

  10. Codd E. Relational completeness of data base sublanguages. In: Rustin R, editor. Data base systems. Englewood Cliffs: Prentice-Hall; 1972. p. 65–98.

    Google Scholar 

  11. Fagin R. Monadic generalized spectra. Z Math Logik Grundlagen Math. 1975;21:2189–96.

    MathSciNet  MATH  Google Scholar 

  12. Gyssens M, Van den Bussche J, Van Gucht D. Complete geometric query languages. J Comput Syst Sci. 1999;58(3):483–511.

    Article  MathSciNet  MATH  Google Scholar 

  13. Paredaens J. On the expressive power of the relational algebra. Inf Process Lett. 1978;7(2):107–11.

    Article  MathSciNet  MATH  Google Scholar 

  14. Paredaens J. Spatial databases, a new frontier. In: Proceedings of 5th International Conference on Database Theory; 1995. p. 14–32.

    Google Scholar 

  15. Tarski A, Corcoran J. What are logical notions? Hist Philos Logic. 1986;7:154.

    Article  MathSciNet  MATH  Google Scholar 

  16. Van den Bussche J, Van Gucht D, Andries M, Gyssens M. On the completeness of object-creating database transformation languages. J ACM. 1997;44(2):272–319.

    Article  MathSciNet  MATH  Google Scholar 

  17. Vardi MY. The complexity of relational query languages. In: Proceedings of 14th Annual ACM Symposium on Theory of Computing; 1982. p. 137–46.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of California-San Diego, La Jolla, CA, USA

    Victor Vianu

  2. Indiana University, Bloomington, IN, USA

    Dirk Van Gucht

Authors
  1. Victor Vianu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dirk Van Gucht
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Victor Vianu .

Editor information

Editors and Affiliations

  1. Georgia Institute of Technology College of Computing, Atlanta, Georgia, USA

    Ling Liu

  2. University of Waterloo School of Computer Science, Waterloo, Ontario, Canada

    M. Tamer Özsu

Section Editor information

  1. School of Informatics, University of Edinburgh, Crichton Street, EH8 9LE, Edinburgh, Scotland, UK

    Leonid Libkin

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer Science+Business Media LLC

About this entry

Cite this entry

Vianu, V., Van Gucht, D. (2017). Computationally Complete Relational Query Languages. In: Liu, L., Özsu, M. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4899-7993-3_1243-2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4899-7993-3_1243-2

  • Received:

  • Accepted:

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4899-7993-3

  • Online ISBN: 978-1-4899-7993-3

  • eBook Packages: Springer Reference Computer SciencesReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation