Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Computer Science Logic

CSL 1991: Computer Science Logic pp 173–183Cite as

Safe queries in relational databases with functions

  • Conference paper
  • First Online:

  • 138 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 626))

Abstract

We define the class of syntactically safe queries in first order languages with function symbols. We prove using ideas from model theory that every model independent query is equivalent to a safe query. This answers a question raised by Topor in [Topor 1987].

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Avron and J. Hirshfeld, On first order database query languages. Proceeding of the sixth symposium on Logic in Computer Sciences (1991) 226–231.

    Google Scholar 

  2. R. Demolombe, Syntactical characterization of a subset of domain independent formulas. Technical report, ONERA-CERT, Toulouse (1982).

    Google Scholar 

  3. R.A. Di Paola, The recursive unsolvability of the decision problem for the class of definite formulas. J. ACM 16(2) (1969) 324–327.

    Google Scholar 

  4. M. Kifer, On safely, domain independence and capturability of database queries. Proc. International Conference on database and knowledge bases. Jerusalem (1988) 405–415.

    Google Scholar 

  5. R.W. Topor, Domain independence formulas and databases. Theoretical Computer Science 52 (1987) 281–306.

    Google Scholar 

  6. R.W. Topor and E.A. Sonenberg, On domain independent databases, In Foundation of deductive database and logic programming. Editor J. Minker.(1987) 217–240.

    Google Scholar 

  7. J.D. Ullman, Principles of database and knowledge base systems Volume 1. Computer Science Press (1989).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Mathematical Sciences Raymond and Beverly Sackler Faculty of Exact Sciences, Tel Aviv University, 69978, Ramat-Aviv, Israel

    Joram Hirshfeld

Authors
  1. Joram Hirshfeld
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egon Börger Gerhard Jäger Hans Kleine Büning Michael M. Richter

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hirshfeld, J. (1992). Safe queries in relational databases with functions. In: Börger, E., Jäger, G., Kleine Büning, H., Richter, M.M. (eds) Computer Science Logic. CSL 1991. Lecture Notes in Computer Science, vol 626. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023766

Download citation

  • DOI: https://doi.org/10.1007/BFb0023766

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55789-0

  • Online ISBN: 978-3-540-47285-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation