2000 character limit reached
Conjunctive Queries for Logic-Based Information Extraction (2208.01298v1)
Published 2 Aug 2022 in cs.LO, cs.DB, and cs.FL
Abstract: This thesis offers two logic-based approaches to conjunctive queries in the context of information extraction. The first and main approach is the introduction of conjunctive query fragments of the logics FC and FC[REG], denoted as FC-CQ and FC[REG]-CQ respectively. FC is a first-order logic based on word equations, where the semantics are defined by limiting the universe to the factors of some finite input word. FC[REG] is FC extended with regular constraints. The second approach is to consider the dynamic complexity of FC.