Logo Logo
Hilfe
Hilfe
Switch Language to English

Bry, François (1993): Towards Intelligent Databases. 7th International Symposium on Methodologies for Intelligent Systems (ISMIS '93), Trondheim, Norway, 15.-18. Juni1993. Komorowski, Jan (Hrsg.): In: Methodologies for intelligent systems, Berlin u.a.: Springer. S. 116-131 [PDF, 2MB]

[thumbnail of 8514.pdf]
Vorschau
Download (2MB)

Abstract

This article is a presentation of the objectives and techniques of deductive databases. The deductive approach to databases aims at extending with intensional definitions other database paradigms that describe applications extensionaUy. We first show how constructive specifications can be expressed with deduction rules, and how normative conditions can be defined using integrity constraints. We outline the principles of bottom-up and top-down query answering procedures and present the techniques used for integrity checking. We then argue that it is often desirable to manage with a database system not only database applications, but also specifications of system components. We present such meta-level specifications and discuss their advantages over conventional approaches.

Dokument bearbeiten Dokument bearbeiten