Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number SEM-357
Collection Type Indeks Artikel prosiding/Sem
Title On the expressive power of the logical data model preliminary report (180-189)
Author Gabriel m kuper, Moshe y. vardi;
Publisher Proceedings of acm sigmod 1985 international conference on management of data may 28-31,1985 lamansion hotel austin,texas
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
SEM-357 TERSEDIA
Tidak ada review pada koleksi ini: 47997
In this paper we study the expressive power of the logical data model LDM Introduced in [KV84]. We show that even thong the logical data model is semantically powerful, it is not overly powerful so as to be intractable we demonstrate it from three aspects first we study the complexity of checking integrity constraints, and we show that is no more difficult than checking integrity constrains in the relational model secondly we show that the logic of the model is essentially fist-order that means for example that one can use a standard theorem-prover cither in the database design process on for deductive query answering.