2 papers
cs.LO2022
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…
cs.DB2018
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…