Monadic datalog over finite structures of bounded treewidth.

Monadic datalog over finite structures of bounded treewidth.

Bounded treewidth and monadic second-order (MSO) logic have proved to be key concepts in establishing fixed-parameter tractability results. Indeed, by Courcelle's Theorem we know that any property of finite structures, which is expressible by an MSO sentence, can be decided in linear time (data...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Gottlob, G, Pichler, R, Wei, F
स्वरूप:	Journal article
भाषा:	English
प्रकाशित:	2010

समान संसाधन

Monadic datalog over finite structures with bounded treewidth
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2007)

Efficient Datalog Abduction through Bounded Treewidth
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2007)

Tractable database design through bounded treewidth
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2006)

Bounded treewidth as a key to tractability of knowledge representation and reasoning
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2010)

Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2006)

Size and treewidth bounds for conjunctive queries.
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2009)

Monadic Datalog Containment
द्वारा: Benedikt, M, और अन्य
प्रकाशित: (2012)

Monadic Datalog Containment
द्वारा: Benedikt, M, और अन्य
प्रकाशित: (2012)

Monadic datalog, tree validity, and limited access containment
द्वारा: Benedikt, M, और अन्य
प्रकाशित: (2019)

Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2002)

Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2002)

Monadic datalog and the expressive power of languages for Web information extraction
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2004)

Monadic Queries over Tree−Structured Data
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2002)

Dynamic Programming on Graphs with Bounded Treewidth
द्वारा: Bodlaender, Hans L.
प्रकाशित: (2023)

Channel assignment on graphs of bounded treewidth.
द्वारा: McDiarmid, C, और अन्य
प्रकाशित: (2003)

An efficient partitioning oracle for bounded-treewidth graphs
द्वारा: Hassidim, Avinatan, और अन्य
प्रकाशित: (2012)

Channel Assignment on Nearly Bipartite and Bounded Treewidth Graphs.
द्वारा: McDiarmid, C, और अन्य
प्रकाशित: (2001)

The parameterised complexity of list problems on graphs of bounded treewidth
द्वारा: Scott, A, और अन्य
प्रकाशित: (2016)

Counting Euler Tours in Undirected Bounded Treewidth Graphs
द्वारा: Balaji, N, और अन्य
प्रकाशित: (2015)

Tractable Query Answering over Ontologies with Datalog+⁄−
द्वारा: Calì, A, और अन्य
प्रकाशित: (2009)

Fixed Parameter Algorithms for Minor-Closed Graphs (of Locally Bounded Treewidth)
द्वारा: Demaine, Erik D., और अन्य
प्रकाशित: (2023)

The stackelberg minimum spanning tree game on planar and bounded-treewidth graphs
द्वारा: Cardinal, Jean, और अन्य
प्रकाशित: (2011)

Equivalence of Local Treewidth and Linear Local Treewidth and its Algorithmic Applications
द्वारा: Demaine, Erik D., और अन्य
प्रकाशित: (2023)

Disjunctive Datalog
द्वारा: Eiter, T, और अन्य
प्रकाशित: (1997)

Datalog+⁄−: Questions and Answers
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2014)

Adding Disjunction to Datalog
द्वारा: Eiter, T, और अन्य
प्रकाशित: (1994)

The complexity of ontology-based data access with OWL 2 QL and bounded treewidth queries
द्वारा: Bienvenu, Meghyn, और अन्य
प्रकाशित: (2017)

A general datalog-based framework for tractable query answering over ontologies.
द्वारा: Calì, A, और अन्य
प्रकाशित: (2009)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
द्वारा: Calì, A, और अन्य
प्रकाशित: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
द्वारा: Calì, A, और अन्य
प्रकाशित: (2009)

A general Datalog-based framework for tractable query answering over ontologies.
द्वारा: Calì, A, और अन्य
प्रकाशित: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
द्वारा: Calì, A, और अन्य
प्रकाशित: (2012)

Treewidth-pliability and PTAS for Max-CSPs
द्वारा: Romero, M, और अन्य
प्रकाशित: (2021)

The quantum monad on relational structures
द्वारा: Abramsky, S, और अन्य
प्रकाशित: (2017)

On the complexity of single−rule datalog queries
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2003)

On the Complexity of Single−Rule Datalog Queries
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (1999)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies (Extended Abstract)
द्वारा: Calì, A, और अन्य
प्रकाशित: (2009)

Relativized Logspace and Generalized Quantifiers over Finite Structures
द्वारा: Gottlob, G
प्रकाशित: (1995)

Materialisation-based reasoning in DatalogMTL with bounded intervals
द्वारा: Wałęga, PA, और अन्य
प्रकाशित: (2023)

DatalogMTL over integer timeline
द्वारा: Walega, PA, और अन्य
प्रकाशित: (2020)