Research in database engineering at the University of Namur

Hainaut, Jean-Luc

doi:10.1145/959060.959087

Cited by 5 publications

(3 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The improvement and maintenance of software systems can be done with less effort if the requirements of such systems are available. While reverse engineering, a software engineer takes past implementation and retrieves essential problem domain content, discards design optimizations and implementation decisions [14].…”

Section: Database Reverse Engineeringmentioning

confidence: 99%

See 1 more Smart Citation

Key Analysis of Normalization Process Using Formal Techniques in DBRE

Mian

Zafar

2010

2010 Second International Conference on Computer Engineering and Applications

View full text Add to dashboard Cite

Database systems are considered as an integral part of any software system, therefore, all complex systems maintain a database in different formats. Relational database management systems are based on relational model for creation and storage of databases. Database reverse engineering (DBRE) is a process of extracting the database requirements from an operational database system. Objective of DBRE is to enhance and maintain an existing system in an optimal way. Of course, DBRE process requires a detailed mathematical analysis to achieve the objective of optimality. For efficient data manipulation in a database system mathematical techniques and algorithms are required. Formal methods can be used to achieve this objective from existing code to a conceptual model. Formal methods are mathematical based techniques which can be used for analyzing and specifying the properties of software and hardware systems. In this paper, we have applied formal methods to formalize some of the processes of DBRE techniques. We have formalized the process of extracting primary and foreign keys, strong and weak entities using Z notation. The model is analyzed and validated using Z/EVES tool. It is observed that application of formal methods in DBRE was not only useful in capturing the requirements of a system but it has also increased the confidence throughout the process.

show abstract

Section: Database Reverse Engineeringmentioning

confidence: 99%

“…A good survey and comparison is provided in [12] and [13], whereas issues involved in DBRE as well as some of the solutions are discussed in [14]. However a complete formal model to perform the task is still missing.…”

Section: Introductionmentioning

confidence: 99%

Key Analysis of Normalization Process Using Formal Techniques in DBRE

Mian

Zafar

2010

2010 Second International Conference on Computer Engineering and Applications

View full text Add to dashboard Cite

show abstract

“…The extraction of conceptual schemas from database schemas is known as data reverse engineering [1], and there are many algorithms and tools, including DB-MAIN [4]. Figure 3 illustrates the SMART architecture.…”

Section: Schema Matching In Smartmentioning

confidence: 99%

A Support Tool for XML Schema Matching and Its Implementation

Okawara

Tanaka

Morishima

et al. 2005

21st International Conference on Data Engineering Workshops (ICDEW'05)

View full text Add to dashboard Cite

We are developing a software tool to support schema matching for data transformations. Schema matching is the process of finding relationships between components of two given database schemas. The tool is unique in that it first extracts conceptual schemas from the two database schemas and allows the user to use the extracted conceptual schemas as clues to perform schema matching. This paper overviews the tool and explains its implementation.

show abstract

Formalization of Database Reverse Engineering

Ndefo

2017

Communications in Computer and Information Science

View full text Add to dashboard Cite

Research in database engineering at the University of Namur

Cited by 5 publications

References 11 publications

Key Analysis of Normalization Process Using Formal Techniques in DBRE

Key Analysis of Normalization Process Using Formal Techniques in DBRE

A Support Tool for XML Schema Matching and Its Implementation

Formalization of Database Reverse Engineering

Contact Info

Product

Resources

About