Expressive Logical Combinators for Free - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2015

Expressive Logical Combinators for Free

Pierre Genevès

Abstract

A popular technique for the analysis of web query languages relies on the translation of queries into logical formulas. These formulas are then solved for satisfiability using an off-the-shelf satisfiabil-ity solver. A critical aspect in this approach is the size of the obtained logical formula, since it constitutes a factor that affects the combined complexity of the global approach. We present logical combi-nators whose benefit is to provide an exponential gain in succinctness in terms of the size of the logical representation. This opens the way for solving a wide range of problems such as satisfiability and containment for expressive query languages in exponential-time, even though their direct formulation into the underlying logic results in an exponential blowup of the formula size, yielding an incorrectly presumed two-exponential time complexity. We illustrate this from a practical point of view on a few examples such as numerical occurrence constraints and tree frontier properties which are concrete problems found with semi-structured data.
Fichier principal
Vignette du fichier
Lean-ijcai15.pdf (229.85 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00868724 , version 1 (01-10-2013)
hal-00868724 , version 2 (08-10-2013)
hal-00868724 , version 3 (11-10-2013)
hal-00868724 , version 4 (06-05-2015)

Identifiers

  • HAL Id : hal-00868724 , version 4

Cite

Pierre Genevès, Alan Schmitt. Expressive Logical Combinators for Free. International Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina. ⟨hal-00868724v4⟩
859 View
341 Download

Share

More