Data-centric dynamic systems are systems where both the process controlling the dynamics
and the manipulation of data are equally central. We study verification of (first-order) mu …

We study the static verification problem for data-centric business processes, specified in a
variant of IBM's “business artifact” model. Artifacts are records of variables that correspond to …

The initial and basic role of the chase procedure was to test logical implication between sets
of dependencies in order to determine equivalence of database instances known to satisfy a …

Exploiting the relationships among data is a classical query optimization technique. As
persistent data is increasingly being created and maintained programmatically, prior work …

Semantic query optimization is the process of finding equivalent rewritings of an input query
given constraints that hold in a database instance. In this paper, we report about a Chase & …

We introduce description logic (DL) Knowledge and Action Bases (KAB), a mechanism that
provides both a semantically rich representation of the information on the domain of interest …

Recursive graph queries are increasingly popular for extracting information from
interconnected data found in various domains such as social networks, life sciences, and …

Graph databases are increasingly receiving attention from industry and academia, due in
part to their flexibility; a schema is often not required. However, schemas can significantly …

The goal of this thesis is not only to introduce and present new chase-based algorithms, but
also to investigate the differences between the main existing chase procedures. In order to …

We describe a software architecture we have developed for a constructive containment
checker of Entity SQL queries defined over extended ER schemas expressed in Microsoft's …