331 citations
- Centre National de la Recherche ScientifiqueFR105 papers
- Laboratoire Traitement et Communication de l’InformationFR50 papers
- Institut Polytechnique de ParisFR45 papers
- Télécom ParisFR45 papers
- ParisTechFR44 papers
- Télécom SudParisFR31 papers
- Université de LilleFR17 papers
- Centre de Recherche en Informatique, Signal et Automatique de LilleFR14 papers
- Services répartis, Architectures, MOdélisation, Validation, Administration des RéseauxFR11 papers
- Université Paris-SaclayFR10 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR9 papers
- École Centrale de LilleFR9 papers
Showing 2015 · cs.DBShow all
2 papers · 2 filters
cs.DB2015★ 44 cited
Provenance Circuits for Trees and Treelike Instances (Extended Version)
Antoine Amarilli, Pierre Bourhis, Pierre Senellart
Query evaluation in monadic second-order logic (MSO) is tractable on trees and treelike instances, even though it is hard for arbitrary instances. This tractability result has been…
cs.DB2015
Structurally Tractable Uncertain Data
Antoine Amarilli
Many data management applications must deal with data which is uncertain, incomplete, or noisy. However, on existing uncertain data representations, we cannot tractably perform the…