| Prev | Next | Start of Chapter | End of Chapter | Contents | Glossary | Index | Comments | (11 out of 14)

Automatically Resolving Conflicting Definitions

You can direct G2 to resolve most conflicts among definitions of classes automatically. This ability is sometimes referred to as automerge.

To resolve conflicts automatically when merging KBs:

When merging KBs, or when loading modularized KBs with the automatically resolve conflicts option selected, G2 checks each pair of conflicting definitions to see whether they can be merged automatically.

When G2 automerges two KBs, it does the following for each pair of definitions that can be merged automatically:

Automerging an OBJECT-DEFINITION, CONNECTION-DEFINITION, or MESSAGE-DEFINITION into a CLASS-DEFINITION cannot be done by directly transferring attributes, because the syntax differs in the two types of definition. G2 carries out such a merge by changing the syntax of the information in the secondary definition as needed to fit into a CLASS-DEFINITION.

Automerging two definitions resolves every difference between the primary and secondary definitions in favor of the primary definition:

If all conflicting definitions can be merged automatically, the KBs themselves have been successfully automerged. If any pair of definitions cannot be automerged, G2 treats them as it does all conflicting definitions during an ordinary merge, as described in the next section.

| Prev | Next | Start of Chapter | End of Chapter | Contents | Glossary | Index | Comments | (11 out of 14)

Copyright © 1997 Gensym Corporation, Inc.