4. ICDT 1992: Berlin, Germany
Selected papers are published in Theoretical Computer Science, Volume 149, Number 1, 1995
The International Conference on Database Theory (ICDT) is organized every two years and intends to provide a European forum for the international research community working on theoretical issues related to database systems. It was initiated in Rome, Italy in 1986 and continued in Bruges, Belgium in 1988 and Paris, France in 1990.
ICDT '92 is understood as both the successor of the former ICDT conferences and a second series of conferences on theoretical aspects of databases, which has previously been held in Eastern Europe and was known as the Symposium on Mathematical Fundamentals of Database Systems (MFDBS). The latter was initiated in Dresden, Germany in 1987 and continued in Visegrad, Hungary in 1989 and Rostock, Germany in 1991.
Due to the revolutionary developments in Europe in general and in Germany in particular during the past few years, a merger of these two series of conferences should enhance the exchange of ideas and cooperation within a unified Europe and between Europe and other continents.
- Gyula O. H. Katona: Combinatorial and Algebraic Results for Database Relations. 1-20
- M. Sh. Tsalenko: Database Theory in Russia (1979-1991) (an overview). 51-70
- Dean Kuo: Model and Verification of a Data Manager Based on ARIES. 231-245
- Françoise Gire: Well Founded Semantics and Stable Semantics of Semi-Strict Programs. 261-275
- Stéphane Grumbach: A Paradox in Database Theory. 312-325
- Marie Duzí: Semantic Information Connected with Data. 376-390
- Håkan Jakobsson: On Materializing Views and On-Line Queries. 407-420