1
Published 2003
Springer Berlin Heidelberg
Table of Contents: ...Semantics in Databases -- Characterizing and Computing Semantically Correct Answers from Databases...

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Unification in Free Modules over Certain Rings -- Analytic Tableaux and Database Repairs: Foundations...

3
Published 1999
Springer US
Table of Contents: ... Identification as a Primitive of Database Models -- 3 Deontic Action Programs -- 4 Topological canonization...