Title :
Checking extensional constraints of federated schemata
Author :
Saoudi, A. ; Nachouki, G. ; Briand, H.
Author_Institution :
IRIN-IRESTE Atlanpole, Nantes, France
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;
Conference_Titel :
Database and Expert Systems Applications, 1996. Proceedings., Seventh International Workshop on
Conference_Location :
Zurich
Print_ISBN :
0-8186-7662-0
DOI :
10.1109/DEXA.1996.558352
