Provenance Circuits for Trees and Treelike ...

Document type :
Communication dans un congrès avec actes
Permalink :
http://hdl.handle.net/20.500.12210/74881
Title :
Provenance Circuits for Trees and Treelike Instances
Author(s) :
Amarilli, Antoine [Auteur]
Data, Intelligence and Graphs [DIG]
Bourhis, Pierre [Auteur] refId
Linking Dynamic Data [LINKS ]
Senellart, Pierre [Auteur]
Data, Intelligence and Graphs [DIG]
National University of Singapore [NUS]
Conference title :
ICALP 2015
City :
Kyoto
Country :
Japon
Start date of the conference :
2015-06
Book title :
ICALP 2015
Publication date :
2015-06
HAL domain(s) :
Informatique [cs]/Base de données [cs.DB]
English abstract : [en]
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 extended to several tasks related to query ...
Show more >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Harvested from HAL
Submission date :
2022-06-13T02:40:32Z