Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/629
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | NEVEN, Frank | - |
dc.contributor.author | Otto, M | - |
dc.contributor.author | Tyszkiewicz, J. | - |
dc.contributor.author | VAN DEN BUSSCHE, Jan | - |
dc.date.accessioned | 2005-03-09T15:13:00Z | - |
dc.date.available | 2005-03-09T15:13:00Z | - |
dc.date.issued | 1999 | - |
dc.identifier.citation | DATABASE THEORY - ICDT'99. p. 58-69 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/1942/629 | - |
dc.description.abstract | We study the query language BQL: the extension of the relational algebra with for-loops. We also study FO(FOR): the extension of first-order logic with a for-loop variant of the partial fixpoint operator. In contrast to the known situation with query languages which include while-loops instead of for-loops, BQL and FO(FOR) are not equivalent. Among the topics we investigate are: the precise relationship between BQL and FO(FOR); inflationary versus non-inflationary iteration; the relationship with logics that have the ability to count; and nested versus unnested loops. | - |
dc.format.extent | 507562 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Springer-Verlag GmbH | - |
dc.relation.ispartofseries | LECTURE NOTES IN COMPUTER SCIENCE | - |
dc.title | Adding For-Loops to First-Order Logic | - |
dc.type | Journal Contribution | - |
local.bibliographicCitation.conferencename | DATABASE THEORY - ICDT'99 | - |
dc.identifier.epage | 69 | - |
dc.identifier.spage | 58 | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
local.relation.ispartofseriesnr | 1540 | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.isi | 000082775200005 | - |
item.accessRights | Open Access | - |
item.contributor | NEVEN, Frank | - |
item.contributor | Otto, M | - |
item.contributor | Tyszkiewicz, J. | - |
item.contributor | VAN DEN BUSSCHE, Jan | - |
item.fulltext | With Fulltext | - |
item.fullcitation | NEVEN, Frank; Otto, M; Tyszkiewicz, J. & VAN DEN BUSSCHE, Jan (1999) Adding For-Loops to First-Order Logic. In: DATABASE THEORY - ICDT'99. p. 58-69. | - |
item.validation | ecoom 2000 | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
07 Adding for Loops to first order logic.pdf | 495.67 kB | Adobe PDF | View/Open |
WEB OF SCIENCETM
Citations
2
checked on Apr 16, 2024
Page view(s)
110
checked on Sep 7, 2022
Download(s)
214
checked on Sep 7, 2022
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.