Some steps of the design of a data dictionary with the use of a particular methodology are represented by means of logic rules augumented with integrity constraints defining illegal data design. The presence of concepts incompatible among them is easily revealed by asking for satisfiability of integrity constraints. Furthermore, it is possible to obtain the hypotheses explaining the presence of illegality by exploiting abductive reasoning. To this end a new proposal for the computation of such hypotheses, based on an suitable manipulation of minimal three-valued models of the logic program, is presented.
DATA DICTIONARY DESIGN - A LOGIC PROGRAMMING APPROACH / PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti. - STAMPA. - 645:(1992), pp. 210-225. ( 11TH INTERNATIONAL CONF ON THE ENTITY-RELATIONSHIP APPROACH ( ER 92 ) KARLSRUHE, GERMANY OCT 07-09, 1992) [10.1007/3-540-56023-8_14].
DATA DICTIONARY DESIGN - A LOGIC PROGRAMMING APPROACH
PIRRI ARDIZZONE, Maria Fiora;
1992
Abstract
Some steps of the design of a data dictionary with the use of a particular methodology are represented by means of logic rules augumented with integrity constraints defining illegal data design. The presence of concepts incompatible among them is easily revealed by asking for satisfiability of integrity constraints. Furthermore, it is possible to obtain the hypotheses explaining the presence of illegality by exploiting abductive reasoning. To this end a new proposal for the computation of such hypotheses, based on an suitable manipulation of minimal three-valued models of the logic program, is presented.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
