|
Below you can find slides of a series of lectures I gave in July 2010 at Jangxi Normal University (JXNU), Nanchang, China. Some of them use material kindly provided by Balder ten Cate.
-
Introduction. Information about the subject and overall structure of lectures
-
Preliminaries: Sets, Relations, Structures. An overview of basic set-theoretical, algebraic and relational notions, operations and constructions used in the lecture
-
Preliminaries: Computability, Complexity and Models of Computations. No slides, given on the whiteboard
-
Correspondence Languages. Lectures 4 and 5. FOL, MSO, ML, TRA and DRA as query languages for relational structures
- Continuation: see the previous item for slides
- Harvest: Core XPath 1.0 as a Modal Logic for Trees. Axiomatization and Complexity
- CoreXPath and Beyond
| 