Schema Name

Syntax & Type Checking

Domain Checking

Schema Expansion

Proof by Reduction

Vehicle Owner

Y

Y

Y

Y¹

Login

Y

Y

Y

Y¹

Signin

Y

Y

Y

Y¹