Improve the DDL formalism.

• 扩展了DDL逻辑系统。