Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/32427
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | AAMER, Heba | - |
dc.contributor.author | Bogaerts, Bart | - |
dc.contributor.author | SURINX, Dimitri | - |
dc.contributor.author | Ternovska, Eugenia | - |
dc.contributor.author | VAN DEN BUSSCHE, Jan | - |
dc.date.accessioned | 2020-10-08T13:15:14Z | - |
dc.date.available | 2020-10-08T13:15:14Z | - |
dc.date.issued | 2020 | - |
dc.date.submitted | 2020-10-05T14:14:23Z | - |
dc.identifier.citation | Lutz , Carsten; Jung, Jean Christoph (Ed.). 23rd International Conference on Database Theory (ICDT 2020), Schloss Dagstuhl-Leibniz-Zentrum für Informatik, p. 4:1 -4:14 | - |
dc.identifier.isbn | 9783959771399 | - |
dc.identifier.issn | 1868-8969 | - |
dc.identifier.uri | http://hdl.handle.net/1942/32427 | - |
dc.description.abstract | 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 FLIF io , 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 FLIF io 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. | - |
dc.language.iso | en | - |
dc.publisher | Schloss Dagstuhl-Leibniz-Zentrum für Informatik | - |
dc.relation.ispartofseries | Leibniz International Proceedings in Informatics (LIPIcs) | - |
dc.rights | © Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, and Jan Van den Bussche; licensed under Creative Commons License CC-BY | - |
dc.subject.other | Logic of Information Flows | - |
dc.subject.other | Limited access pattern | - |
dc.subject.other | Executable first-order logic | - |
dc.title | Executable First-Order Queries in the Logic of Information Flows | - |
dc.type | Proceedings Paper | - |
local.bibliographicCitation.authors | Lutz , Carsten | - |
local.bibliographicCitation.authors | Jung, Jean Christoph | - |
local.bibliographicCitation.conferencename | 23rd International Conference on Database Theory (ICDT 2020) | - |
dc.identifier.epage | 4:14 | - |
dc.identifier.spage | 4:1 | - |
local.bibliographicCitation.jcat | C1 | - |
local.publisher.place | Dagstuhl, German | - |
local.type.refereed | Refereed | - |
local.type.specified | Proceedings Paper | - |
local.relation.ispartofseriesnr | 155 | - |
dc.identifier.doi | 10.4230/lipics.icdt.2020.4 | - |
local.provider.type | - | |
local.bibliographicCitation.btitle | 23rd International Conference on Database Theory (ICDT 2020) | - |
local.uhasselt.uhpub | yes | - |
item.validation | vabb 2024 | - |
item.fulltext | With Fulltext | - |
item.fullcitation | AAMER, Heba; Bogaerts, Bart; SURINX, Dimitri; Ternovska, Eugenia & VAN DEN BUSSCHE, Jan (2020) Executable First-Order Queries in the Logic of Information Flows. In: Lutz , Carsten; Jung, Jean Christoph (Ed.). 23rd International Conference on Database Theory (ICDT 2020), Schloss Dagstuhl-Leibniz-Zentrum für Informatik, p. 4:1 -4:14. | - |
item.accessRights | Open Access | - |
item.contributor | AAMER, Heba | - |
item.contributor | Bogaerts, Bart | - |
item.contributor | SURINX, Dimitri | - |
item.contributor | Ternovska, Eugenia | - |
item.contributor | VAN DEN BUSSCHE, Jan | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
LIPIcs-ICDT-2020-4.pdf | Published version | 453.78 kB | Adobe PDF | View/Open |
Page view(s)
52
checked on May 25, 2022
Download(s)
10
checked on May 25, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.