|
Abstract. This paper introduces ORM2plus – a new linear syntax and complete semantics expressed in first order logic of ORM2 – which can be shown correctly embedding the original proposal. A provably correct...
|
Wed, Oct 3 2012
|
946
|
Download
File Size 2.7MB
|
|
Abstract: Fact-oriented modeling approaches such as Object-Role Modeling (ORM) validate their models with domain experts by verbalizing the models in natural language, and by populating the relevant fact...
|
Wed, Oct 3 2012
|
884
|
Download
File Size 1.1MB
|
|
Abstract: The problem of database reengineering stems from (legacy) databases that are hard to understand (incorrect-, incomplete- or missing semantics) or that perform inefficiently.Reengineering is often...
|
Wed, Oct 3 2012
|
1,604
|
Download
File Size 142.7kB
|
|
Abstract: In this paper we will focus on the interplay of mandatory role and set-comparison (equality-, subset- and exclusion-) constraints in fact based modeling. We will present an algorithm that can...
|
Wed, Oct 3 2012
|
920
|
Download
File Size 1.1MB
|
|
Abstract: Like any other modelling or development environment, there exist several modelling style choices in arriving at a Fact Based Model (FBM) schema. What is interesting is that choosing different...
|
Wed, Oct 3 2012
|
819
|
Download
File Size 727.5kB
|
|
Abstract: This paper describes a method used in a real-life case of a legacy database migration. The difficulty of the case lies in the fact that the legacy application to be replaced has to remain fully...
|
Tue, Nov 20 2012
|
1,073
|
Download
File Size 965.5kB
|