Updates und Transaktionen in logischen Datenbanken

• Antragsteller: Professor Dr. Burkhard Freitag
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1996 bis 2003
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5304628

... In dem hier beantragten Fortsetzungsprojekt soll nun das bereits in Grundzügen existierende Auswertungsmodell für ULTRA-Programme formalisiert und auf den vollen Sprachumfang erweitert werden. Insbesondere nebenläufige Situationen können zwar auf der logischen Ebene spezialisiert werden, die Integration in das Auswertungsmodell erfordert jedoch weitere Forschungen. Um die Möglichkeiten der modelltheoretischen Semantik voll auszunutzen, ist weiterhin zu untersuchen, wie Optionen von externen Systemen in das Auswertungsmodell integriert werden können. Im bisherigen Projektverlauf stellte sich heraus, daß Meta-Information, z. B. über Kommutativität bzw. Konflikt einfacher und komplexer Operationen, von elementarer Bedeutung für das angestrebte Auswertungsmodell mit offen geschachtelten Transaktionen ist. Ihre Deklaration ist jedoch eine komplexe, für einen Benutzer oft schwierige Aufgabe. Deshalb sollen auch Werkzeuge und automatische Verfahren zur Unterstützung der Deklaration von Meta-Information entwickelt werden.

• DFG-Verfahren: Sachbeihilfen