Verification and transformation of complex and uncertain conceptual schemas

Adnan Yazici, Osman Merdan

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)655-679
Number of pages25
JournalInternational Journal of Uncertainty, Fuzziness and Knowlege-Based Systems
Volume5
Issue number6
DOIs
Publication statusPublished - Jan 1 1997

Fingerprint

Specifications
Data structures

Keywords

  • Logical Database Model
  • Semantic Data Model
  • Uncertain and Complex Information
  • Verification

ASJC Scopus subject areas

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

Cite this

Verification and transformation of complex and uncertain conceptual schemas. / Yazici, Adnan; Merdan, Osman.

In: International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems, Vol. 5, No. 6, 01.01.1997, p. 655-679.

Research output: Contribution to journalArticle

@article{f3624d1ad73d4c7b91626a2424bdbefc,
title = "Verification and transformation of complex and uncertain conceptual schemas",
abstract = "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.",
keywords = "Logical Database Model, Semantic Data Model, Uncertain and Complex Information, Verification",
author = "Adnan Yazici and Osman Merdan",
year = "1997",
month = "1",
day = "1",
doi = "10.1142/S0218488597000488",
language = "English",
volume = "5",
pages = "655--679",
journal = "International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems",
issn = "0218-4885",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "6",

}

TY - JOUR

T1 - Verification and transformation of complex and uncertain conceptual schemas

AU - Yazici, Adnan

AU - Merdan, Osman

PY - 1997/1/1

Y1 - 1997/1/1

N2 - 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.

AB - 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.

KW - Logical Database Model

KW - Semantic Data Model

KW - Uncertain and Complex Information

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=0344839564&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0344839564&partnerID=8YFLogxK

U2 - 10.1142/S0218488597000488

DO - 10.1142/S0218488597000488

M3 - Article

AN - SCOPUS:0344839564

VL - 5

SP - 655

EP - 679

JO - International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems

JF - International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems

SN - 0218-4885

IS - 6

ER -