BIROn - Birkbeck Institutional Research Online

    Exponential lower bounds and separation for query rewriting

    Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2012) Exponential lower bounds and separation for query rewriting. In: Czumaj, A. and Mehlhorn, K. and Pitts, A. and Wattenhofer, R. (eds.) Automata, Languages, and Programming. Lecture Notes in Computer Science 7392 7392. Berlin, Germany: Springer, pp. 263-274. ISBN 9783642315848.

    This is the latest version of this item.

    [img]
    Preview
    Text
    ICALP-final.pdf - Author's Accepted Manuscript

    Download (409kB) | Preview

    Abstract

    We establish connections between the size of circuits and formulas computing monotone Boolean functions and the size of first-order and nonrecursive Datalog rewritings for conjunctive queries over OWL 2 QL ontologies. We use known lower bounds and separation results from circuit complexity to prove similar results for the size of rewritings that do not use non-signature constants. For example, we show that, in the worst case, positive existential and nonrecursive Datalog rewritings are exponentially longer than the original queries; nonrecursive Datalog rewritings are in general exponentially more succinct than positive existential rewritings; while first-order rewritings can be superpolynomially more succinct than positive existential rewritings.

    Metadata

    Item Type: Book Section
    Additional Information: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Roman Kontchakov
    Date Deposited: 13 May 2013 08:21
    Last Modified: 09 Aug 2023 12:32
    URI: https://eprints.bbk.ac.uk/id/eprint/6632

    Available Versions of this Item

    Statistics

    Activity Overview
    6 month trend
    370Downloads
    6 month trend
    263Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item