Picture for Michel Leclère

Michel Leclère

Query Rewriting with Disjunctive Existential Rules and Mappings

Add code
Jun 09, 2023
Viaarxiv icon

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Add code
Jun 15, 2020
Viaarxiv icon

Characterizing Boundedness in Chase Variants

Add code
Apr 21, 2020
Figure 1 for Characterizing Boundedness in Chase Variants
Figure 2 for Characterizing Boundedness in Chase Variants
Viaarxiv icon

Sound, Complete and Minimal UCQ-Rewriting for Existential Rules

Add code
Nov 13, 2013
Figure 1 for Sound, Complete and Minimal UCQ-Rewriting for Existential Rules
Figure 2 for Sound, Complete and Minimal UCQ-Rewriting for Existential Rules
Figure 3 for Sound, Complete and Minimal UCQ-Rewriting for Existential Rules
Figure 4 for Sound, Complete and Minimal UCQ-Rewriting for Existential Rules
Viaarxiv icon