Annals of Mathematics and Artificial Intelligence

Preface

Computational methods for database repair by signed formulae*

Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe

The complexity of embedded axiomatization for a class of closed database views

Stephen J. Hegner

On the security of individual data

J. Demetrovics, G. O. H. Katona, D. Miklós

Functional and multivalued dependencies in nested databases generated by record and list constructor

Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe

Regular path queries under approximate semantics

Gösta Grahne, Alex Thomo

Sequent forms of Herbrand theorem and their applications

Alexander Lyaletski