Pattern logics and auxiliary relations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Pattern logics and auxiliary relations

Résumé

A common theme in the study of logics over finite structures is adding auxiliary predicates to enhance expressiveness and convey additional information. Examples include adding an order or arithmetic for capturing complexity classes, or the power of real-life declarative languages. A recent trend is to add a data-value comparison relation to words, trees, and graphs, for capturing modern data models such as XML and graph databases. Such additions often result in the loss of good properties of the underlying logic. Our goal is to show that such a loss can be avoided if we use pattern-based logics, standard in XML and graph data querying. The essence of such logics is that auxiliary relations are tested locally with respect to other relations in the structure. These logics are shown to admit strong versions of Hanf and Gaifman locality theorems, which are used to prove a homomorphism preservation theorem, and a decidability result for the satisfiability problem. We discuss applications of these results to pattern logics over data forests, and consequently to querying XML data.
Fichier principal
Vignette du fichier
hal.pdf (737 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01793593 , version 1 (16-05-2018)

Identifiants

Citer

Diego Figueira, Leonid Libkin. Pattern logics and auxiliary relations. CSL-LICS'14, joint EACSL Annual Conference on Computer Science Logic (CSL) and Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603136⟩. ⟨hal-01793593⟩

Collections

TDS-MACS
36 Consultations
52 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More