Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/955
Title: | The semijoin algebra and the guarded fragment | Authors: | LEINDERS, Dirk Marx, J. Tyszkiewicz, J. VAN DEN BUSSCHE, Jan |
Issue Date: | 2005 | Publisher: | Kluwer | Source: | Journal of Logic, Language and Information, 14. p. 331-343 | Abstract: | In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In this paper, we show that if we replace in Codd’s relational algebra the product operator by the “semijoin” operator, then the resulting “semijoin algebra” is equivalent to the guarded fragment of first-order logic. We also define a fixed point extension of the semijoin algebra that corresponds to μGF. | Document URI: | http://hdl.handle.net/1942/955 | ISSN: | 0925-8531 | e-ISSN: | 1572-9583 | DOI: | 10.1007/s10849-005-5789-8 | Category: | A2 | Type: | Journal Contribution |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
semijoin.pdf | 171.5 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
19
checked on Sep 2, 2020
Page view(s)
78
checked on Sep 7, 2022
Download(s)
96
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.