Implementing a Logic System for testing functional independent normal form in relational databases

Implementing a Logic System for testing functional independent normal form in relational databases

A deductive system for database normalization is implemented by using a Flora-2 reasoning engine. The system allows for checking a relational schema up to Boyce-Codd normal form (BCNF) and functional independent normal form (FINF). Examples of system usage are presented and discussed.

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Orehovacki, T., Schatten, M., Lovrencic, A.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Algorithm design and analysis
BCNF
Data models
database normalization
Erbium
FINF
Flora-2
HiLog
Relational databases
Testing
Unified modeling language
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A deductive system for database normalization is implemented by using a Flora-2 reasoning engine. The system allows for checking a relational schema up to Boyce-Codd normal form (BCNF) and functional independent normal form (FINF). Examples of system usage are presented and discussed.
ISSN:1330-1012