Map derivation of the closures for dependency and attribute sets and all candidate keys for a relational database
Other Title(s)
الاشتقاق الخريطي لمغالق مجموعات الاعتماد وال واصفات و لجميع المفاتيح المرشحة لقاعدة بيانات علاقية
Joint Authors
Barukab, Umar Muhammad
Rushdi, Ali Muhammad Ali
Source
Journal of King Abdulaziz University : Engineering Sciences
Issue
Vol. 25, Issue 2 (31 Dec. 2014), pp.3-33, 31 p.
Publisher
King Abdulaziz University Scientific Publishing Center
Publication Date
2014-12-31
Country of Publication
Saudi Arabia
No. of Pages
31
Main Subjects
Topics
Abstract AR
ثمة تكافؤ مثبت بين الاعتمادات الدالية في قواعد البيانات العلاقية و جزء من جبر التبديل مبني نمط يا مما يعرف بعبارات هورن.
و يمتد هذا التكافؤ إلى كل من المفاهيم و الإجراءات المتبعة في ميدان الاعتمادات الدالية لقواعد البيانات العلاقية و تلك المرعية في ميدان جبر التبديل.
و بصفة خاصة، فإن ثلاث مسائل مهمة في تحليل و تصميم قواعد البيانات، و هي مسألة اشتقاق مغلق أية مجموعة اعتماد، و مسألة اشتقاق مغلق أية مجموعة جزئية من المجموعة الكلية للواصفات، و مسألة اشتقاق جميع المفاتيح المرشحة، يمكن مطابقتها بمسألة حساب المجموع الكامل (المجموع المنطقي لجميع الضامنات الأولية) لدالة تبديلية.
تعالج ورقة البحث هذه كل هذه المسائل بوصفها مسألة اشتقاق للمجموع الكامل باستعمال خوارزمية يدوية قوية تستعمل خريطة كارنوه متغيرة المحتويات.
و تتسم هذه الخريطة بطبيعة تصويرية رغم كونها شبه جبرية، كما أنها تضاعف عدد المتغيرات التي تتناولها مقارنة بخريطة كارنوه التقليدية.
يتم عرض الخوارزمية المذكورة بالتفصيل كما يجري شرحها من خلال مثال توضيحي كبير نسبياً.
تناقش الورقة مزايا هذه الخوارزمية مقارنة بالأسلوب التقليدي المبني على الاستخدام المتكرر لقواعد الاستدلال.
و كثمرة جانبية، تضفي الورقة تحسينات على هذا الأسلوب التقليدي من خلال دعمه بأفكار مستمدة من جبر التبديل.
Abstract EN
There is an established equivalence between relational database functional dependencies (FDs) and a fragment of switching algebra that is typically built of Horn clauses.
This equivalence pertains to both concepts and procedures of the FD database domain and the switching-algebraic domain.
In particular, three notable problems of database analysis and design, namely, the derivation of the closure for any dependency set, the derivation of the closure for any subset of the set of attributes, and the derivation of all candidate keys, can be identified as a computation of the complete sum (disjunction of all prime implicants) of a switching function.
This paper tackles each of these three problems as a complete-sum derivation problem via a powerful manual algorithm employing the variable-entered Karnaugh map.
This map has a pictorial (albeit semialgebraic) nature, and it doubles the variable-handling capacity of the conventional Karnaugh map.
The algorithm is presented in detail and demonstrated via relatively-large illustrative examples.
The merits of this algorithm was discussed in comparison with the traditional approach based on the iterative application of rules of inference.
As an offshoot, the paper also includes enhancements of the traditional approach via ideas borrowed from switching algebra.
American Psychological Association (APA)
Rushdi, Ali Muhammad Ali& Barukab, Umar Muhammad. 2014. Map derivation of the closures for dependency and attribute sets and all candidate keys for a relational database. Journal of King Abdulaziz University : Engineering Sciences،Vol. 25, no. 2, pp.3-33.
https://search.emarefa.net/detail/BIM-557276
Modern Language Association (MLA)
Rushdi, Ali Muhammad Ali& Barukab, Umar Muhammad. Map derivation of the closures for dependency and attribute sets and all candidate keys for a relational database. Journal of King Abdulaziz University : Engineering Sciences Vol. 25, no. 2 (2014), pp.3-33.
https://search.emarefa.net/detail/BIM-557276
American Medical Association (AMA)
Rushdi, Ali Muhammad Ali& Barukab, Umar Muhammad. Map derivation of the closures for dependency and attribute sets and all candidate keys for a relational database. Journal of King Abdulaziz University : Engineering Sciences. 2014. Vol. 25, no. 2, pp.3-33.
https://search.emarefa.net/detail/BIM-557276
Data Type
Journal Articles
Language
English
Record ID
BIM-557276