2026-04-13T02:15:19Zhttps://recercat.cat/oai/request

oai:recercat.cat:2117/4426522026-01-22T05:38:36Zcom_2072_1033col_2072_452950

urn:hdl:2117/442652 Information derivability analysis in logical information systems Olivé Ramon, Antoni Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació Derivability analysis Logical information systems Logical system design Precedence relations System dictionary Information systems Database systems A method for performing derivability analysis of information sets is presented. The analysis is performed at a logical level, where only information sets and information processes are considered, abstracting from technical aspects. Our approach requires the definition of the system dictionary, which includes the conceptual schema of the information system and the precedence relationships. Information sets are defined in relation to the system dictionary. The method can be seen as a procedure that receives the system dictionary and the definition of inputs and outputs and, by means of a set of inference rules, gives as a result whether or not outputs are derivable from inputs. The basic approach of the method is independent of the data model and data manipulation language being used. Peer Reviewed Postprint (published version) 1983-11-01 Article https://dl.acm.org/doi/10.1145/182.358450 Restricted access - publisher's policy