Please use this identifier to cite or link to this item:
http://hdl.handle.net/20.500.11889/4191
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Jarrar, Mustafa | |
dc.contributor.author | Heymans, Stijn | |
dc.date.accessioned | 2017-01-31T06:38:03Z | |
dc.date.available | 2017-01-31T06:38:03Z | |
dc.date.issued | 2006 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11889/4191 | |
dc.description.abstract | ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema naturally arise. Satisfiability checking allows a developer to automatically detect contradicting constraints. However, no complete satisfiability checker is known for ORM. In this paper, we revisit existing patterns from literature that indicate unsatisfiability of ORM schemes i.e., schemes that cannot be populated, and we propose refinements as well as additions for them. Although this does not yield a complete procedure – there may be ORM schemes passing the pattern checks while containing unsatisfiable roles – it yields an efficient and easy to implement detection mechanism (specially in interactive modeling tools) for the most common conceptual modeling mistakes | en_US |
dc.language.iso | en_US | en_US |
dc.subject | Object-oriented methods (Computer science) | en_US |
dc.subject | Model-based reasoning | en_US |
dc.subject | Relational databases | en_US |
dc.subject | Database design | en_US |
dc.subject.lcsh | Object Role Modeling | |
dc.title | Unsatisfiability reasoning in ORM conceptual schemes | en_US |
dc.type | Article | en_US |
newfileds.department | Engineering and Technology | en_US |
newfileds.item-access-type | open_access | en_US |
newfileds.thesis-prog | none | en_US |
newfileds.general-subject | none | en_US |
item.grantfulltext | open | - |
item.fulltext | With Fulltext | - |
item.languageiso639-1 | other | - |
Appears in Collections: | Fulltext Publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
icsnw2006.pdf | 738.76 kB | Adobe PDF | View/Open |
Page view(s)
127
Last Week
0
0
Last month
3
3
checked on Apr 14, 2024
Download(s)
34
checked on Apr 14, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.