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¹ |