31 citations · 40 across the 2 of their papers we have counts for
3 papers
On the Conditional Independence Implication Problem: A Lattice-Theoretic Approach
Mathias Niepert, Dirk Van Gucht, Marc Gyssens
A lattice-theoretic framework is introduced that permits the study of the conditional independence (CI) implication problem relative to the class of discrete probability measures.…
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…
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
George H. L. Fletcher, Marc Gyssens, Dirk Leinders +3
Motivated by applications in databases, this paper considers various fragments of the calculus of binary relations. The fragments are obtained by leaving out, or keeping in, some o…