![]() |
Unicode Home Page | Unicode Technical Reports | Versions of the Unicode Standard | Character Charts |
Revision | 0d6 |
Authors | Ken Whistler, and Asmus Freytag (asmus@unicode.org) |
Date | 2000-11-08 |
This Version | http://www.unicode.org/unicode/reports/tr23-0d6.html |
Previous Version | none |
Latest Version | none |
Status of this document
This is the sixth working draft of the authors. This version is presented to UTC#85 for discussion. The outcome of this discussion could be to get consensus onwith this the authors can then proceed to draft the necessary introductory and explanatory language, as well as to complete the table to encompass any new properties recently added to the Unicode character database.
<sections marked like this contain reminders by the authors to themselves>
[Editorial notes for the benefit of reviewers are indicated like this.]
<Replace this section with the formal status language once this is approved as a proposed draft>
Contents
<Make real once the material has stabilized>
1 ScopeThe Unicode Standard views character semantics as inherent to the definition of a character. 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 and 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.
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.
[The intention is to address the following aspects of properties...
<complete or remove this list>
[These are the points from the whiteboard for the discussion at UTC#84 in Bedford]
raisin deter
character behavior
interpreted by process => formal property
property lists
property types
attrib to char/ code point
default values / does not apply / status unclear
[These is the text that I wrote with the above points in mind (AF). It's pretty rough still...AND it needs to change again, since the definitions got reworked]
In the Unicode Character Property Model, properties are inherent in the character. When modeling character behavior with computer processes, formal character properties are assigned in order to achieve the expected results.
What does it mean for a property to be normative? By making a property normative, the Unicode Standard guarantees that conformant implementations can rely on the fact that other conformant 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. An example are the bidirectional properties and their use by the bidirectional algorithm. For some character properties, for example the general category, the implications of a character having a particular property value are less well defined, reducing the degree to which communicating implementations can rely on specific interpretations for the same character. In the absence of a well defined interpretation it is meaningless to claim that a character property is normative.
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.
Alternatives: where only a few characters have normative properties, such as no-break characters for line breaking, explicitly duplicate that property in a separate normative list of Boolean properties
Properties may be informative for two main reasons.
Issues with overloaded enumerations: If an enumerated property is cobbled together from non-overlapping Boolean properties, the result may be difficult to apply or extend. The same applies if one attempts to use enumerated properties to convey distinctions they were not designed for. One either needs to keep subdividing and subdividing them into smaller subsets, using more values (something that cannot be done for a closed partition), or one must define alternative properties.
Issues with Boolean properties: If multiple Boolean properties are used to capture what are in effect mutually exclusive assignments of an enumerated value (for example the Boolean clones of the bidi properties in the PropList file) an essential fact, the mutual exclusiveness, can no longer be expressed in the property itself.
Issues with Normative Properties: There is some peculiar issue of partitions for which some values are normative and others are not. For the general category, the distinction becomes hard to follow. We are really not clear on this. There are many processes that we have not well defined (unlike bidi and collation). We assert the general property, but we don't make clear what model of processing we intend and what the required consequences are of a character being "Letter Other" as opposed to "Symbol Other".
[ The UTC should focus on reviewing these definitions. ]
[To be rewritten based on the final wording of the definitions.]
Character properties may be either normative or informative. Normative means that implementations that claim conformance to the Unicode Standard (at a particular version) and which make use of a particular property or field must follow the specifications of the standard for that property or field in order to be conformant. The term normative when applied to a property or field of the Unicode Character Database, does not mean that the value of that field will never change. 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. An informative property or field is strongly recommended, but a conformant implementation is free to use or change such values as it may require while still being conformant to the standard. Particular implementations may choose to override the properties and mappings that are not normative. In that case, it is up to the implementer to establish a protocol to convey that information.
The following table attempts to list all character properties defined by the Unicode Standard and associated Unicode Standard Annexes, Unicode Technical Standards, or Unicode Technical Reports.
[Largely unchanged. The plan is to add the information specified in the PropList file in this table as well.]
Name | Where Specified | N/I | Data Type | Notes |
---|---|---|---|---|
Alias | [NamesList] | I | Text | see [NamesList-Format] |
Alphabetic | [Unicode], Section 4.10 | I | Boolean | |
Arabic and Syriac Shaping Class | [ArabicShaping] | N | Enum | |
Bidirectional Class | [UnicodeData], Field 4 | N | Enum | see [Bidirectional Algorithm] |
Canonical Decomposition | [UnicodeData], Field 5 | N | Code Sequence | no prefix, see also Compatibility Mapping |
Case | [UnicodeData], Field 4 = Lu | Ll | Lt |
N | Enum | Derived: General Category = Lu | Ll | Lt |
Case Folding | [CaseFolding] | I | Code point | see [Case Mapping] |
Case Mapping (Lower) | [UnicodeData], Field 13 | N | Code point | only 1:1 mappings that are locale independent |
Case Mapping (Upper) | [UnicodeData], Field 12 | N | Code point | only 1:1 mappings that are locale independent |
Case Mapping (Title) | [UnicodeData], Field 14 | N | Code point | only 1:1 mappings that are locale independent |
Case Mapping (Special) | [SpecialCasing] | I | Code sequence | see [Case Mapping] |
Code point | [UnicodeData], Field 0 | N | Code point | |
Combining Class | [UnicodeData], Field 3 | N | 0..255 | |
Comments | [NamesList] | I | Text | see [Nameslist-Format] |
Compatibility Mapping | [UnicodeData], Field 5 | I | Prefix + Code Sequence |
prefix indicating mapping type |
Control | [UnicodeData], Field 4 = Cc | N | Boolean | Derived: General Category = Cc |
Cross Mappings | Various | I | see [Character Mapping Tables] | |
Dashes | [Unicode], Table 6-2 | N | Boolean | 207B, 208B, 2212 | General Category = Pd |
Default Sort Weight | Various | See [Collation] | ||
Digit, Decimal | [UnicodeData], Field 4 = Nd | N | Boolean | Derived: General Category = Nd |
Digit, Decimal Value | [UnicodeData], Field 6 | N | 0..9 | |
Digit, Value | [UnicodeData], Field 7 | N | Integer | |
East Asian Width | [EastAsianWidth] | I | Enum | see [East Asian Width] |
General Category | [UnicodeData], Field 2 | N/I | Enum | see [UnicodeData-Format] |
Identifier Extend | [UnicodeData], Field 4 = Mn | Mc | Nd | Pc | Cf |
I | Boolean | Derived: General Category = Mn | Mc | Nd | Pc | Cf |
Identifier Start | [UnicodeData], Field 4 = Lu | Ll | Lt | Lm | Lo | Nl |
I | Boolean | Derived: General Category = Lu | Ll | Lt | Lm | Lo | Nl |
Ideographic | Derived | I | Boolean | |
ISO comments | [UnicodeData], Field 11 | N | Text | |
Jamo Short Name | [Jamo] | N | Text | |
Letter | Derived | I | Boolean | see [Unicode], Section 4.10 |
Line Breaking Property | [LineBreak] | I | Enum | |
Mathematical Property | [Unicode], Section 4.9 | I | Boolean | |
Mirrored | [UnicodeData], Field 9 | N | Boolean | |
Name | [UnicodeData], Field 1 | N | Text | |
Numeric Value | [UnicodeData], Field 8 | I | Real [Complex] | |
Ideographs, Primary Numeric | [Unicode], Table 4-7 | I | Integer | |
Ideographs, Accounting Numbers | [Unicode], Table 4-8 | I | Integer | |
Private Use | [UnicodeData], Field 4 = Cp | N | Boolean | Derived: General Category = Cp |
Related characters | [NamesList] | I | Text | |
Script | [ScriptNames] | I | [Text / Enum?] | see [Script Names] |
Space | [UnicodeData], Field 4 = Zs | N | Boolean | Derived: General Category = Zs |
Surrogates | [UnicodeData], Field 4 = Cs | N | Text | Derived: General Category = Cs |
Unicode 1.0 Name | [UnicodeData], Field 10 | N | Text |
Code points can range from 0000 to 10FFF and code sequences are sequences of code points. There is no pre-determined maximum length for a code sequence.
Character properties that are noted derived can be implied from other character properties. For practical and historical reasons, the [UnicodeData] file is considered as the primary source of information in determining the direction of such 'derivation'. The notation Field = X | Y means that the value of the field is either X or Y for the property to be true.
Some properties are maintained in or may be inferred from more than one location. As a result, several correlations between properties are true by design:
Decimal Digit Value present :=: General Category = Nd
Decimal Digit Value present :=: Decimal Digit Value = Numeric Value
Digit Value present :=: Digit Value = Numeric Value
[More to be added]
[The purpose of this section is not quite clear - it started as a critique of the 'general category' and is changing into a description of what that is. Should this section eventually contain all the descriptions of properties not defined in the book or a TR? ]
[NEW TEXT:]
The General Category is a broad categorization of all character according to their principal use. It is specifically designed to support a wide variety of common parsing task, including, but not limited to identifier syntax, regular expression processing, and word boundary detection. Many tasks will require specific overrides, or specializations for some characters, in some cases different overrides, dependent on locale. For some tasks, the specializations needed were extensive enough to warrant a separate property, for an example see [Line Breaking] . In other cases, alternative categorizations are needed that overlap some of the General Categories values, but not others, for example the Mathematical Property is true for all characters with General Category = Sm, but the reverse is not true.
[OLD TEXT:] <see if there is anything that needs to be retained, otherwise delete>
Enumerated properties can be very procrustean, if one attempts to make them convey distinctions they were not designed for. Therefore, each of the following enumerated properties that partition of the Unicode character space are be limited to a single, well defined purpose.
The values of the bidi-class are frozen by the bidi algorithm. One could reassign a character to a new value from the existing set, if a truly mistaken assignment was somehow found, but adding a new value to the set would invalidate the existing algorithm.
In a similar manner, a new Line Breaking Property would require additions to the set of Line Breaking Rules contained in [Line Breaking]. However, since the line breaking rules in [Line Breaking] are not normative in the way the bidi-algorithm is, and because line breaking rules do get customized in implementations, it is quite conceivable that, as more scripts are added, or as more is learned about handling certain scripts, additional line breaking properties are found to be required. In this case, subdividing the partition would be the right answer.
The general category is special in the sense that some of its values are better defined than others. Letters, digits, combining marks, spaces, and formatting characters are some of the well defined values. The subdivision of the remainder into subclasses is more problematical. The problem with subdividing punctuation into opening and closing is not only that this cannot be uniquely done (see the quotation marks) but that this distinction does not belong into the "general" category; the line breaking partition is a better place for this information.
Some of the existing sub-categories of the general category should be deprecated with pointers to other partitions or properties files where these classifications belong. In other words, the general categories could be better off if it only contained 'P' for punctuation, but not the overly detailed sub-types, since they tend to give only a partial answer. All in all, this is really no different to the use of 1:1 case transforms in [UnicodeData] and the existence of a separate SpecialCasing.txt to give the complete answer.
Letter versus Symbol are not "just varieties of the same specific property." The term "Symbol" is defective in the General Category partition. It is the left-over junk category, and the way the General Category values are assigned, with an implicit, unstated hierarchy of properties, means that "Symbol" is not coherent in any obvious way. Furthermore, there are instances of letters functioning as symbols (e.g., the letterlike symbols), and instances of symbols functioning as letters (e.g., some of the modifier letters).
[The material in this section is under active discussion in the Unicode Consortium. The text below represents an initial suggestion by the authors and does not reflect a consensus by the Consortium. These suggestions may be accepted or rejected by the Unicode Technical Committee.]
Updates to the Unicode Character Database can be required for three reasons
Changing a characters property assignment invalidates existing implementations and is therefore something that is done judiciously and with great care when there is no better alternative.
When updates are made, certain guarantees apply.
Some aspects of properties are guaranteed to be invariant for all or some properties
Where stability of assignment is not guaranteed, the stability of an assignment of a property value will depend on the character and how well understood it is and will be less a function of normative vs. informative status.
[Capture property related guarantees here from 'policies' page on the website - in the view of the authors, the formal specification of these guarantees belongs in this report, and the web-page will serve merely as a summary. This matter is under discussion. In any event, the material needs to be reworded in light of the definitions that are available here (i.e. 'stable property').]
If a string contains only characters from a given version of the Unicode Standard (say Unicode 3.1), and it is put into a normalized form in accordance with that version of Unicode, then it will be in normalized form when according to any past or future versions of Unicode.
Note: If an implementation normalizes a string that contains
characters that are not assigned in the version of Unicode that it
supports, that string may not be assessed as being in normalized form
according to a future version of Unicode. For example, suppose that a
Unicode 3.0 program normalizes a string that contains new Unicode 3.1
characters. That string may not be normalized according to Unicode 3.1.
The General Category and Bidi Category are closed enumerations.
In other words they will not be further subdivided.
Further description of these is provided in described in UnicodeData.html:
The consortium will endeavor to keep the values of the other properties
as stable as possible, but some circumstances may arise that require
changing them. 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.
[The material in this section is under active discussion in the Unicode Consortium. The text below represents an initial suggestion by the authors and does not reflect a consensus by the Consortium. These suggestions may be accepted or rejected by the Unicode Technical Committee.]
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.
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 gracefully in such circumstances.
For many archaic scripts (as well as for not yet fully implemented modern ones) essential characteristics of many characters may not be knowable at the time of their publication. In these cases the proper assignments of property values for newly encoded characters cannot be reliably determined at the time the characters are first added to the Unicode Standard, or for a new property, when the property is first added to the Unicode Character Database. In these cases, and where the property is a required property, it will be given a value of 'undetermined', or 'unknown at time of publication'.
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 needs more discussion. The plan for this section is to include a description of the process used to maintain the Unicode Character Database. An initial draft follows:]
The Unicode Character Database is provided as a collection of flat text files, as described in [UnicodeCharacterDatabase]. Each version of the database has its own, numbered directory on the Unicode ftp site [ftp-http]. In each versioned directory, the filenames of all files carry their version number in the file names. The latest version of the database is replicated in the directory named UNIDATA [Unidata], which uses constant file names (i.e. without version number). It is thus possible to reference both a specific version as well as the latest version of a database file (or the database itself) without need to update the links.
Whenever an update of the database is being developed, a beta version may be released in a directory whose name contains the word 'beta' in the directory name and in all filenames contained therein. This directory is provided solely for review purpose and will not be maintained after the end of the beta period.
<TBD: Examples of file names>.
For more information about the versions of the Unicode Standard see [UnicodeVersions].
All files need a (formal) syntax description at least as detailed as namelist.txt has - it's probably useful to set up three or four templates for this now, so that we don't get new formats for each proposed property.
(In all but UnicodeData, names should be strictly optional, and we should have utilities that can strip these fields.)
For UnicodeData we could either do the same, or pop a new file for the new planes with either 5 digits or an understood plane offset. Splitting that file would be nice since it will get truly big in no time.
[There may be a need to formally discuss 'descriptive files' where small sets of complex exceptional cases are discussed in what amounts to non-machine readable text.]
The authors wish to thank Mark Davis for his insightful comments.
Changes form second working draft: None, this is the first initial draft submitted to UTC.
Changes from third working draft: Reordered according to UTC feedback. Added information about maintenance, extended discussion on updates.
Changes from fourth working draft: Reworded the definitions based on feedback from Mark Davis. Some other minor changes.
Changes from fifth working draft: Added a few definitions. Cleaned up some of the text.
Copyright © 2000-2000 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.
Unicode and the Unicode logo are trademarks of Unicode, Inc., and are registered in some jurisdictions.