Perpustakaan Fakultas Ilmu Komputer

Call Number	SEM-357
Collection Type	Indeks Artikel prosiding/Sem
Title	On verification of database temporal contraints (169-179)
Author	C. H. Kung;
Publisher	Proceedings of acm sigmod 1985 international conference on management of data may 28-31,1985 lamansion hotel austin,texas
Subject	software engineering, databases, semantic integrity, temporal dimension,formal verification of spesifications.
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
SEM-357		TERSEDIA

Tidak ada review pada koleksi ini: 47995

A database specification consists of static and temporal constraints and a set of database operation descriptions. a database is viewed as a dynamic object and a sequence of database states constitutes an evolution of the database a formal method for verifying database specifications is proposed the method checks if the static constraints are consistent, analyses the database operation descriptions to ensure that each operation can ever be executed and finally it verifies that each permissible sequence of operations satisfies all the temporal constraints.