Rainer Unland

On Relationships between Query Models (2008)

Dominik Stein, Stefan Hanenberg, Rainer Unland

Abstract. Queries on software artifacts play an important role in novel software development approaches, such as Aspect-Oriented Software Development and OMG's Model Driven Architecture. Keeping...

CADLAB (2007)

Axel Meckenstock, Detlef Zimmer, Rainer Unland, Grevener Str

Transaction recovery is difficult in environments where work is performed in a cooperative style (e.g., design environments). We deal with this problem by defining cooperation and recovery primitives...

Aspect Weaving: Using the Base Language's Introspective Facilities to Determine Join Points (2003)

Stefan Hanenberg, Robert Hirschfeld, Rainer Unland, Katsuya Kawamura

Aspect-oriented programming languages provide their own join point description language or mechanism for specifying join points during the execution of a program where additional code needs to be...

On the Semantics of Complex Events in Active Database Management Systems (1999)

Detlef Zimmer, Rainer Unland

Active database management systems have been introduced for applications needing an automatic reaction in response to certain events. Events can be simple in nature or complex. Complex events rely on...

A General Model for Event Specification in Active Database Management Systems (1997)

Detlef Zimmer, Axel Meckenstock, Rainer Unland

Active database systems have been developed for applications that need an automatic reaction in response to certain conditions being satisfied or certain events occurring. Events can be simple in...

A General Model for Event Specification in Active Database Management Systems (1997)

Detlef Zimmer, Axel Meckenstock, Rainer Unland

Active database systems have been developed for applications that need an automatic reaction in response to certain conditions being satisfied or certain events occurring. Events can be simple in...

The Formal Foundation of the Semantics of Complex Events in Active Database Management Systems (1997)

Detlef Zimmer, Rainer Unland

Active database systems have been developed for applications needing an automatic reaction in response to certain conditions or events. Events can be simple in nature or complex. Complex events are...

Using Petri Nets for Rule Termination Analysis (1996)

Detlef Zimmer, Axel Meckenstock, Rainer Unland

In Active Database Systems the problem of infinite rule processing may occur. Analysis methods provide an identification of rule sets which can be guaranteed to terminate or which may lead to an...

Rolling Back in a Selective Way - An Approach to Recovery for Interactive and Long-Running Transactions (1996)

Axel Meckenstock, Detlef Zimmer, Rainer Unland

Interactive and long-running transactions are an important concept in non-standard database applications like, e.g., design environments. The main aspect of this paper is recovery for such kinds of...

Selective Recovery for Long-Duration Transactions in Object-Oriented Database Management Systems (1996)

Axel Meckenstock, Detlef Zimmer, Rainer Unland

Long-duration transactions play an important role in non-standard database applications like design environments or office automation. This paper deals with recovery for long-duration transactions....

Rule Termination Analysis based on Petri Nets (1996)

Detlef Zimmer, Axel Meckenstock, Rainer Unland

In this paper, we propose a method for compile-time termination analysis of rules in active database systems based on Petri nets. Petri nets provide a formalism, which can be used to model the...

Selective Recovery for Long-Duration Transactions in Object-Oriented Database Management Systems (1996)

Axel Meckenstock, Detlef Zimmer, Rainer Unland

Long-duration transactions play an important role in non-standard database applications like design environments or office automation. This paper deals with recovery for long-duration transactions....

Rule Termination Analysis based on a Rule Meta Model (1995)

Detlef Zimmer, Axel Meckenstock, Rainer Unland, Grevener Str

Rule processing can be subject to infinite loops- that is, rules may trigger one another indefinitely. In database systems, this behaviour can be catastrophic; e.g., looping rules would certainly...

A Configurable Cooperative Transaction Model for Design Frameworks (1994)

Axel Meckenstock, Detlef Zimmer, Rainer Unland

Traditional transaction management [Gra81] which supports concurrent work and failure handling (recovery) based on the ACID-properties

Controlling Cooperation and Recovery in Nested Transactions (1994)

Axel Meckenstock, Detlef Zimmer, Rainer Unland, Grevener Str

Recovery is a hard problem in environments where transactions perform work in a cooperative style (e.g., design environments). We propose concepts to control cooperation and recovery within nested...