DocumentCode
2293532
Title
Checking extensional constraints of federated schemata
Author
Saoudi, A. ; Nachouki, G. ; Briand, H.
Author_Institution
IRIN-IRESTE Atlanpole, Nantes, France
fYear
1996
fDate
9-10 Sep 1996
Firstpage
398
Lastpage
403
Abstract
The authors describe a federated information system that uses a terminological system for the integration of heterogeneous databases. They present how this system is used for specifying correspondences between knowledge belonging to local schemas. These correspondences are specified as a set of assertions that cover the inter- and intra-schema constraints. They also present an algorithm for checking consistency among specified correspondences
Keywords
abstract data types; concurrency control; data structures; distributed databases; algorithm; assertions; consistency checking; extensional constraint checking; federated information system; federated schemata; heterogeneous database integration; inter-schema constraints; intra-schema constraints; knowledge correspondence specification; local schemas; terminological system; Algorithm design and analysis; Bridges; Data models; Database systems; Design methodology; Logic; Merging; Object oriented modeling; Relational databases; Textile industry;
fLanguage
English
Publisher
ieee
Conference_Titel
Database and Expert Systems Applications, 1996. Proceedings., Seventh International Workshop on
Conference_Location
Zurich
Print_ISBN
0-8186-7662-0
Type
conf
DOI
10.1109/DEXA.1996.558352
Filename
558352
Link To Document