|
|
|
|
Formalization and Verification of Relational Database Normal Forms Using the Gamma Framework
|
|
|
|
|
|
|
|
نویسنده
|
Mathkour Hassan
|
|
منبع
|
journal of king saud university - computer and information sciences - 2009 - دوره : 21 - - کد همایش: - صفحه:1 -10
|
|
|
|
|
|
|
|
آدرس
|
King Saud University, College of Computer & Information Sciences, Department of Computer Science, Saudi Arabia
|
|
پست الکترونیکی
|
mathkour@ccis.ksu.edu.sa
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|