Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close...

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

Finite model theory is an area of mathematical logic that grew out of computer science applicatio...

Finite model theory is an area of mathematical logic that grew out of computer science applicatio...

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...

Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close...

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...