Inconsistency Management and View Updates

Authors:
Catherine Menon;Michael Johnson;Charles Lakos
Affiliations:
School of Computer Science, University of Adelaide, Adelaide, Australia;Information and Communication Sciences, Macquarie University, Sydney, Australia;School of Computer Science, University of Adelaide, Adelaide, Australia
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 8
Cited 0

Algebraic Specifications in Software Engineering

Algebraic Specifications in Software Engineering
Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
Update semantics of relational views

ACM Transactions on Database Systems (TODS)
A hidden agenda

Theoretical Computer Science
An Introduction to Database Systems

An Introduction to Database Systems
View updates in a semantic data modelling paradigm

ADC '01 Proceedings of the 12th Australasian database conference
The System Designer's Guide to VHDL-AMS

The System Designer's Guide to VHDL-AMS
Towards a semantic basis for Rosetta

ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26

Quantified Score

Hi-index	0.00

Visualization

Abstract

Inconsistency management in component-based languages is the identification and resolution of conflicting constraints or expectations between the different components which make up a system. Here we present a category theoretical framework for detecting and classifying those inconsistencies which can arise throughout a simulation. In addition, the framework permits us to apply techniques developed for defining database view updates. With these, we can analyse the set of traces of a system with respect to a particular behaviour in a subsystem.