Zobrazeno 1 - 10
of 24
pro vyhledávání: '"SURINX, DIMITRI"'
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 2 (May 8, 2024) lmcs:10121
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 still be modeled in a declarative, logic-based fashion. In this paper,
Externí odkaz:
http://arxiv.org/abs/2210.00240
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 this paper is to propose semantic and syntactic definitions of inputs an
Externí odkaz:
http://arxiv.org/abs/2209.06448
A Monotone Preservation Result for Boolean Queries Expressed as a Containment of Conjunctive Queries
Autor:
Surinx, Dimitri, Bussche, Jan Van den
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 customary in database theory to express boolean queries by testing non
Externí odkaz:
http://arxiv.org/abs/1808.08822
Autor:
Fletcher, George H. L., Gyssens, Marc, Leinders, Dirk, Surinx, Dimitri, Bussche, Jan Van den, Van Gucht, Dirk, Vansummeren, Stijn, Wu, Yuqing
Publikováno v:
Information Sciences (2015), pp. 390-406
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 composition, together with the identity relation. We make more powerfu
Externí odkaz:
http://arxiv.org/abs/1401.8201
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Fletcher, George H.L., Gyssens, Marc, Leinders, Dirk, Surinx, Dimitri, Van den Bussche, Jan, Van Gucht, Dirk, Vansummeren, Stijn, Wu, Yuqing
Publikováno v:
In Information Sciences 20 March 2015 298:390-406
A monotone preservation result for Boolean queries expressed as a containment of conjunctive queries
Autor:
Surinx, Dimitri, Van den Bussche, Jan
Publikováno v:
In Information Processing Letters October 2019 150:1-5
Publikováno v:
Berger, G, Otto, M, Pieris, A, Surinx, D & Van den Bussche, J 2019, Additive first-order queries . in P Barcelo & M Calautti (eds), 22nd International Conference on Database Theory (ICDT 2019) . vol. 127, 19, LIPICS, vol. 127, pp. 19:1-19:14, 22nd International Conference on Database Theory, Lisbon, Portugal, 26/03/19 . https://doi.org/10.4230/LIPIcs.ICDT.2019.19
A database query q is called additive if q(A ∪ B) = q(A) ∪ q(B) for domain-disjoint input databases A and B. Additivity allows the computation of the query result to be parallelised over the connected components of the input database. We define t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cf70c36f3bd0c37a2845d5f81eb82015
http://hdl.handle.net/1942/28420
http://hdl.handle.net/1942/28420
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.