This book gives a broad overview of core topics of finite model theory: expressive power, descrip...

This Festschrift volume, published in honour of Peter Buneman, contains contributions written by ...

This book is an introduction to finite model theory which stresses the computer science origins o...

This book is the first comprehensive survey of the field of constraint databases. Constraint data...

This volume collects the papers presented at the 10th International Conference on Database Theory...

This book presents a coherent suvey on exciting developments in database semantics. The origins o...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...

Data exchange is the problem of finding an instance of a target schema, given an instance of a so...

This book is an introduction to finite model theory which stresses the computer science origins o...

This book gives a broad overview of core topics of finite model theory: expressive power, descrip...