xi

Database management systems (DBMS) are becoming part of environments composed of large-scale distributed heterogeneous and networks of autonomous, loosely coupled components. In particular, federated database management systems (FDBMS) can be seen as networks that integrate a number of pre-existing autonomous DBMS which can be homogeneous or heterogeneous. They can use different underlying data...

We introduce a new kind of functional database that unifies concepts from the realms of publish-subscribe middleware, pervasive computing, and intensional programming. The AFID (Active Functional Intensional Database) Project allows the distribution of both pervasive context and related, versioned content, and offers the means of effecting a client’s interaction with both. The AFID data model b...

Real-time systems are systems where the correctness of the system not only depends on the logical result of a computation, but also when the result was produced. In complex real-time applications, real-time systems have to handle a signiicant amount of information which requires to be handled eeciently, motivating the need for incorporating real-time database management modules into the real-ti...

An active database is an autonomical database system that can react to events occurring inside and outside of the database. A set of active database rules defines a reactive behavior of the active database. One of the most potential problems with active database systems is nontermination of active database rules. This paper proposes an approach for automatically checking the termination of acti...

We build a framework that facilitates the formal description and analysis of properties of transactions in real-time active databases. This framework, named Real-Time ACTA, which is an extension of ACTA, can not only specify and reason about the effects of transactions on objects and the interactions between transactions, but also formalize the transaction and data timing constraints in real-ti...