Logo Logo
Switch Language to German
Bry, François (1993): Towards Intelligent Databases. 7th International Symposium on Methodologies for Intelligent Systems (ISMIS '93), 15.-18. Juni1993, Trondheim, Norway.


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.