Executable First-Order Queries in the Logic of Information Flows

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

Research output: Chapter in Book/Report/Conference proceedingConference paper

1 Citation (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.

Original languageEnglish
Title of host publication23rd International Conference on Database Theory (ICDT 2020)
EditorsCarsten Lutz, Christoph Jung
Number of pages14
ISBN (Electronic)978-3-95977-139-9}
Publication statusPublished - Mar 2020
Event23rd International Conference on Database Theory (ICDT 2020) - Copenhagen, Denmark
Duration: 30 Mar 20202 Apr 2020
Conference number: 23

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
PublisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
ISSN (Print)1868-8969
ISSN (Electronic)1868-8969


Conference23rd International Conference on Database Theory (ICDT 2020)
Abbreviated titleICDT
Internet address

Fingerprint Dive into the research topics of 'Executable First-Order Queries in the Logic of Information Flows'. Together they form a unique fingerprint.

Cite this