Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/683
Title: | First-order queries on databases embedded in an infinite structure | Authors: | Otto, M VAN DEN BUSSCHE, Jan |
Issue Date: | 1996 | Publisher: | Elsevier Science Limited | Source: | Information Processing Letters, 60 (1), p. 37-41 | Abstract: | We consider "generic" (isomorphism-invariant) queries on relational databases embedded in an infinite background structure. Assume a generic query is expressible by a first-order formula over the embedded domain that may involve both the relations of the database and the relations and functions of the background structure. Then this query is already expressible by a first-order formula involving just an auxiliary linear ordering as background structure. We present an elementary proof of this fact. | Document URI: | http://hdl.handle.net/1942/683 | DOI: | 10.1016/S0020-0190(96)00140-8 | Type: | Journal Contribution |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
databases_embedded.pdf | 189.09 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
14
checked on Sep 2, 2020
WEB OF SCIENCETM
Citations
13
checked on Apr 24, 2024
Page view(s)
60
checked on Sep 7, 2022
Download(s)
178
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.