Integrity in Databases 1996
6. Int. Workshop on Foundations of Models and Languages for Data and Objects
Schloss Dagstuhl, Germany
(see there for travel information!)September 16-20, 1996
organized by
S. Conrad, H.-J. Klein, K.-D. Schewe
(GI-Arbeitskreis Grundlagen von Informationssystemen)
(scientifically) supported by
European Association for Theoretical Computer Science (EATCS)
now available: electronic Proceedings !!!
Accepted Papers:
- Klaus-Dieter Schewe, Bernhard Thalheim:
Active consistency enforcement for repairable database transitions.
long presentation - Nectaria Tryfona, Max J. Egenhofer:
Multi-resolution spatial databases: consistency among networks.
long presentation - Klaus-Dieter Schewe:
Tailoring Consistent Specializations as a Natural Approach to Consistency Enforcement.
long presentation - Jan Broersen, Remco Feenstra, Roel Wieringa:
Minimal Semantics for Action Specifications in a Multi-modal Logic.
long presentation - Anne Doucet, Stephane Gancarski, Geneviere Jomier, Sophie Monties:
Integrity constraints in multiversion databases.
long presentation - Elisabetta Di Nitto, Letitzia Tanca:
Dealing with deviations in DBMSs: an approach to revise consistency constraints.
long presentation - Michael Gertz:
An Extensible Framework for Repairing Constraint Violations.
long presentation - H. Skaf, F. Charoy, C. Godart:
Maintaining Consistency of Cooperative Software Development Activities.
long presentation - Bertram Ludäscher, Wolfgang May, Joachim Reinert:
Towards a Logical Semantics for Referential Actions in SQL.
long presentation - Holger Riedel:
On Consistency in Temporal Object Bases.
short presentation - Patrizia Asirelli, Paola Inverardi, Giuseppe Plagenza:
Integrity Constraints as Views in deductice Databases.
short presentation - Suzanne M. Embury:
Coping with Constraint Violation: the Practical Face of Database Integrity.
short presentation - Alfs T. Berztiss:
Should integrity constraints be global or local?
working group intro - Robert Demolombe, Andrew Jones, J. Carmo:
Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints.
working group intro
Tutorial:
- Bernhard Thalheim:
Semantical Constraints for Database Models.
Information for Participants:
Accommodation incl. full board costs DM 350,- (Deutsche Mark)
for staying from Sunday evening (Sept. 15) to Friday.
All participants are expected to stay for the complete workshop.
Participants have to pay board and lodging during the workshop to the
administration office of Schloss Dagstuhl.
There is no additional workshop/registration fee!
The number of participants is limited to about 20. This restriction is made by the Dagstuhl office. Nevertheless, there might be a possibility to have a few additional places for participants about four weeks before the workshop. In case your are interested in attending the workshop without being an author of an accepted paper, please contact one of the workshop organizers.
Stefan Conrad <conrad@iti.cs.uni-magdeburg.de>
