Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/652
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-17T15:26:54Z | - |
dc.date.available | 2005-03-17T15:26:54Z | - |
dc.date.issued | 2001 | - |
dc.identifier.citation | Information and Computation, 168(2). p. 156-186 | - |
dc.identifier.issn | 0890-5401 | - |
dc.identifier.uri | http://hdl.handle.net/1942/652 | - |
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 noninflationary iteration; the relationship with logics that have the ability to count; and nested versus unnested loops. | - |
dc.format.extent | 507599 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Elsevier, Inc., 525 B Street, Suite 1900, San Diego CA 9201--4495. | - |
dc.title | Adding For-Loops to First-Order Logic | - |
dc.type | Journal Contribution | - |
dc.identifier.epage | 186 | - |
dc.identifier.issue | 2 | - |
dc.identifier.spage | 156 | - |
dc.identifier.volume | 168 | - |
local.bibliographicCitation.jcat | A1 | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.doi | 10.1006/inco.2000.2961 | - |
dc.identifier.isi | 000170174600005 | - |
item.accessRights | Open Access | - |
item.validation | ecoom 2002 | - |
item.fulltext | With Fulltext | - |
item.fullcitation | NEVEN, Frank; Otto, M; Tyszkiewicz, J. & VAN DEN BUSSCHE, Jan (2001) Adding For-Loops to First-Order Logic. In: Information and Computation, 168(2). p. 156-186. | - |
item.contributor | NEVEN, Frank | - |
item.contributor | Otto, M | - |
item.contributor | Tyszkiewicz, J. | - |
item.contributor | VAN DEN BUSSCHE, Jan | - |
crisitem.journal.issn | 0890-5401 | - |
crisitem.journal.eissn | 1090-2651 | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
forfull.pdf | 495.7 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
3
checked on Sep 2, 2020
WEB OF SCIENCETM
Citations
3
checked on Apr 4, 2024
Page view(s)
76
checked on Jul 28, 2023
Download(s)
142
checked on Jul 28, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.