mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Seminars » 2013-2014 » H. Chen, 2014-03-28 { prev, contents, next } Anonymously browsing from 54.162.241.40 at 07:37:12, 23-11-2017. login
download seminar details: { pdf }

Seminar

Photo of Chen
Speaker: Hubie Chen
Title: One Hierarchy Spawns Another: The Complexity Classification of Conjunctive Queries
Date: Friday, 28 Mar 2014
Time: 18:30-19:30
Location: Univeristy of Athens, Department of Mathematics, University of Athens, room Γ33

Abstract

We study the problem of conjunctive query evaluation over sets of queries; this problem is formulated here as the relational homomorphism problem over a class of structures A, wherein each instance must be a pair of structures such that the first structure is an element of A. We introduce a notion which we call graph deconstruction, which is a variant of the well-known notion of tree decomposition. Using this notion, we give a novel, modular, and conceptually clean presentation of the theorem describing the tractable homomorphism problems in the framework under study (assuming bounded arity). We then study a binary relation on graph classes that is naturally induced by the notion of graph deconstruction. We completely describe the hierarchy of graph classes that this binary relation yields, and discuss how this hierarchy of graph classes can be used to infer a complexity-theoretic hierarchy of homomorphism problems, which is extremely fine as it is exhaustive up to a computationally very weak notion of reduction (namely, a parameterized form of quantifier-free reduction). A version of the article on which this talk is based is available at: http://arxiv.org/abs/1307.1353

Comments

You must be logged in to comment.

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.