In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially, the system implements a simple declarative language which allows on...
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...
This paper presents the "situation manager" rule language. The situation manager is a tool that includes both a language and an efficient runtime execution mechanism, aim...
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Virtual views are a mechanism that facilitates re-use and makes queries easier to express. However the use of iterative view definitions makes very simple query evaluation and an...