Dirk Leinders

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 4

Top Topics

Expressive Power

Linear Constraint Databases

Relation Algebra

Recursive Queries

Top Venues

Ann. Math. Artif. Intell.

J. Log. Comput.

Publications

Dimitri Surinx, George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
Relative expressive power of navigational querying on graphs using transitive closure. Log. J. IGPL 23 (5) (2015)
George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs. Ann. Math. Artif. Intell. 73 (1-2) (2015)
George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
Relative expressive power of navigational querying on graphs. Inf. Sci. 298 (2015)
George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations. J. Log. Comput. 25 (3) (2015)
George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
Relative Expressive Power of Navigational Querying on Graphs. CoRR (2014)
George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs. FoIKS (2012)
Marc Goovaerts, Dirk Leinders
Metadata Quality Evaluation of a Repository Based on a Sample Technique. MTSR (2012)
George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations. CoRR (2012)
George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
Relative expressive power of navigational querying on graphs. ICDT (2011)
Dirk Leinders, Jan Van den Bussche
Repetitions and permutations of columns in the semijoin algebra. RAIRO Theor. Informatics Appl. 43 (2) (2009)
Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche
Database Query Processing Using Finite Cursor Machines. Theory Comput. Syst. 44 (4) (2009)
Dirk Leinders, Jan Van den Bussche
On the complexity of division and set joins in the relational algebra. J. Comput. Syst. Sci. 73 (4) (2007)
Yuri Gurevich, Dirk Leinders, Jan Van den Bussche
A Theory of Stream Queries. DBPL (2007)
Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche
Database Query Processing Using Finite Cursor Machines. ICDT (2007)
Dirk Leinders, Jan Van den Bussche
On the complexity of division and set joins in the relational algebra. PODS (2005)
Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche
The Semijoin Algebra and the Guarded Fragment. J. Log. Lang. Inf. 14 (3) (2005)
Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche
On the expressive power of semijoin queries. Inf. Process. Lett. 91 (2) (2004)
Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche
The semijoin algebra and the guarded fragment CoRR (2004)
Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche
On the expressive power of semijoin queries CoRR (2003)