Verification and transformation of complex and uncertain conceptual schemas

Adnan Yazici, Osman Merdan

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


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
Issue number6
Publication statusPublished - Jan 1 1997


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

ASJC Scopus subject areas

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

Fingerprint Dive into the research topics of 'Verification and transformation of complex and uncertain conceptual schemas'. Together they form a unique fingerprint.

Cite this