Finite model theory is an area of mathematical logic that grew out of computer science
applications. The main sources of motivational examples for finite model theory are found in …

This e-book is devoted to global optimization algorithms, which are methods to find optimal
solutions for given problems. It especially focuses on Evolutionary Computation by …

It is a folk result in database theory that SQL cannot express recursive queries such as
reachability; in fact, a new construct was added to SQL3 to overcome this limitation …

Kleisli is a modern data integration system that has made a significant impact on
bioinformatics data integration. This paper contains a brief introduction to the Kleisli system …

This survey article introduces into the essential concepts and methods underlying rule-
based query languages. It covers four complementary areas: declarative semantics based …

We review the basics of data provenance in relational databases. We describe different
provenance formalisms, from Boolean provenance to provenance semirings and beyond …

We present a formal framework for capturing the provenance of data appearing in XQuery
views of XML. Building on previous work on relations and their (positive) query languages …

This paper introduces semi-ring dictionaries, a powerful class of compositional and purely
functional collections that subsume other collection types such as sets, multisets, arrays …

Multisets, also called bags, are relatively unknown to researchers, partly because it has
weaker mathematical properties and has been considered that applications are relatively …

The relational model has recently been extended to so-called K-relations in which tuples are
assigned a unique value in a semiring K. A query language, denoted by RAK+, similar to the …