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.

    Cited by: 9|Bibtex|Views4|Links
    EI

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments