Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/29069
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | GYSSENS, Marc | - |
dc.contributor.author | HELLINGS, Jelle | - |
dc.contributor.author | Paredaens, Jan | - |
dc.contributor.author | Van Gucht, Dirk | - |
dc.contributor.author | Wijsen, Jef | - |
dc.contributor.author | Wu, Yuqing | - |
dc.date.accessioned | 2019-08-29T13:11:18Z | - |
dc.date.available | 2019-08-29T13:11:18Z | - |
dc.date.issued | 2019 | - |
dc.identifier.citation | JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 105, p. 54-86 | - |
dc.identifier.issn | 0022-0000 | - |
dc.identifier.uri | http://hdl.handle.net/1942/29069 | - |
dc.description.abstract | Symmetric queries are introduced as queries on a sequence of sets of objects the result of which does not depend on the order of the sets. An appropriate data model is proposed, and two query languages are introduced, QuineCALC and SyCALC. They are correlated with the symmetric Boolean respectively relational functions. The former correlation yields an incidence-based normal form for QuineCALC queries. More generally, we propose counting only queries as those SyCALC queries the result of which only depends on incidence information, and characterize them as quantified Boolean combinations of QuineCALC queries. A normal form is proposed for them too. It turns out to be undecidable whether a SyCALC query is counting-only, but decidable whether a counting-only query is a QuineCALC query. Finally, some classical decidability problems are considered which are shown to be undecidable for SyCALC, but decidable for QuineCALC and counting-only queries. (C) 2019 Elsevier Inc. All rights reserved. | - |
dc.language.iso | en | - |
dc.publisher | ACADEMIC PRESS INC ELSEVIER SCIENCE | - |
dc.rights | 2019ElsevierInc.Allrightsreserved | - |
dc.subject.other | Bag of sets data model; Symmetric query; Two-sorted first-order logic; Two-sorted relational calculus; Symmetric Boolean function; Symmetric relational function; Counting-only query; Normal form; Expressibility; Satisfiability | - |
dc.subject.other | Bag of sets data model; Symmetric query; Two-sorted first-order logic; Two-sorted relational calculus; Symmetric Boolean function; Symmetric relational function; Counting-only query; Normal form; Expressibility; Satisfiability | - |
dc.title | Calculi for symmetric queries | - |
dc.type | Journal Contribution | - |
dc.identifier.epage | 86 | - |
dc.identifier.spage | 54 | - |
dc.identifier.volume | 105 | - |
local.format.pages | 33 | - |
local.bibliographicCitation.jcat | A1 | - |
dc.description.notes | [Gyssens, Marc; Hellings, Jelle] Hasselt Univ, Martelarenlaan 42, B-3500 Hasselt, Belgium. [Hellings, Jelle] Univ Calif Davis, Dept Comp Sci, Exploratory Syst Lab, Davis, CA 95616 USA. [Paredaens, Jan] Univ Antwerp, Middelheimlaan 1, B-2020 Antwerp, Belgium. [Van Gucht, Dirk] Indiana Univ, Sch Informat Comp & Engn, 919 E 10th St, Bloomington, IN 47408 USA. [Wijsen, Jef] Univ Mons, Pl Parc 20, B-7000 Mons, Belgium. [Wu, Yuqing] Pomona Coll, 185 E 6th St, Claremont, CA 91711 USA. | - |
local.publisher.place | SAN DIEGO | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.identifier.doi | 10.1016/j.jcss.2019.04.003 | - |
dc.identifier.isi | 000474332400003 | - |
item.validation | ecoom 2020 | - |
item.fulltext | With Fulltext | - |
item.accessRights | Open Access | - |
item.fullcitation | GYSSENS, Marc; HELLINGS, Jelle; Paredaens, Jan; Van Gucht, Dirk; Wijsen, Jef & Wu, Yuqing (2019) Calculi for symmetric queries. In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 105, p. 54-86. | - |
item.contributor | GYSSENS, Marc | - |
item.contributor | HELLINGS, Jelle | - |
item.contributor | Paredaens, Jan | - |
item.contributor | Van Gucht, Dirk | - |
item.contributor | Wijsen, Jef | - |
item.contributor | Wu, Yuqing | - |
crisitem.journal.issn | 0022-0000 | - |
crisitem.journal.eissn | 1090-2724 | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
gyssens 1.pdf Restricted Access | Published version | 890.42 kB | Adobe PDF | View/Open Request a copy |
sycalcpaper.pdf | Peer-reviewed author version | 583.29 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
1
checked on Sep 3, 2020
WEB OF SCIENCETM
Citations
1
checked on May 1, 2024
Page view(s)
124
checked on Sep 7, 2022
Download(s)
154
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.