Title :
A logical model and schema integration architecture for determining equivalence in ER-diagrams
Author_Institution :
Dept. of Comput. Sci., Manitoba Univ., Winnipeg, Man., Canada
Abstract :
Equivalence determination, a subset of the schema integration process is discussed. An integration architecture that assists in the automation of the process is described and a formalism that maps from ERDs to a first-order logic model suitable for implementation with a language like Prolog is described
Keywords :
database theory; entity-relationship modelling; relational algebra; relational databases; ER-diagrams; Prolog; equivalence determination; first-order logic model; schema integration architecture; Automation; Computer architecture; Computer science; Councils; Data engineering; Data models; Database systems; Knowledge based systems; Logic; Query processing;
Conference_Titel :
Computing and Information, 1992. Proceedings. ICCI '92., Fourth International Conference on
Conference_Location :
Toronto, Ont.
Print_ISBN :
0-8186-2812-X
DOI :
10.1109/ICCI.1992.227645
