Executable First-Order Queries in the Logic of Information Flows

Heba Aamer, Bart Bogaerts, Dimitri SURINX, Eugenia Ternovska, Jan Van den Bussche

Onderzoeksoutput: Conference paperResearch

1 Citaat (Scopus)


The logic of information flows (LIF) has recently been proposed as a general framework in the field of knowledge representation. In this framework, tasks of a procedural nature can still be modeled in a declarative, logic-based fashion. In this paper, we focus on the task of query processing under limited access patterns, a well-studied problem in the database literature. We show that LIF is well-suited for modeling this task. Toward this goal, we introduce a variant of LIF called “forward” LIF, in a first-order setting. We define FLIFio, a syntactical fragment of forward LIF, and show that it corresponds exactly to the “executable” fragment of first-order logic defined by Nash and Ludäscher. The definition of FLIFio involves a classification of the free variables of an expression into “input” and “output” variables. Our result hinges on inertia and determinacy laws for forward LIF expressions, which are interesting in their own right. These laws are formulated in terms of the input and output variables.

Originele taal-2English
Titel23rd International Conference on Database Theory (ICDT 2020)
RedacteurenCarsten Lutz, Christoph Jung
Aantal pagina's14
ISBN van elektronische versie978-3-95977-139-9}
StatusPublished - mrt 2020
Evenement23rd International Conference on Database Theory (ICDT 2020) - Copenhagen, Denmark
Duur: 30 mrt 20202 apr 2020
Congresnummer: 23

Publicatie series

NaamLeibniz International Proceedings in Informatics (LIPIcs)
UitgeverijSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
ISSN van geprinte versie1868-8969
ISSN van elektronische versie1868-8969


Conference23rd International Conference on Database Theory (ICDT 2020)
Verkorte titelICDT
Internet adres

Vingerafdruk Duik in de onderzoeksthema's van 'Executable First-Order Queries in the Logic of Information Flows'. Samen vormen ze een unieke vingerafdruk.

Citeer dit