DocumentCode
3255498
Title
A logical model and schema integration architecture for determining equivalence in ER-diagrams
Author
Barker, Ken
Author_Institution
Dept. of Comput. Sci., Manitoba Univ., Winnipeg, Man., Canada
fYear
1992
fDate
28-30 May 1992
Firstpage
320
Lastpage
324
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computing and Information, 1992. Proceedings. ICCI '92., Fourth International Conference on
Conference_Location
Toronto, Ont.
Print_ISBN
0-8186-2812-X
Type
conf
DOI
10.1109/ICCI.1992.227645
Filename
227645
Link To Document