1 Table of Contents: “... in Complex Queries -- Well-Defined NRC Queries Can Be Typed -- Nine Years with Peter Buneman -- Modal Logic...”

2 Table of Contents: “...? -- The Pipelined Set Cover Problem -- Session: Query Languages and Types -- Well-Definedness and Semantic Type...”

3 “... like dealing with integrity constraints and conceptual modeling as well as new areas of databases...”

4 “... deals extensively with applications in databases, complexity theory, and formal languages, as well...”

5 “..., as well as symbolic computation, to the design and analysis of data models and query languages. The book...”