Computer Science · Database Management Systems
Match LIST-I with LIST-II based on Armstrong's specific inference rules and their formal logical notations: LIST-I (Inference Rule) A. Reflexivity B. Augmentation C. Union D. Pseudotransitivity LIST-II (Logical Notation) I. X → Y, WY → Z ⇒ WX → Z II. X → Y, X → Z ⇒ X → YZ III. X → Y ⇒ XZ → YZ IV. Y ⊆ X ⇒ X → Y Choose the correct answer from the options given below:
- 1A-III, B-I, C-II, D-IV
- 2A-II, B-IV, C-I, D-III
- 3A-IV, B-II, C-I, D-III
- 4A-IV, B-III, C-II, D-I✓
Correct answer
A-IV, B-III, C-II, D-I
Download Single Question PDF
Save this question and verified answer as a clean study sheet with live clickable link.
Share with Friends & Study Groups
Challenge your peer aspirants on WhatsApp or Telegram to solve this question!
Preparing for Computer Science?
Practice full-length mock tests with real exam timers, instant score analysis, and all-India ranking.
Want more practice questions on Database Management Systems?
Solve complete topic-wise tests with detailed solutions on GkGet.
Related Practice Questions
Recommended practice questions in Computer Science · Database Management Systems