dc.contributor
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.contributor.author
Olivé Ramon, Antoni
dc.date.issued
1983-11-01
dc.identifier
Olive, A. Information derivability analysis in logical information systems. «Communications of the ACM», 1 Novembre 1983, vol. 26, núm. 11, p. 933-938.
dc.identifier
https://hdl.handle.net/2117/442652
dc.identifier
10.1145/182.358450
dc.description.abstract
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.
dc.description.abstract
Peer Reviewed
dc.description.abstract
Postprint (published version)
dc.format
application/pdf
dc.relation
https://dl.acm.org/doi/10.1145/182.358450
dc.rights
Restricted access - publisher's policy
dc.subject
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject
Derivability analysis
dc.subject
Logical information systems
dc.subject
Logical system design
dc.subject
Precedence relations
dc.subject
System dictionary
dc.subject
Information systems
dc.subject
Database systems
dc.title
Information derivability analysis in logical information systems
