enumerated-types

Is there some kind of mechanism in SQL Server to allow Enumerated type like functionality? For example, if I have a column Called "UpdateStatus" it usually gets setup with single letter values like so: D X U I This could equate to a lot of things. That leads to confusion. The alternative is to have it be a string column like this: Downloaded Deleted Updated Initialized But that has its own problems. Eventually someone is going to write something like this: where UpdateStatus = 'Initalized' (spelled wrong). Plus I hear that keying off of strings is not all that performant. So, is there any kind

At first I want to mention that I am new in ontology and protege. I try to develop an ontology using protege 5.0. I defined some data properties with enumerated range which I defined in data range expression like this: {"Balanced" , "Clever" , "Energetic" , "Lazy" , "Talkative"}. Now I want to define an individual and want to choose a value from the range I defined above as filler for a datatype property. How can I do this? thanks for your help in advance It is not possible to declare an individual from that range, because datatype ranges are composed of literals, not individuals. If you want

Here are the source code of my testing program of enumerated types: Z3_symbol enum_names[3]; Z3_func_decl enum_consts[3]; Z3_func_decl enum_testers[3]; enum_names[0]=Z3_mk_string_symbol(z3_cont,"a"); enum_names[1]=Z3_mk_string_symbol(z3_cont,"b"); enum_names[3]=Z3_mk_string_symbol(z3_cont,"c"); Z3_symbol enum_nm = Z3_mk_string_symbol(z3_cont,"enumT"); Z3_sort s = Z3_mk_enumeration_sort(z3_cont, enum_nm, 3, enum_names, enum_consts, enum_testers); z3::sort ss(z3_cont,s); z3::expr a = z3::expr(z3_cont,Z3_mk_app(z3_cont,enum_consts[0],0,0)); z3::expr b = z3::expr(z3_cont,Z3_mk_app(z3_cont,enum