Technical Reports |
Version | 1.0 |
Author | Asmus Freytag (asmus@unicode.org) |
Date | 2004-03-25 |
This Version | http://www.unicode.org/reports/tr23/tr23-4.html |
Previous Version | http://www.unicode.org/reports/tr23/tr23-3.html |
Latest Version | http://www.unicode.org/reports/tr23/ |
Tracking Number | 4 |
This report presents a conceptual model of character properties defined in the Unicode Standard.
This document is a Draft Unicode Technical Report. Publication does not imply endorsement by the Unicode Consortium. This is a draft document which may be updated, replaced, or superseded by other documents at any time. This is not a stable document; it is inappropriate to cite this document as other than a work in progress.
A Unicode Technical Report (UTR) contains informative material. Conformance to the Unicode Standard does not imply conformance to any UTR. Other specifications, however, are free to make normative references to a UTR.
Please submit corrigenda and other comments with the online reporting form [Feedback]. Related information that is useful in understanding this document is found in the References section. For the latest version of the Unicode Standard see [Unicode]. See [Reports] for a list of current Unicode Technical Reports. For more information about versions of the Unicode Standard, see [Versions].
[Note to reviewers: Significant changes from the previous draft are marked like this, while older changes are shown like this.]
This report provides discussion of common aspects of character properties. This description of the Unicode character property model is not intended to supersede the normative information on properties in The Unicode Standard [Unicode], nor the existing body of technical reports and documentation files in the Unicode Character Database that provide detailed descriptions for particular character properties. Instead it presents a general overview and typology of character properties and property values.
In some ways, the model of character properties presented here goes beyond the current text of the standard, since it lays the foundation for a future clarification of the definition of character properties in later updates to the Unicode standard.
This report specifically covers formal character properties, which are those attributes of characters that are specified according to the definitions set forth in this report.
At its most basic a character property relates a character (sometimes a code point) to a value. At its most general, a character property can be considered a function; it is a mapping from characters or a character (or code-point) string to a property value.
The Unicode Standard views character semantics as inherent to the definition of a character, and conformant processes are required to take these into account when interpreting characters.
D2b Character semantics: The semantics of a character are determined by its identity, normative properties, and behavior.
The assignment of character semantics for the Unicode Standard is based on character behavior. For other character set standards, it is left to the implementer, or to unrelated secondary standards, to assign character semantics to characters. In contrast, the Unicode Standard supplies a rich set of character attributes, called properties, for each character contained in it. Many properties are specified in relation to processes or algorithms that interpret them, in order to implement the discovered character behavior.
The interpretation of some properties (such as whether a character is a digit or not) is largely independent of context, whereas the interpretation of others (such as directionality) is applicable to a character sequence as a whole, rather than to the individual characters that compose the sequence.
Other examples that require context include title casing, and the classification of neutrals in script assignments. The line breaking rules of UAX#14 Line Breaking Properties [LineBreak] involve character pairs and triples, and in certain cases, longer sequences. The glyph(s) defined by a combining character sequence are the result of contextual analysis in the display shaping engine. Isolated character properties typically only tell part of the story.
In some cases the expected character behavior depends on external context, such as the type and nature of the document, the language of the text, or the cultural expectation of the user. Properties modeling such behaviors may be specified in separate standards, as is the case for the UTS#10 Unicode Collation Algorithm [UCA]. Where a reasonably generic set of property values can be assigned, for example for [LineBreak], such properties may be defined as part of [Unicode] typically as informative and overridable properties.
When modeling character behavior with computer processes, formal character properties are assigned in order to achieve the expected results. Such modeling depends heavily on algorithms. In some cases, a given character property is specified in close conjunction with a detailed specification of an algorithm. In other cases, algorithms are implied but not specified, or there are several algorithms that can make use of the same general character property. The last case may require occasional implementation-specific adjustments in character property assignment to make all algorithms work correctly. This can usually be achieved by overriding specific properties for specific algorithms. (See also Section 4.3 "Overriding Properties via Higher-level Protocols")
When assigning character properties for use with a given algorithm, it may be tempting to assign somewhat arbitrary values to some characters, as long as the algorithm happens to produce the expected results. Proceeding in this way hides the nature of the character and limits the re-use of character properties by related processes. Therefore, instead of tweaking the properties to simply make a particular algorithm easier, the Unicode Standard pays careful attention to the underlying essential linguistic identity of the character. However, not all aspects of a characters identity are relevant in all circumstances, and some characters can be used in many different ways, depending on context or circumstance. Because of this the formal character properties alone are not sufficient to describe the complete range of desirable or acceptable character behaviors.
Note: in some cases the relevant algorithm is not defined in the Unicode standard, for example the algorithm that turns strings of digits into numerical values as such is not defined in the Unicode Standard, but implementations will nevertheless refer to the numeric_value property.
As specified in Chapter 3, Conformance, The Unicode Standard [Unicode] defines both normative and informative properties.
D9 Normative property: A Unicode character property whose values are required for conformance to the standard.
Normative means that implementations which claim conformance to a particular version of the Unicode Standard and which make use of a particular property must follow the specifications of the standard for that property for the implementation to be conformant. The term normative when applied to a character property does not mean that the value of the property will never change for particular characters. Corrections and extensions to the standard in the future may require minor changes to normative values, even though the Unicode Technical Committee strives to minimize such changes.
Some of the normative Unicode algorithms depend critically on particular property values for their behavior. As a result, some of the normative properties disallow any kind of overriding by higher-level protocols. Other normative properties are overridable by higher-level protocols, because their intent is to provide a common basis for behavior, but they may require tailoring for particular local cultural conventions or particular implementations. [slightly condensed and examples omitted]
By making a property normative and non-overridable, the Unicode Standard guarantees that conformant implementations can rely on the fact that other conformant implementations will interpret the character in the same way. This is most useful for those properties where the Unicode Standard provides precise rules for the interpretation of characters based on their properties. Examples are the decompositions and their use by the Normalization forms [Normal].
For some character properties, for example the general category, the Unicode standard does not define what model of processing it is intended to support and what the required consequences are of a character being e.g. "Letter Other" as opposed to "Symbol Other". In the absence of such definition, the only effect of conformance that can be tested in a strict manner is whether a character property library returns the correct value to its caller.
Note: One trivial, but important instance of conformant implementation is runtime access to a character property database. For normative properties, conformant implementations guarantee that the returned values match the values defined by the Unicode Consortium.
For information on which properties are normative, see the documentation file for the Unicode Character Database [UCDDoc].
For more information on overriding normative properties, see Section 4.3 Overriding Properties via Higher-level Protocols.
D9a Informative property: A Unicode character property whose values are provided for information only.
A conformant implementation is free to use or change such values as it may require, while remaining conformant to the standard. Particular implementations may choose to override the properties that are not normative. In that case, the implementer has the option of establishing a protocol to convey that particular properties are being used in distinct ways. When an informative property is explicitly specified in the Unicode Character Database, its use is strongly recommended for implementations to encourage comparable behavior between implementations. Note that it is possible for an informative property in one version of the Unicode Standard to become a normative property in a subsequent version of the standard if its use starts to acquire conformance implications in some part of the standard. [emphasis added].
Properties may be informative for two main reasons.
The Property Aliases [Alias] and Property Value Aliases [ValueAlias] define a set of names and abbreviations that are used to refer to properties and property values. These names can be used for XML formats of data in the Unicode Character Database [UCD], for regular-expression property tests, and other programmatic textual descriptions of Unicode data. The names themselves are not normative, except where they correspond to normative properties in the UCD. The names may be translated in appropriate environments, and additional aliases may be useful. The case distinctions, whitespace, and '_' in the property names are not normative and unless a specific form is required in a particular application, all forms are equivalent.
Note: For most properties, there is one abbreviated name and one long name for each property. At any time, additional aliases may be added. The property value names are not unique across properties. For example, AL means Arabic Letter for the Bidi_Class property, and AL means Alpha_Left for the Combining_Class property, and AL means Alphabetic for the Line_Break property. In addition, some property names may be the same as some property value names. For example, cc means Combining_Class property, and cc means the General_Category property value Control (cc). The combination of property value and property name is, however, unique. For more information, see UTR #18: Regular Expression Guidelines [RegEx].
[Unicode] Section 3.1 gives a prescription for referencing properties:
References to Unicode Character Properties
Properties and property values have defined names and abbreviations, such as: Property: General_Category (gc); Property Value: Uppercase_Letter (Lu).
To reference a given property and property value, these aliases are used, as in this example:
The property value Uppercase_Letter from the General_Category property, as defined in Unicode 3.2.0
Then cite that version of the standard, using the standard citation format that is provided for each version of the Unicode Standard. For Unicode 3.2.0, it is:
The Unicode Consortium. The Unicode Standard, Version 3.2.0, defined by: The Unicode Standard, Version 3.0 (Reading, MA, Addison-Wesley, 2000. ISBN 0-201-61633-5), as amended by the Unicode Standard Annex #27: Unicode 3.1 (http://www.unicode.org/reports/tr27/) and the Unicode Standard Annex #28: Unicode 3.2 (http://www.unicode.org/reports/ tr28/)
The Unicode Character Database [UCD] is the main repository for machine readable character properties. It consists of a number of files containing property data along with documentation files that explain the organization of the database and the format and meaning of the property data in the files. The Unicode Character Database file explains the overall organization of the current version of the UCD and tells which files explain specific data files.
While the Unicode Consortium strives to minimize changes to character property data, occasionally the character properties for already encoded characters must be updated. When this situation occurs, the relevant data files of the Unicode Character Database are revised. The revised data files are posted on the Unicode Web site as an update version of the standard.
A visual documentation of character code point, character name and reference glyph, together with excerpts from some of the character properties and augmented by additional annotations can be found in the Character Code [Charts].
PD3. Property Value
The following do not define character properties, but properties of character properties.
This Technical report does not define conformance requirements, but the following subsections discuss and summarize the conformance requirements related to character properties stated in the Unicode Standard.
In Chapter 3, Conformance, The Unicode Standard [Unicode] states that "A process shall interpret a coded character representation according to the character semantics established by this standard, if that process does interpret that coded character representation." The semantics of a character are established by taking its coded representation, character name and representative glyph in context and are further defined by its normative properties and behavior. Neither character name nor representative glyphs can be relied upon absolutely; a character may have a broader range of use than the most literal interpretation of its character name, and the representative glyph is only indicative of one of a range of typical glyphs representing the same character.
Unicode algorithms are specified as an idealized series of steps (rules) performed on an input of character codes and their associated properties. [Unicode] states:
- An implementation claiming conformance to a Unicode algorithm need only guarantee that it produces the same results as those specified in the logical description of
the process; it is not required to follow the actual described procedure in detail. This allows room for alternative strategies and optimizations in implementation.
As long as the same results are achieved, the implementation is also not required to use the actual properties published in the [UCD]. Overriding a property value therefore does not necessarily imply an actual change in property assignments, merely that the conformant implementation of an algorithm now produces the same results as if the property values had been changed in the description of the ideal algorithm.
In discussing character semantics, The Unicode Standard [Unicode] makes this statements about overriding properties and character behavior:
Some normative behavior is default behavior; this behavior can be overridden by higher-level protocols. However, in the absence of such protocols, the behavior must be observed so as to follow the character semantics.
Overrides by a higher-level protocol can conceptually take many forms, including, but not limited to
Where overrides involve normative properties, specific restrictions apply, for example
• The character combination properties and the canonical ordering behavior cannot be overridden by higher-level protocols.
For additional examples see section 4.3 in UAX#9 Bidirectional Algorithm [Bidi]. There are some normative properties that are fully overridable, for example General Category.
On the other hand, any and all informative properties may be overridden. However, if doing so changes the result of a Unicode Algorithm, any implementation wishing to conform to it, must indicate that overrides have been applied.
Updates to the Unicode Character Database can be required for three reasons
In particular, as Unicode encodes less-well documented scripts (such as for minority languages in Thailand) the exact character properties and behavior may not be known at the time the script is first encoded; they are expected to be changed as information becomes available.
In some cases, as implementation experience grows, a readjustment of property values may become necessary. As much as possible, such readjustments are carried out to be compatible in their effects for existing successful implementations. Occasionally, a change to a character property is maded to prevent incorrect generalizations of a use of character based on its nominal property values. For example U+200B ZERO WIDTH SPACE is was originally classified as a space character (General Category=Zs) but is now classified as a Formal Control (gc=Cf) to distinguish this line break control from space characters.
In other cases, there may have been unintentional mistakes in the original information that require corrections.
The [UTC]
carefully weighs the costs of a change to the benefit of the correction. In
addition, all updates to properties
are subject to the stability guarantees described in the next section.
Unicode guarantees the stability of character assignments, that is, the identity of a character encoded at a given location will remain the same. Once a character is encoded, its properties may still be changed, but not in such a way as to change the fundamental identity of the character.
For example, the representative glyph for U+0061 "A" could not be changed to "B"; the general category for U+0061 "A" could not be changed to Ll (lowercase letter); and the decomposition mapping for U+00C1 (Á) could not be changed to <U+0042, U+0301> (B, ´).
In addition, for some properties, one or more of the following aspects are guaranteed to be invariant.
For the most up-to-date specification of all stability guarantees in effect see the Unicode Stability Policy [Stability]. Note that the status of a property as normative does not imply a stability guarantee.
Stability of assignment is the definition of an immutable property. For example, once a character is encoded, its code point and name are immutable properties. The main benefit of an immutable property is to allow software and documents to refer to its values without the need to track future updates to the Standard. One side effect of an immutable property is that errata cannot be fixed. For example, mistakes in naming are noted in the nameslist in a note or by using an alias, but the formal name remains unchanged, even in cases of clear-cut typographical errors.
Because the code point is an immutable property, if a character is ever found to not be needed, or to be a mistaken duplicate of an existing character, it will not be removed. Instead, it will be given an additional property, deprecated, and its use will be strongly discouraged. However, its identity remains intact, and all existing documents containing the character remain well-defined.
Stability of result is the definition of a stable property. For example, once a character is encoded, its canonical combining class and decomposition (canonical or compatibility) are stable with respect to normalization. Stability with respect to normalization is defined in such a way that if a string contains only characters from a given version of the Unicode Standard (say Unicode 3.2), and it is put into a normalized form in accordance with that version of Unicode, then it will be in normalized form when normalized according to any past or future versions of Unicode.
However, unlike character code and character name, some properties that are guaranteed to be stable may be corrected in exceptional circumstances that are clearly defined by the Unicode Stability Policy [Stability]. In addition to other requirements, the correction must be of an obvious mistake, such as a typographical error, and any alternative would violate the stability of the identity of the character in question. The intent of this is to obviate the need for encoding duplicate characters simply to correct clerical or other clear-cut errors in property assignments.
For example, all characters other than those of General Category M* have the combining class 0.
In principle, the way the property information is presented in the Unicode Character Database is independent of the way this information is defined. However, as the Unicode Standard gets updated, it becomes easier for implementations to track updates if file formats remain unchanged and other aspects of the way the data are organized can remain stable. For the majority of properties, such stability is an informal goal of the development process, but in a few cases, some aspects of the data organization are covered by formal stability guarantees.
For example, Canonical and Compatibility mappings are always in canonical order, and the resulting recursive decomposition will also be in canonical order. Canonical mappings are also always limited either to a single value or to a pair. The second character in the pair cannot itself have a canonical mapping.
In an ideal world, all character properties would be perfectly self-consistent, and related properties would be consistent with each other over the entire range of code points. However, The Unicode Standard is the product of many compromises. It has to strike a balance between uniformity of treatment for similar characters and compatibility with existing practice for characters inherited from legacy encodings. Because of this balancing act, one can expect a certain number of anomalies in character properties.
Sometimes it may be advantageous for an implementation to purposefully override some of the anomalous property values, increasing the efficiency and uniformity of algorithms—as long as the results they produce do not conflict with those specified by the normative properties of this standard. See Chapter 4, Character Properties in [Unicode] for some examples.
Property values assigned to new characters added to the Unicode Standard are generally defined so that related characters are given consistent values, unless deliberate exceptions are needed. For some properties, definite links between that property and one or more other properties are defined. For example for the LineBreak property, many line break classes are defined in relation to General Category values.
Some of the information provided about characters in the Unicode Character Database constitutes provisional data. Provisional property data may capture partial or preliminary information. Such data may contain errors or omissions, or otherwise not be ready for systematic use; however, provisional property data are included in the data files for distribution partly to encourage review and improvement of the information. For example, a number of the tags in the Unihan database provide provisional property values of various sorts about Han characters.
Occasionally, as the standard matures, and new characters, properties or algorithms are defined the information presented in an existing property may better represented via other properties, or it may not make sense to extend the property to new characters. Such property may then no longer be maintained in future versions of the Unicode Standard. In that case it will be designated as Stabilized. For backwards compatibility, a stabilized property will remain part of the Unicode Character database, but will not be updated or corrected.
An example of a stabilized property is Hyphen.
Limited properties apply to only a subset of characters. Where these properties are implemented as a partition (required property) the characters to which the property does not apply is given a special value denoting that the property does not apply.
Implementations often need specific properties for all code points, including those that are unassigned. To meet this need, the Unicode standard assigns default properties to ranges of unassigned code points.
All implementations of the Unicode Standard should endeavor to handle additions to the character repertoire gracefully. In some cases this may require that an implementation attempts to 'anticipate' likely property values for Code points for which characters have not yet been defined, but where surrounding characters exist that make it probable that similar characters will be assigned to the Code point in question.
There are three strategies
Each of these strategies has advantages and drawbacks, and none can guarantee that the behavior of an implementation that is conformant to a prior version of the Unicode Standard will support characters added in a later version of the Unicode Standard in precisely the same way as an implementation that is conformant to the later version. The most that can be hoped for, is that the earlier implementation will behave more gracefully in such circumstances.
Default values are temporary: they will be superseded by final assignments, once characters are assigned to a given code point.
For non-character codes, a property returning API would return the same value as the default value for unassigned characters.
Sometimes, a determination and assignment of property values can be made, but the information on which it was based may be incomplete or preliminary. In such cases, the property value may be changed when better information becomes available. Currently, there is no machine readable way to provide information about the confidence of a property assignment; however, the text of the Standard or a Technical Report defining the property may provide general indications of preliminary status of property assignments where they are known.
This is distinct from provisional properties, where the entire property is preliminary.
[Alias] | Property Aliases http://www.unicode.org/unicode/Public/UNIDATA/PropertyAliases.txt |
[Bidi] | The Unicode Consortium. Unicode Standard Annex #9: The Bidirectional Algorithm http://www.unicode.org/reports/tr9/ |
[Charts] | The online code charts can be found at http://www.unicode.org/charts/ An index to characters names with links to the corresponding chart is found at http://www.unicode.org/charts/charindex.html |
[EAW] | UAX # 11, East Asian Width http://www.unicode.org/reports/tr11/ |
[Feedback] | Reporting Errors and Requesting
Information Online http://www.unicode.org/reporting.html |
[FAQ] | Unicode Frequently Asked Questions http://www.unicode.org/faq/ For answers to common questions on technical issues. |
[Glossary] | Unicode Glossary http://www.unicode.org/glossary/ For explanations of terminology used in this and other documents. |
[LineBreak] | UAX # 14, Line Breaking Properties http://www.unicode.org/reports/tr14/ |
[Normal] | Unicode Technical Report #15: Unicode Normalization Forms http://www.unicode.org/unicode/reports/tr15/ |
[RegEx] | Unicode Technical Report #18: Regular Expression Guidelines http://www.unicode.org/unicode/reports/tr18/ |
[Reports] | Unicode Technical Reports http://www.unicode.org/reports/ For information on the status and development process for technical reports, and for a list of technical reports. |
[Stability] | Unicode Stability Policy http://www.unicode.org/standard/stability_policy.html |
[UCA] | Unicode Technical Standard #10: Unicode
Collation Algorithm http://www.unicode.org/reports/tr10/ |
[UCD] | About the Unicode Character Database. http://www.unicode.org/ucd/ For an overview of the Unicode Character Database |
[UCDDoc] | Unicode Character Database. http://www.unicode.org/Public/UNIDATA/UCD.html For documentation of the contents of the Unicode Character Database and its associated files |
[Unicode] | The Unicode Consortium. The Unicode Standard, Version 4.0. (Boston, MA, Addison-Wesley, 2003. ISBN 0-321-18578-1), or online as http://www.unicode.org/versions/Unicode4.0.0/ |
[Unihan] | The Unihan Database. For character information about CJK ideographs; for more information about the database see [UCDDoc]. The database itself is a available online at http://www.unicode.org/Public/UNIDATA/Unihan.zip (5 MB) |
[UTC] | The Unicode Technical Commitee, for more information see http://www.unicode.org/consortium/utc.html |
[ValueAlias] | Property Value Aliases http://www.unicode.org/Public/UNIDATA/PropertyValueAliases.txt |
[Versions] | Versions of the Unicode Standard http://www.unicode.org/standard/versions/ For information on version numbering, and citing and referencing the Unicode Standard, the Unicode Character Database, and Unicode Technical Reports. |
The author wishes to thank Ken Whistler and Mark Davis for their insightful comments.
Changes from previous revisions
4 Added several definitions: limited property, miscellaneous property, removed definitions of stable transform, revised definitions of fixed and immutable property, enumerated, numeric and string-valued property, added 4.2 on algorithms and revised 4.3 on higher level protocols.
3 Added several definitions: stable transforms, string-valued properties, string functions, catalog, etc.. Removed 6.3 on Undetermined Property values.
2 Fixed Summary, Scope and Stability sections, revised and reordered the definitions, updated the Status and References sections, renumbered sections, reworded and fixed typos throughout.
1 First version for public review
Copyright © 2000-2004 Unicode, Inc. All Rights Reserved. The Unicode Consortium makes no expressed or implied warranty of any kind, and assumes no liability for errors or omissions. No liability is assumed for incidental and consequential damages in connection with or arising out of the use of the information or programs contained or accompanying this technical report. The Unicode Terms of Use apply.
Unicode and the Unicode logo are trademarks of Unicode, Inc., and are registered in some jurisdictions.