Isidd: An interactive system for inductive database design

Publisher Website
Google Scholar
Abstract
When designing a deductive database, the designer has to decide for each predicate (or relation) whether it should be defined extensionally or intensionally and what the definition should look like. An intelligent interactive system is presented to assist the designer in this task. It starts from an example state ofa database in which all predicates are defined extensionally. It can then compact the database by transforming extensionally defined predicates into intensionally defined ones. These predicates can be chosen by the user or by the system itself. Further compaction is possible by inventing new predicates; this invention is controlled by user-specified templates. The systemalso proposes semantic integrity constraints to the user. These do not lead to extra compaction but can be used to make the database more robust. The intelligent system employs techniques from the area of inductive logic programming.

This publication has 0 references indexed in Scilit: