31 citations · 31 across the 4 of their papers we have counts for
4 papers
Executable First-Order Queries in the Logic of Information Flows
Heba Aamer, Bart Bogaerts, Dimitri Surinx +2
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 procedural nature can s…
Inputs, Outputs, and Composition in the Logic of Information Flows
Heba Aamer, Bart Bogaerts, Dimitri Surinx +2
The logic of information flows (LIF) is a general framework in which tasks of a procedural nature can be modeled in a declarative, logic-based fashion. The first contribution of th…
A Monotone Preservation Result for Boolean Queries Expressed as a Containment of Conjunctive Queries
Dimitri Surinx, Jan Van den Bussche
When a relational database is queried, the result is normally a relation. Some queries, however, only require a yes/no answer; such queries are often called boolean queries. It is…
Relative Expressive Power of Navigational Querying on Graphs
George H. L. Fletcher, Marc Gyssens, Dirk Leinders +5
Motivated by both established and new applications, we study navigational query languages for graphs (binary relations). The simplest language has only the two operators union and…