Safe queries in relational databases with functions

Joram Hirshfeld

doi:10.1007/bfb0023766

Safe queries in relational databases with functions

Joram Hirshfeld^*

^*Corresponding author for this work

School of Mathematical Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

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].

Original language	English
Title of host publication	Computer Science Logic - 5th Workshop, CSL 1991, Proceedings
Editors	Egon Borger, Gerhard Jager, Hans Kleine Buning, Michael M. Richter
Publisher	Springer Verlag
Pages	173-183
Number of pages	11
ISBN (Print)	9783540557890
DOIs	https://doi.org/10.1007/bfb0023766
State	Published - 1992
Event	5th Workshop on Computer Science Logic, CSL 1991 - Berne, Switzerland Duration: 7 Oct 1991 → 11 Oct 1991

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	626 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th Workshop on Computer Science Logic, CSL 1991
Country/Territory	Switzerland
City	Berne
Period	7/10/91 → 11/10/91

Access to Document

10.1007/bfb0023766

Cite this

Hirshfeld, J. (1992). Safe queries in relational databases with functions. In E. Borger, G. Jager, H. K. Buning, & M. M. Richter (Eds.), Computer Science Logic - 5th Workshop, CSL 1991, Proceedings (pp. 173-183). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 626 LNCS). Springer Verlag. https://doi.org/10.1007/bfb0023766

Hirshfeld, Joram. / Safe queries in relational databases with functions. Computer Science Logic - 5th Workshop, CSL 1991, Proceedings. editor / Egon Borger ; Gerhard Jager ; Hans Kleine Buning ; Michael M. Richter. Springer Verlag, 1992. pp. 173-183 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f3541206a7ca44c4a82988a3392815d7,

title = "Safe queries in relational databases with functions",

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].",

author = "Joram Hirshfeld",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1992.; 5th Workshop on Computer Science Logic, CSL 1991 ; Conference date: 07-10-1991 Through 11-10-1991",

year = "1992",

doi = "10.1007/bfb0023766",

language = "אנגלית",

isbn = "9783540557890",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "173--183",

editor = "Egon Borger and Gerhard Jager and Buning, {Hans Kleine} and Richter, {Michael M.}",

booktitle = "Computer Science Logic - 5th Workshop, CSL 1991, Proceedings",

}

Hirshfeld, J 1992, Safe queries in relational databases with functions. in E Borger, G Jager, HK Buning & MM Richter (eds), Computer Science Logic - 5th Workshop, CSL 1991, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 626 LNCS, Springer Verlag, pp. 173-183, 5th Workshop on Computer Science Logic, CSL 1991, Berne, Switzerland, 7/10/91. https://doi.org/10.1007/bfb0023766

Safe queries in relational databases with functions. / Hirshfeld, Joram.
Computer Science Logic - 5th Workshop, CSL 1991, Proceedings. ed. / Egon Borger; Gerhard Jager; Hans Kleine Buning; Michael M. Richter. Springer Verlag, 1992. p. 173-183 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 626 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Safe queries in relational databases with functions

AU - Hirshfeld, Joram

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1992.

PY - 1992

Y1 - 1992

N2 - 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].

AB - 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].

UR - http://www.scopus.com/inward/record.url?scp=0347713291&partnerID=8YFLogxK

U2 - 10.1007/bfb0023766

DO - 10.1007/bfb0023766

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:0347713291

SN - 9783540557890

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 173

EP - 183

BT - Computer Science Logic - 5th Workshop, CSL 1991, Proceedings

A2 - Borger, Egon

A2 - Jager, Gerhard

A2 - Buning, Hans Kleine

A2 - Richter, Michael M.

PB - Springer Verlag

T2 - 5th Workshop on Computer Science Logic, CSL 1991

Y2 - 7 October 1991 through 11 October 1991

ER -

Hirshfeld J. Safe queries in relational databases with functions. In Borger E, Jager G, Buning HK, Richter MM, editors, Computer Science Logic - 5th Workshop, CSL 1991, Proceedings. Springer Verlag. 1992. p. 173-183. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/bfb0023766

Safe queries in relational databases with functions

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this