Armstrong's axioms in DBMS Theory - Interactive Code Practice

Practice - 5 Tasks

1fill in blank

easy

Complete the code to represent the Reflexivity rule of Armstrong's axioms.

DBMS Theory

SELECT * FROM dependencies WHERE attribute_set [1] attribute_set;

Drag options to blanks, or click blank then click option'

A≠

B⊆

C=

D⊇

Attempts:

3 left

💡 Hint

Common Mistakes

Using equality (=) instead of subset (⊆).

Using superset (⊇) which reverses the relationship.

The Reflexivity rule states that if Y is a subset of X, then X determines Y. So the attribute set must be a subset (⊆).

2fill in blank

medium

Complete the code to represent the Augmentation rule of Armstrong's axioms.

DBMS Theory

IF X -> Y THEN X[1]Z -> Y[2]Z

Drag options to blanks, or click blank then click option'

A+

B||

C,

D&

Attempts:

3 left

💡 Hint

Common Mistakes

Using logical operators like || or & which are not for attribute sets.

Using + which is arithmetic, not set concatenation.

Augmentation means adding the same set Z to both sides of the dependency. The comma represents concatenation of attribute sets.

3fill in blank

hard

Fix the error in the code representing the Transitivity rule of Armstrong's axioms.

DBMS Theory

IF X -> Y AND Y -> Z THEN X -> [1]

Drag options to blanks, or click blank then click option'

AW

BY

CX

DZ

Attempts:

3 left

💡 Hint

Common Mistakes

Using Y or X instead of Z in the conclusion.

Using unrelated attribute W.

Transitivity states that if X determines Y and Y determines Z, then X determines Z.

4fill in blank

hard

Complete the code to complete the Union rule of Armstrong's axioms.

DBMS Theory

IF X -> Y AND X -> [1] THEN X -> Y,[1]

Drag options to blanks, or click blank then click option'

AZ

BY

C+

D,

Attempts:

3 left

💡 Hint

Common Mistakes

Using Y instead of Z in the second dependency.

Using + which is arithmetic, not set union.

The Union rule states that if X determines Y and X determines Z, then X determines the union of Y and Z. The comma represents combining attribute sets.

5fill in blank

hard

Fill both blanks to complete the Decomposition rule of Armstrong's axioms.

DBMS Theory

IF X -> [1],Y THEN X -> [2] AND X -> Y

Drag options to blanks, or click blank then click option'

AY

B,

C+

DZ

Attempts:

3 left

💡 Hint

Common Mistakes

Using + instead of comma to separate attributes.

Using Y instead of Z for the first attribute in the combined set.

The comma separates attribute sets.