Detecting temporal conflicts in integrated agent specifications
Computational conflicts
A Formal Basis for Dynamic Schema Integration
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
Risk Constraints in Agent Conflicts
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
Schema integration framed in modal logic
CompSysTech '04 Proceedings of the 5th international conference on Computer systems and technologies
| Hi-index | 0.00 |
In this paper, we use standard modal logic as a formal framework for modelling and analyzing of schemata. A main problem considered is how to combine two schemata into an integrated schema that has the same information capacity as the original ones. To formalize this, we translate the concept of weak dominance into the language of modal logic. It intuitively expresses that the dominating schema, in some sense, contains at least as much information as the dominated ones. Further we identify a condition that two schemata and a set of integration assertions must satisfy in order to be meaningfully integrated. Namely, we show that if two schemata are conflictfree then the integrated schema dominates the original ones.