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 …

Spatial Databases is the first unified, in-depth treatment of special techniques for dealing
with spatial data, particularly in the field of geographic information systems (GIS). This book …

Moving Objects Databases is the first uniform treatment of moving objects databases, the
technology that supports GPS and RFID. It focuses on the modeling and design of data from …

This handbook provides an up-to-date compendium of fundamental computer science
topics, techniques, and applications. Along with updating and revising many of the existing …

The handling of user preferences is becoming an increasingly important issue in present-
day information systems. Among others, preferences are used for information filtering and …

We study definability and complexity issues for automatic and/spl omega/-automatic
structures. These are, in general, infinite structures but they can be finitely presented by a …

In this paper we describe Racer, which can be considered as a core inference engine for the
semantic web. The Racer inference server offers two APIs that are already used by at least …

We study the problem of repairing an inconsistent database that violates a set of functional
dependencies by making the smallest possible value modifications. For an inconsistent …

Trust management (TM) is a promising approach for authorization and access control in
distributed systems, based on signed distributed policy statements expressed in a policy …

The RT Role-based Trust-management framework provides policy language, semantics,
deduction engine, and pragmatic features such as application domain specification …