Verification and transformation of complex and uncertain conceptual schemas

Date

1997-12-01

Author

Yazıcı, Adnan
Merdan, O

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

10
views

0
downloads

In database environment it is necessary to represent complex and uncertain information at conceptual level and then transform the conceptual schema into the logical one for ultimate implementation. It is also important to verify the conceptual schema with respect to the constraints imposed on the schema definition. In this paper we primarily focus on the verification and transformation of the conceptual schema For the purpose of verification of the conceptual schema represented by the ExIFO data model (the extension of the IFO data model), we introduce a number of invariants. We also describe the transformation algorithm for mapping the conceptual specification into a logical database schema represented with the extended NF2 database model. The system that we describe in this paper is implemented and it can test whether the given ExIFO specification is valid and transforms the conceptual specification into the logical schema. The transformation algorithm is computationally efficient and preserves the knowledge represented with verified conceptual schema.

Subject Keywords

Control and Systems Engineering, Software, Artificial Intelligence, Information Systems

URI

https://hdl.handle.net/11511/62511

Collections

Department of Computer Engineering, Article