Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Açık Bilim Politikası
Açık Bilim Politikası
Frequently Asked Questions
Frequently Asked Questions
Browse
Browse
By Issue Date
By Issue Date
Authors
Authors
Titles
Titles
Subjects
Subjects
Communities & Collections
Communities & Collections
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
3
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
Journal
INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS
DOI
https://doi.org/10.1142/s0218488597000488
Collections
Department of Computer Engineering, Article