Sco**, naming and binding are central concepts in the definition and understanding of
programming languages. With the introduction of sophisticated data models, these issues …

The goal of the Demaq/TransScale system is to automate the distribution of applications to
multiple hosts. Today, in order to create highly scalable architectures, developers have to …

This paper gives an overview of Demaq, an XML message processing system operating on
the foundation of transactional XML message queues. We focus on the syntax and …

A method of view updating is proposed where translation of view updates is explicitly
determined by procedures written by the view definer (for example, by a database …

Validating hypotheses and reasoning about objects is becoming commonplace in
biotechnology research. The capability to reason strengthens comparative genomics …

Many modern distributed applications employ protocols based on XML messages. Typical
architectures for these applications follow an approach where messages are organized in …

In this paper we investigate and formalize parameterized views for semi-structured data by
defining syntax and a model theoretic semantics of TRIPLE, a logic for dealing with views. A …

In this paper, w eaddress the issue of remedying the scepter of impedance mismatch in
object-relational SQL. Our approach makes it possible to remain within the current confines …

We present a novel approach for the convenient implementation and efficient execution of
distributed XML message processing applications. Various application classes such as Web …

Many current distributed applications are based on the exchange of XML messages. Scaling
such applications to the high processing volume demanded by Internet-scale deployment …