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].
CITATION STYLE
Hirshfeld, J. (1992). Safe queries in relational databases with functions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 626 LNCS, pp. 173–183). Springer Verlag. https://doi.org/10.1007/bfb0023766
Mendeley helps you to discover research relevant for your work.