Specification of real-time distributed database systems

A unified framework is given for the specification of external consistency constraints, integrity constraints, and temporal consistency constraints of a real-time distributed database system. The formalism is event based and facilitates both relative and quantitative reasoning about time. The functi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Ramanathan, G., Alagar, V.S.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Computer science Concurrency control Database systems Information processing Logic Protocols Real time systems Scheduling algorithm Timing Transaction databases
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!