Reasoning about the behavior of active database applications
Author
Opher Etzion;
Publisher
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil
ID Koleksi
Status
004 Rul
TERSEDIA
Tidak ada review pada koleksi ini: 40526
One of the most difficult issues in the design of active database applications is the issue of predicting an application's behavior. In this paper we propose a knowledge based representation of an active database application's meta-data. This representation facilitates reasoning about important dimensions of an applications's behavior such as detecting the consequences of an event, data dependencies, termination and confluence and trasaction control flow. This paper describes the meta-data level and some of the reasoning results.