EXTENSIBLE AND QUERYABLE STRONG TYPES

摘要

Data type configuration data is expressed and deployed to a database system to obtain a relational representation of the data types in addition to the compile code representation. Users or developers extend the data types by adding data to the relational representation, and the runtime environment operates off of the relational representation. Because the data types are extended (such as by creating new entities) using the data type tables in the relational representation, the extensions obtain the benefits of the type checking performed at compile time.