First-Order Query Evaluation with Cardinality Conditions
SIGMOD/PODS '18: International Conference on Management of Data Houston TX USA June, 2018, pp. 253-266, 2018.
We study an extension of first-order logic FO that allows to express cardinality conditions in a similar way as SQLu0027s COUNT operator. The corresponding logic FOC(P) was introduced by Kuske and Schweikardt, who showed that query evaluation for this logic is fixed-parameter tractable on classes of databases of bounded degree. In this pa...More
Full Text (Upload PDF)
PPT (Upload PPT)