Skip to main content
SpringerLink
Log in

Safety and Domain Independence

  • Reference work entry
  • First Online:
Encyclopedia of Database Systems

  • 41 Accesses

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 4,499.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 6,499.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Recommended Reading

  1. Abiteboul R, Hull R, Vianu V. Foundations of databases, chapter 5. Reading: Addison-Wesley; 1995. p. 70–104.

    Google Scholar 

  2. Benedikt M, Libkin L. Safe constraint queries. SIAM J Comput. 2000;29(5):1652–82.

    Article  MathSciNet  MATH  Google Scholar 

  3. DiPaola RA. The recursive unsolvability of the decision problem for the class of definite formulas. J ACM. 1969;16(2):324–7.

    Article  Google Scholar 

  4. Escobar-Molano M, Hull R, Jacobs D. Safety and translation of calculus queries with scalar functions. In: Proceedings of the 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems; 1993. p. 253–64.

    Google Scholar 

  5. Hull R, Su J. Domain independence and the relational calculus. Acta Inform. 1994;31(6):513–24.

    Article  MathSciNet  MATH  Google Scholar 

  6. Kifer M. On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report). In: Proceedings of the 3rd International Conferences on Data and Knowledge Bases; 1988. p. 405–15.

    Google Scholar 

  7. Stolboushkin AP, Taitslin MA. Finite queries do not have effective syntax. Inf Comput. 1996;153(1):99–116.

    Article  MathSciNet  MATH  Google Scholar 

  8. Suciu D. Domain-independent queries on databases with external functions. Theor Comput Sci. 1998;190(2):279–315.

    Article  MathSciNet  MATH  Google Scholar 

  9. Topor RW. Domain independent formulas and databases. Theor Comput Sci. 1987;52(3):281–306.

    Article  MathSciNet  MATH  Google Scholar 

  10. Ullman JD. Principles of database and knowledge-base systems Volume I, Sections 3.2 and 3.8. Rockville: Computer Science Press; 1988. p. 100–6.

    Google Scholar 

  11. Vardi MY. The decision problem for database dependencies. Inf Process Lett. 1981;13(5):251–4.

    Article  MathSciNet  MATH  Google Scholar 

  12. Van Gelder A, Topor RW. Safety and translation of relational calculus aueries. ACM Trans Database Syst. 1981;16(2):235–78.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Griffith University, Nathan, Australia

    Rodney Topor

Authors
  1. Rodney Topor
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rodney Topor .

Editor information

Editors and Affiliations

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

    Ling Liu

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

    M. Tamer Özsu

Section Editor information

  1. School of Informatics, University of Edinburgh, Edinburgh, Scotland, UK

    Leonid Libkin

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Science+Business Media, LLC, part of Springer Nature

About this entry

Check for updates. Verify currency and authenticity via CrossMark

Cite this entry

Topor, R. (2018). Safety and Domain Independence. In: Liu, L., Özsu, M.T. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-8265-9_1255

Download citation

Publish with us

Policies and ethics

Search

Navigation