Logic and databases

Workshop theme

Logic and databases have been intimately linked since the rise of relational database systems in the 1970s. Relational databases can be modelled by finite relational structures, and first-order logic lies at the core of standard database query languages such as the Structured Query Language, SQL. As another example, closer to current research, XML documents can be modelled by labelled unranked trees, and XML query languages as logics on trees.

The workshop will focus on recent research on logical aspects of the theory of database systems. These include the applications of logic and logical methods in the study of databases as well as questions in logic that arise from this study. Particular topics of interest include the expressive power and complexity of query languages; models and languages for semi-structured data; probabilistic databases; constraint databases, etc.

Applications for this workshop are now closed

Timetable

Monday 27th February 2006
08:30 to 09:30	Registration	No Room Required
09:30 to 11:00	Frank Neven The automaton approach to XML schema languages: from practice to theory	Room 1
11:00 to 11:30	Coffee	No Room Required
11:30 to 12:30	Dan Suciu University of Washington Probabilities in databases and in logics I	Room 1
12:30 to 13:30	Lunch at Churchill College	No Room Required
14:00 to 15:00	Foundations of Schema mappings I	Room 1
15:00 to 15:30	Tea	No Room Required
15:30 to 16:15	Vladimir Sazonov University of Liverpool Querying hyperset/web-like databases	Room 1
16:15 to 17:00	James Lynch Concentration bounds for Markov processes of metafinite models	Room 1
17:00 to 17:45	Maarten Marx Universiteit van Amsterdam XPath with transitive closure	Room 1
17:45 to 18:45	Beer and Wine Reception	No Room Required

Tuesday 28th February 2006
09:30 to 10:15	Leopoldo Bertossi Carleton University Cardinality-based semantics for consistent query answering: incremental and parameterized complexity	Room 1
10:15 to 11:00	Georg Gottlob University of Oxford Computational problems of data exchange	Room 1
11:00 to 11:30	Coffee	No Room Required
11:30 to 12:30	Dan Suciu University of Washington Probabilities in databases and in logics II	Room 1
12:30 to 13:30	Lunch at Churchill College	No Room Required
14:00 to 15:00	Foundations of Schema mappings II	Room 1
15:00 to 15:30	Tea	No Room Required
15:30 to 16:15	Philippa Gardner Imperial College London Context logic and tree update	Room 1
16:15 to 17:00	Michael Katz Approximation logic and databases	Room 1
17:00 to 17:45	Steven Lindell Haverford College A normal form for singulary logic over physically realizable data models	Room 1

Wednesday 1st March 2006
09:15 to 10:15	Christoph Koch Universität des Saarlandes Queries on tree-structured data: Logical languages and complexity	Room 1
10:15 to 11:00	Catriel Beeri BPQL - A query language for business processes	Room 1
11:00 to 11:30	Coffee	No Room Required
11:30 to 12:30	Luc Segoufin INRIA and UIUC Pebble tree walking automata and TC-logics on trees	Room 1
12:30 to 13:30	Lunch at Churchill College	No Room Required
19:30 to 18:00	Conference Dinner in the New Senior Combination Room at Selwyn College	No Room Required

Thursday 2nd March 2006
09:15 to 10:15	The complexity of processing data streams and external memory data I	Room 1
10:15 to 11:00	Diego Calvanese Ontology mediated data management	Room 1
11:00 to 11:30	Coffee	No Room Required
11:30 to 12:30	Victor Vianu University of California, San Diego Automatic verification of communicating data-aware web services	Room 1
12:30 to 13:30	Lunch at Churchill College	No Room Required
14:00 to 15:00	Leonid Libkin University of Toronto Database normalization revisited: an information-theoretic approach	Room 1
15:00 to 15:30	Tea	No Room Required
15:30 to 16:15	Stefan Szeider University of Durham On the clique-width of graphs	Room 1
16:15 to 17:00	Natasha Alechina University of Nottingham Complete axiomatisation for PDLpath	Room 1
17:00 to 17:45	Marcelo Arenas Locally consistent transformations and query answering in data exchange	Room 1

Friday 3rd March 2006
09:15 to 10:15	The complexity of processing data streams and external memory data	Room 1
10:15 to 11:00	Pablo Barcelo University of Toronto Temporal logics for n-ary queries over XML documents	Room 1
11:00 to 11:30	Coffee	No Room Required
11:30 to 12:30	Martin Grohe Humboldt-Universität zu Berlin Law enforcement on hypergraphs	Room 1

Speakers

Natasha Alechina University of Nottingham
Marcelo Arenas
Pablo Barcelo University of Toronto
Catriel Beeri
Leopoldo Bertossi Carleton University
Diego Calvanese
Philippa Gardner Imperial College London
Georg Gottlob University of Oxford
Martin Grohe Humboldt-Universität zu Berlin
Michael Katz
Christoph Koch Universität des Saarlandes
Leonid Libkin University of Toronto
Steven Lindell Haverford College
James Lynch
Maarten Marx Universiteit van Amsterdam
Frank Neven
Vladimir Sazonov University of Liverpool
Luc Segoufin INRIA and UIUC
Dan Suciu University of Washington
Stefan Szeider University of Durham
Victor Vianu University of California, San Diego

Show All

Workshop theme

Applications for this workshop are now closed

Timetable

Speakers

Supported By

Register for updates