Travelled to:
1 × Germany
1 × Singapore
Collaborated with:
G.Saake ∅ H.Ehrich M.Gogolla
Talks about:
databas (3) dynam (3) specif (2) constraint (1) behaviour (1) stepwis (1) specifi (1) tempor (1) semant (1) linear (1)
Person: Udo W. Lipeck
DBLP: Lipeck:Udo_W=
Contributed to:
Wrote 3 papers:
- CSL-1988-SaakeL #database #logic #specification #using
- Using Finite-Linear Temporal Logic for Specifying Database Dynamics (GS, UWL), pp. 288–300.
- SIGMOD-1986-Lipeck #behaviour #database #specification
- Stepwise Specification of Dynamic Database Behaviour (UWL), pp. 387–397.
- VLDB-1984-EhrichLG #constraints #database #semantics #specification
- Specification, Semantics, and Enforcement of Dynamic Database Constraints (HDE, UWL, MG), pp. 301–308.