Journal article
Calculi for symmetric queries
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 …
Authors
Gyssens M; Hellings J; Paredaens J; Van Gucht D; Wijsen J; Wu Y
Journal
Journal of Computer and System Sciences, Vol. 105, , pp. 54–86
Publisher
Elsevier
Publication Date
11 2019
DOI
10.1016/j.jcss.2019.04.003
ISSN
0022-0000