]> git.sur5r.net Git - openldap/blobdiff - servers/slapd/schema_init.c
Ready for release?
[openldap] / servers / slapd / schema_init.c
index 43bad4b5522d703fd9f96fa07f4561cf957ca6ba..42f03d8f260a5d828e2939a3c4d0b52208d8aba6 100644 (file)
@@ -1,14 +1,25 @@
 /* schema_init.c - init builtin schema */
 /* $OpenLDAP$ */
-/*
- * Copyright 1998-2003 The OpenLDAP Foundation, All Rights Reserved.
- * COPYING RESTRICTIONS APPLY, see COPYRIGHT file
+/* This work is part of OpenLDAP Software <http://www.openldap.org/>.
+ *
+ * Copyright 1998-2005 The OpenLDAP Foundation.
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted only as authorized by the OpenLDAP
+ * Public License.
+ *
+ * A copy of this license is available in the file LICENSE in the
+ * top-level directory of the distribution or, alternatively, at
+ * <http://www.OpenLDAP.org/license.html>.
  */
 
 #include "portable.h"
 
 #include <stdio.h>
+#ifdef HAVE_LIMITS_H
 #include <limits.h>
+#endif
 
 #include <ac/ctype.h>
 #include <ac/errno.h>
 #include <ac/socket.h>
 
 #include "slap.h"
-#include "ldap_pvt.h"
-#include "lber_pvt.h"
 
 #include "ldap_utf8.h"
 
+#ifdef HAVE_TLS
+#include <openssl/x509.h>
+#include <openssl/err.h>
+#include <openssl/rsa.h>
+#include <openssl/crypto.h>
+#include <openssl/pem.h>
+#include <openssl/bio.h>
+#include <openssl/asn1.h>
+#include <openssl/x509v3.h>
+#include <openssl/ssl.h>
+#endif
+
+#include "lutil.h"
 #include "lutil_hash.h"
 #define HASH_BYTES                             LUTIL_HASH_BYTES
 #define HASH_CONTEXT                   lutil_HASH_CTX
@@ -28,8 +50,6 @@
 #define HASH_Update(c,buf,len) lutil_HASHUpdate(c,buf,len)
 #define HASH_Final(d,c)                        lutil_HASHFinal(d,c)
 
-#define        OpenLDAPaciMatch                        NULL
-
 /* approx matching rules */
 #define directoryStringApproxMatchOID  "1.3.6.1.4.1.4203.666.4.4"
 #define directoryStringApproxMatch             approxMatch
 #define IA5StringApproxIndexer                 approxIndexer
 #define IA5StringApproxFilter                  approxFilter
 
+/* Change Sequence Number (CSN) - much of this will change */
+#define csnValidate                            blobValidate
+#define csnMatch                               octetStringMatch
+#define csnOrderingMatch               octetStringOrderingMatch
+#define csnIndexer                             generalizedTimeIndexer
+#define csnFilter                              generalizedTimeFilter
+
+#ifdef SLAP_AUTHZ_SYNTAX
+/* FIXME: temporary */
+#define authzMatch                             octetStringMatch
+#endif /* SLAP_AUTHZ_SYNTAX */
+
+unsigned int index_substr_if_minlen = SLAP_INDEX_SUBSTR_IF_MINLEN_DEFAULT;
+unsigned int index_substr_if_maxlen = SLAP_INDEX_SUBSTR_IF_MAXLEN_DEFAULT;
+unsigned int index_substr_any_len = SLAP_INDEX_SUBSTR_ANY_LEN_DEFAULT;
+unsigned int index_substr_any_step = SLAP_INDEX_SUBSTR_ANY_STEP_DEFAULT;
+
+ldap_pvt_thread_mutex_t        ad_undef_mutex;
+ldap_pvt_thread_mutex_t        oc_undef_mutex;
+
 static int
 inValidate(
        Syntax *syntax,
@@ -61,6 +101,33 @@ blobValidate(
 #define berValidate blobValidate
 
 static int
+sequenceValidate(
+       Syntax *syntax,
+       struct berval *in )
+{
+       if ( in->bv_len < 2 ) return LDAP_INVALID_SYNTAX;
+       if ( in->bv_val[0] != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
+
+       return LDAP_SUCCESS;
+}
+
+
+#ifdef HAVE_TLS
+static int certificateValidate( Syntax *syntax, struct berval *in )
+{
+       X509 *xcert=NULL;
+       unsigned char *p = (unsigned char *)in->bv_val;
+       xcert = d2i_X509(NULL, &p, in->bv_len);
+       if ( !xcert ) return LDAP_INVALID_SYNTAX;
+       X509_free(xcert);
+       return LDAP_SUCCESS;
+}
+#else
+#define certificateValidate sequenceValidate
+#endif
+
+int
 octetStringMatch(
        int *matchp,
        slap_mask_t flags,
@@ -102,6 +169,30 @@ octetStringOrderingMatch(
        return LDAP_SUCCESS;
 }
 
+void
+hashDigestify(
+       HASH_CONTEXT *HASHcontext,
+       unsigned char *HASHdigest,
+       struct berval *prefix,
+       char pre,
+       Syntax *syntax,
+       MatchingRule *mr,
+       unsigned char *value,
+       int value_len)
+{
+       HASH_Init(HASHcontext);
+       if(prefix && prefix->bv_len > 0) {
+               HASH_Update(HASHcontext,
+                       (unsigned char *)prefix->bv_val, prefix->bv_len);
+       }
+       if(pre) HASH_Update(HASHcontext, (unsigned char*)&pre, sizeof(pre));
+       HASH_Update(HASHcontext, (unsigned char*)syntax->ssyn_oid, syntax->ssyn_oidlen);
+       HASH_Update(HASHcontext, (unsigned char*)mr->smr_oid, mr->smr_oidlen);
+       HASH_Update(HASHcontext, value, value_len);
+       HASH_Final(HASHdigest, HASHcontext);
+       return;
+}
+
 /* Index generation function */
 int octetStringIndexer(
        slap_mask_t use,
@@ -119,40 +210,28 @@ int octetStringIndexer(
        HASH_CONTEXT HASHcontext;
        unsigned char HASHdigest[HASH_BYTES];
        struct berval digest;
-       digest.bv_val = HASHdigest;
+       digest.bv_val = (char *)HASHdigest;
        digest.bv_len = sizeof(HASHdigest);
 
-       for( i=0; values[i].bv_val != NULL; i++ ) {
+       for( i=0; !BER_BVISNULL( &values[i] ); i++ ) {
                /* just count them */
        }
 
        /* we should have at least one value at this point */
        assert( i > 0 );
 
-       keys = sl_malloc( sizeof( struct berval ) * (i+1), ctx );
+       keys = slap_sl_malloc( sizeof( struct berval ) * (i+1), ctx );
 
        slen = syntax->ssyn_oidlen;
        mlen = mr->smr_oidlen;
 
-       for( i=0; values[i].bv_val != NULL; i++ ) {
-               HASH_Init( &HASHcontext );
-               if( prefix != NULL && prefix->bv_len > 0 ) {
-                       HASH_Update( &HASHcontext,
-                               prefix->bv_val, prefix->bv_len );
-               }
-               HASH_Update( &HASHcontext,
-                       syntax->ssyn_oid, slen );
-               HASH_Update( &HASHcontext,
-                       mr->smr_oid, mlen );
-               HASH_Update( &HASHcontext,
-                       values[i].bv_val, values[i].bv_len );
-               HASH_Final( HASHdigest, &HASHcontext );
-
+       for( i=0; !BER_BVISNULL( &values[i] ); i++ ) {
+               hashDigestify( &HASHcontext, HASHdigest, prefix, 0,
+                       syntax, mr, (unsigned char *)values[i].bv_val, values[i].bv_len );
                ber_dupbv_x( &keys[i], &digest, ctx );
        }
 
-       keys[i].bv_val = NULL;
-       keys[i].bv_len = 0;
+       BER_BVZERO( &keys[i] );
 
        *keysp = keys;
 
@@ -176,30 +255,19 @@ int octetStringFilter(
        unsigned char HASHdigest[HASH_BYTES];
        struct berval *value = (struct berval *) assertedValue;
        struct berval digest;
-       digest.bv_val = HASHdigest;
+       digest.bv_val = (char *)HASHdigest;
        digest.bv_len = sizeof(HASHdigest);
 
        slen = syntax->ssyn_oidlen;
        mlen = mr->smr_oidlen;
 
-       keys = sl_malloc( sizeof( struct berval ) * 2, ctx );
+       keys = slap_sl_malloc( sizeof( struct berval ) * 2, ctx );
 
-       HASH_Init( &HASHcontext );
-       if( prefix != NULL && prefix->bv_len > 0 ) {
-               HASH_Update( &HASHcontext,
-                       prefix->bv_val, prefix->bv_len );
-       }
-       HASH_Update( &HASHcontext,
-               syntax->ssyn_oid, slen );
-       HASH_Update( &HASHcontext,
-               mr->smr_oid, mlen );
-       HASH_Update( &HASHcontext,
-               value->bv_val, value->bv_len );
-       HASH_Final( HASHdigest, &HASHcontext );
+       hashDigestify( &HASHcontext, HASHdigest, prefix, 0,
+               syntax, mr, (unsigned char *)value->bv_val, value->bv_len );
 
        ber_dupbv_x( keys, &digest, ctx );
-       keys[1].bv_val = NULL;
-       keys[1].bv_len = 0;
+       BER_BVZERO( &keys[1] );
 
        *keysp = keys;
 
@@ -222,20 +290,20 @@ octetStringSubstringsMatch(
        ber_len_t inlen = 0;
 
        /* Add up asserted input length */
-       if( sub->sa_initial.bv_val ) {
+       if ( !BER_BVISNULL( &sub->sa_initial ) ) {
                inlen += sub->sa_initial.bv_len;
        }
-       if( sub->sa_any ) {
-               for(i=0; sub->sa_any[i].bv_val != NULL; i++) {
+       if ( sub->sa_any ) {
+               for ( i = 0; !BER_BVISNULL( &sub->sa_any[i] ); i++ ) {
                        inlen += sub->sa_any[i].bv_len;
                }
        }
-       if( sub->sa_final.bv_val ) {
+       if ( !BER_BVISNULL( &sub->sa_final ) ) {
                inlen += sub->sa_final.bv_len;
        }
 
-       if( sub->sa_initial.bv_val ) {
-               if( inlen > left.bv_len ) {
+       if ( !BER_BVISNULL( &sub->sa_initial ) ) {
+               if ( inlen > left.bv_len ) {
                        match = 1;
                        goto done;
                }
@@ -243,7 +311,7 @@ octetStringSubstringsMatch(
                match = memcmp( sub->sa_initial.bv_val, left.bv_val,
                        sub->sa_initial.bv_len );
 
-               if( match != 0 ) {
+               if ( match != 0 ) {
                        goto done;
                }
 
@@ -252,8 +320,8 @@ octetStringSubstringsMatch(
                inlen -= sub->sa_initial.bv_len;
        }
 
-       if( sub->sa_final.bv_val ) {
-               if( inlen > left.bv_len ) {
+       if ( !BER_BVISNULL( &sub->sa_final ) ) {
+               if ( inlen > left.bv_len ) {
                        match = 1;
                        goto done;
                }
@@ -262,7 +330,7 @@ octetStringSubstringsMatch(
                        &left.bv_val[left.bv_len - sub->sa_final.bv_len],
                        sub->sa_final.bv_len );
 
-               if( match != 0 ) {
+               if ( match != 0 ) {
                        goto done;
                }
 
@@ -270,19 +338,19 @@ octetStringSubstringsMatch(
                inlen -= sub->sa_final.bv_len;
        }
 
-       if( sub->sa_any ) {
-               for(i=0; sub->sa_any[i].bv_val; i++) {
+       if ( sub->sa_any ) {
+               for ( i = 0; !BER_BVISNULL( &sub->sa_any[i] ); i++ ) {
                        ber_len_t idx;
                        char *p;
 
 retry:
-                       if( inlen > left.bv_len ) {
+                       if ( inlen > left.bv_len ) {
                                /* not enough length */
                                match = 1;
                                goto done;
                        }
 
-                       if( sub->sa_any[i].bv_len == 0 ) {
+                       if ( BER_BVISEMPTY( &sub->sa_any[i] ) ) {
                                continue;
                        }
 
@@ -295,7 +363,7 @@ retry:
 
                        idx = p - left.bv_val;
 
-                       if( idx >= left.bv_len ) {
+                       if ( idx >= left.bv_len ) {
                                /* this shouldn't happen */
                                return LDAP_OTHER;
                        }
@@ -303,7 +371,7 @@ retry:
                        left.bv_val = p;
                        left.bv_len -= idx;
 
-                       if( sub->sa_any[i].bv_len > left.bv_len ) {
+                       if ( sub->sa_any[i].bv_len > left.bv_len ) {
                                /* not enough left */
                                match = 1;
                                goto done;
@@ -313,7 +381,7 @@ retry:
                                sub->sa_any[i].bv_val,
                                sub->sa_any[i].bv_len );
 
-                       if( match != 0 ) {
+                       if ( match != 0 ) {
                                left.bv_val++;
                                left.bv_len--;
                                goto retry;
@@ -342,45 +410,41 @@ octetStringSubstringsIndexer(
        BerVarray *keysp,
        void *ctx )
 {
-       ber_len_t i, j, nkeys;
+       ber_len_t i, nkeys;
        size_t slen, mlen;
        BerVarray keys;
 
        HASH_CONTEXT HASHcontext;
        unsigned char HASHdigest[HASH_BYTES];
        struct berval digest;
-       digest.bv_val = HASHdigest;
+       digest.bv_val = (char *)HASHdigest;
        digest.bv_len = sizeof(HASHdigest);
 
-       nkeys=0;
+       nkeys = 0;
 
-       for( i=0; values[i].bv_val != NULL; i++ ) {
+       for ( i = 0; !BER_BVISNULL( &values[i] ); i++ ) {
                /* count number of indices to generate */
-               if( values[i].bv_len < SLAP_INDEX_SUBSTR_MINLEN ) {
-                       continue;
-               }
-
                if( flags & SLAP_INDEX_SUBSTR_INITIAL ) {
-                       if( values[i].bv_len >= SLAP_INDEX_SUBSTR_MAXLEN ) {
-                               nkeys += SLAP_INDEX_SUBSTR_MAXLEN -
-                                       (SLAP_INDEX_SUBSTR_MINLEN - 1);
-                       } else {
-                               nkeys += values[i].bv_len - (SLAP_INDEX_SUBSTR_MINLEN - 1);
+                       if( values[i].bv_len >= index_substr_if_maxlen ) {
+                               nkeys += index_substr_if_maxlen -
+                                       (index_substr_if_minlen - 1);
+                       } else if( values[i].bv_len >= index_substr_if_minlen ) {
+                               nkeys += values[i].bv_len - (index_substr_if_minlen - 1);
                        }
                }
 
                if( flags & SLAP_INDEX_SUBSTR_ANY ) {
-                       if( values[i].bv_len >= SLAP_INDEX_SUBSTR_MAXLEN ) {
-                               nkeys += values[i].bv_len - (SLAP_INDEX_SUBSTR_MAXLEN - 1);
+                       if( values[i].bv_len >= index_substr_any_len ) {
+                               nkeys += values[i].bv_len - (index_substr_any_len - 1);
                        }
                }
 
                if( flags & SLAP_INDEX_SUBSTR_FINAL ) {
-                       if( values[i].bv_len >= SLAP_INDEX_SUBSTR_MAXLEN ) {
-                               nkeys += SLAP_INDEX_SUBSTR_MAXLEN -
-                                       ( SLAP_INDEX_SUBSTR_MINLEN - 1);
-                       } else {
-                               nkeys += values[i].bv_len - (SLAP_INDEX_SUBSTR_MINLEN - 1);
+                       if( values[i].bv_len >= index_substr_if_maxlen ) {
+                               nkeys += index_substr_if_maxlen -
+                                       (index_substr_if_minlen - 1);
+                       } else if( values[i].bv_len >= index_substr_if_minlen ) {
+                               nkeys += values[i].bv_len - (index_substr_if_minlen - 1);
                        }
                }
        }
@@ -391,97 +455,56 @@ octetStringSubstringsIndexer(
                return LDAP_SUCCESS;
        }
 
-       keys = sl_malloc( sizeof( struct berval ) * (nkeys+1), ctx );
+       keys = slap_sl_malloc( sizeof( struct berval ) * (nkeys+1), ctx );
 
        slen = syntax->ssyn_oidlen;
        mlen = mr->smr_oidlen;
 
-       nkeys=0;
-       for( i=0; values[i].bv_val != NULL; i++ ) {
+       nkeys = 0;
+       for ( i = 0; !BER_BVISNULL( &values[i] ); i++ ) {
                ber_len_t j,max;
 
-               if( values[i].bv_len < SLAP_INDEX_SUBSTR_MINLEN ) continue;
-
                if( ( flags & SLAP_INDEX_SUBSTR_ANY ) &&
-                       ( values[i].bv_len >= SLAP_INDEX_SUBSTR_MAXLEN ) )
+                       ( values[i].bv_len >= index_substr_any_len ) )
                {
                        char pre = SLAP_INDEX_SUBSTR_PREFIX;
-                       max = values[i].bv_len - (SLAP_INDEX_SUBSTR_MAXLEN - 1);
+                       max = values[i].bv_len - (index_substr_any_len - 1);
 
                        for( j=0; j<max; j++ ) {
-                               HASH_Init( &HASHcontext );
-                               if( prefix != NULL && prefix->bv_len > 0 ) {
-                                       HASH_Update( &HASHcontext,
-                                               prefix->bv_val, prefix->bv_len );
-                               }
-
-                               HASH_Update( &HASHcontext,
-                                       &pre, sizeof( pre ) );
-                               HASH_Update( &HASHcontext,
-                                       syntax->ssyn_oid, slen );
-                               HASH_Update( &HASHcontext,
-                                       mr->smr_oid, mlen );
-                               HASH_Update( &HASHcontext,
-                                       &values[i].bv_val[j],
-                                       SLAP_INDEX_SUBSTR_MAXLEN );
-                               HASH_Final( HASHdigest, &HASHcontext );
-
+                               hashDigestify( &HASHcontext, HASHdigest, prefix, pre,
+                                       syntax, mr, (unsigned char *)&values[i].bv_val[j], index_substr_any_len);
                                ber_dupbv_x( &keys[nkeys++], &digest, ctx );
                        }
                }
 
-               max = SLAP_INDEX_SUBSTR_MAXLEN < values[i].bv_len
-                       ? SLAP_INDEX_SUBSTR_MAXLEN : values[i].bv_len;
+               /* skip if too short */ 
+               if( values[i].bv_len < index_substr_if_minlen ) continue;
 
-               for( j=SLAP_INDEX_SUBSTR_MINLEN; j<=max; j++ ) {
+               max = index_substr_if_maxlen < values[i].bv_len
+                       ? index_substr_if_maxlen : values[i].bv_len;
+
+               for( j=index_substr_if_minlen; j<=max; j++ ) {
                        char pre;
 
                        if( flags & SLAP_INDEX_SUBSTR_INITIAL ) {
                                pre = SLAP_INDEX_SUBSTR_INITIAL_PREFIX;
-                               HASH_Init( &HASHcontext );
-                               if( prefix != NULL && prefix->bv_len > 0 ) {
-                                       HASH_Update( &HASHcontext,
-                                               prefix->bv_val, prefix->bv_len );
-                               }
-                               HASH_Update( &HASHcontext,
-                                       &pre, sizeof( pre ) );
-                               HASH_Update( &HASHcontext,
-                                       syntax->ssyn_oid, slen );
-                               HASH_Update( &HASHcontext,
-                                       mr->smr_oid, mlen );
-                               HASH_Update( &HASHcontext,
-                                       values[i].bv_val, j );
-                               HASH_Final( HASHdigest, &HASHcontext );
-
+                               hashDigestify( &HASHcontext, HASHdigest, prefix, pre,
+                                       syntax, mr, (unsigned char *)values[i].bv_val, j );
                                ber_dupbv_x( &keys[nkeys++], &digest, ctx );
                        }
 
                        if( flags & SLAP_INDEX_SUBSTR_FINAL ) {
                                pre = SLAP_INDEX_SUBSTR_FINAL_PREFIX;
-                               HASH_Init( &HASHcontext );
-                               if( prefix != NULL && prefix->bv_len > 0 ) {
-                                       HASH_Update( &HASHcontext,
-                                               prefix->bv_val, prefix->bv_len );
-                               }
-                               HASH_Update( &HASHcontext,
-                                       &pre, sizeof( pre ) );
-                               HASH_Update( &HASHcontext,
-                                       syntax->ssyn_oid, slen );
-                               HASH_Update( &HASHcontext,
-                                       mr->smr_oid, mlen );
-                               HASH_Update( &HASHcontext,
-                                       &values[i].bv_val[values[i].bv_len-j], j );
-                               HASH_Final( HASHdigest, &HASHcontext );
-
+                               hashDigestify( &HASHcontext, HASHdigest, prefix, pre,
+                                       syntax, mr, (unsigned char *)&values[i].bv_val[values[i].bv_len-j], j );
                                ber_dupbv_x( &keys[nkeys++], &digest, ctx );
                        }
 
                }
-
        }
 
        if( nkeys > 0 ) {
-               keys[nkeys].bv_val = NULL;
+               BER_BVZERO( &keys[nkeys] );
                *keysp = keys;
        } else {
                ch_free( keys );
@@ -514,27 +537,39 @@ octetStringSubstringsFilter (
 
        sa = (SubstringsAssertion *) assertedValue;
 
-       if( flags & SLAP_INDEX_SUBSTR_INITIAL && sa->sa_initial.bv_val != NULL
-               && sa->sa_initial.bv_len >= SLAP_INDEX_SUBSTR_MINLEN )
+       if( flags & SLAP_INDEX_SUBSTR_INITIAL &&
+               !BER_BVISNULL( &sa->sa_initial ) &&
+               sa->sa_initial.bv_len >= index_substr_if_minlen )
        {
                nkeys++;
+               if ( sa->sa_initial.bv_len > index_substr_if_maxlen &&
+                       ( flags & SLAP_INDEX_SUBSTR_ANY ))
+               {
+                       nkeys += 1 + (sa->sa_initial.bv_len - index_substr_if_maxlen) / index_substr_any_step;
+               }
        }
 
-       if( flags & SLAP_INDEX_SUBSTR_ANY && sa->sa_any != NULL ) {
+       if ( flags & SLAP_INDEX_SUBSTR_ANY && sa->sa_any != NULL ) {
                ber_len_t i;
-               for( i=0; sa->sa_any[i].bv_val != NULL; i++ ) {
-                       if( sa->sa_any[i].bv_len >= SLAP_INDEX_SUBSTR_MAXLEN ) {
-                               /* don't bother accounting for stepping */
+               for( i=0; !BER_BVISNULL( &sa->sa_any[i] ); i++ ) {
+                       if( sa->sa_any[i].bv_len >= index_substr_any_len ) {
+                               /* don't bother accounting with stepping */
                                nkeys += sa->sa_any[i].bv_len -
-                                       ( SLAP_INDEX_SUBSTR_MAXLEN - 1 );
+                                       ( index_substr_any_len - 1 );
                        }
                }
        }
 
-       if( flags & SLAP_INDEX_SUBSTR_FINAL && sa->sa_final.bv_val != NULL &&
-               sa->sa_final.bv_len >= SLAP_INDEX_SUBSTR_MINLEN )
+       if( flags & SLAP_INDEX_SUBSTR_FINAL &&
+               !BER_BVISNULL( &sa->sa_final ) &&
+               sa->sa_final.bv_len >= index_substr_if_minlen )
        {
                nkeys++;
+               if ( sa->sa_final.bv_len > index_substr_if_maxlen &&
+                       ( flags & SLAP_INDEX_SUBSTR_ANY ))
+               {
+                       nkeys += 1 + (sa->sa_final.bv_len - index_substr_if_maxlen) / index_substr_any_step;
+               }
        }
 
        if( nkeys == 0 ) {
@@ -542,107 +577,100 @@ octetStringSubstringsFilter (
                return LDAP_SUCCESS;
        }
 
-       digest.bv_val = HASHdigest;
+       digest.bv_val = (char *)HASHdigest;
        digest.bv_len = sizeof(HASHdigest);
 
        slen = syntax->ssyn_oidlen;
        mlen = mr->smr_oidlen;
 
-       keys = sl_malloc( sizeof( struct berval ) * (nkeys+1), ctx );
+       keys = slap_sl_malloc( sizeof( struct berval ) * (nkeys+1), ctx );
        nkeys = 0;
 
-       if( flags & SLAP_INDEX_SUBSTR_INITIAL && sa->sa_initial.bv_val != NULL &&
-               sa->sa_initial.bv_len >= SLAP_INDEX_SUBSTR_MINLEN )
+       if( flags & SLAP_INDEX_SUBSTR_INITIAL &&
+               !BER_BVISNULL( &sa->sa_initial ) &&
+               sa->sa_initial.bv_len >= index_substr_if_minlen )
        {
                pre = SLAP_INDEX_SUBSTR_INITIAL_PREFIX;
                value = &sa->sa_initial;
 
-               klen = SLAP_INDEX_SUBSTR_MAXLEN < value->bv_len
-                       ? SLAP_INDEX_SUBSTR_MAXLEN : value->bv_len;
-
-               HASH_Init( &HASHcontext );
-               if( prefix != NULL && prefix->bv_len > 0 ) {
-                       HASH_Update( &HASHcontext,
-                               prefix->bv_val, prefix->bv_len );
-               }
-               HASH_Update( &HASHcontext,
-                       &pre, sizeof( pre ) );
-               HASH_Update( &HASHcontext,
-                       syntax->ssyn_oid, slen );
-               HASH_Update( &HASHcontext,
-                       mr->smr_oid, mlen );
-               HASH_Update( &HASHcontext,
-                       value->bv_val, klen );
-               HASH_Final( HASHdigest, &HASHcontext );
+               klen = index_substr_if_maxlen < value->bv_len
+                       ? index_substr_if_maxlen : value->bv_len;
 
+               hashDigestify( &HASHcontext, HASHdigest, prefix, pre,
+                       syntax, mr, (unsigned char *)value->bv_val, klen );
                ber_dupbv_x( &keys[nkeys++], &digest, ctx );
+
+               /* If initial is too long and we have subany indexed, use it
+                * to match the excess...
+                */
+               if (value->bv_len > index_substr_if_maxlen && (flags & SLAP_INDEX_SUBSTR_ANY))
+               {
+                       ber_len_t j;
+                       pre = SLAP_INDEX_SUBSTR_PREFIX;
+                       for ( j=index_substr_if_maxlen-1; j <= value->bv_len - index_substr_any_len; j+=index_substr_any_step )
+                       {
+                               hashDigestify( &HASHcontext, HASHdigest, prefix, pre,
+                                       syntax, mr, (unsigned char *)&value->bv_val[j], index_substr_any_len );
+                               ber_dupbv_x( &keys[nkeys++], &digest, ctx );
+                       }
+               }
        }
 
        if( flags & SLAP_INDEX_SUBSTR_ANY && sa->sa_any != NULL ) {
                ber_len_t i, j;
                pre = SLAP_INDEX_SUBSTR_PREFIX;
-               klen = SLAP_INDEX_SUBSTR_MAXLEN;
+               klen = index_substr_any_len;
 
-               for( i=0; sa->sa_any[i].bv_val != NULL; i++ ) {
-                       if( sa->sa_any[i].bv_len < SLAP_INDEX_SUBSTR_MAXLEN ) {
+               for( i=0; !BER_BVISNULL( &sa->sa_any[i] ); i++ ) {
+                       if( sa->sa_any[i].bv_len < index_substr_any_len ) {
                                continue;
                        }
 
                        value = &sa->sa_any[i];
 
                        for(j=0;
-                               j <= value->bv_len - SLAP_INDEX_SUBSTR_MAXLEN;
-                               j += SLAP_INDEX_SUBSTR_STEP )
+                               j <= value->bv_len - index_substr_any_len;
+                               j += index_substr_any_step )
                        {
-                               HASH_Init( &HASHcontext );
-                               if( prefix != NULL && prefix->bv_len > 0 ) {
-                                       HASH_Update( &HASHcontext,
-                                               prefix->bv_val, prefix->bv_len );
-                               }
-                               HASH_Update( &HASHcontext,
-                                       &pre, sizeof( pre ) );
-                               HASH_Update( &HASHcontext,
-                                       syntax->ssyn_oid, slen );
-                               HASH_Update( &HASHcontext,
-                                       mr->smr_oid, mlen );
-                               HASH_Update( &HASHcontext,
-                                       &value->bv_val[j], klen ); 
-                               HASH_Final( HASHdigest, &HASHcontext );
-
+                               hashDigestify( &HASHcontext, HASHdigest, prefix, pre,
+                                       syntax, mr, (unsigned char *)&value->bv_val[j], klen ); 
                                ber_dupbv_x( &keys[nkeys++], &digest, ctx );
                        }
                }
        }
 
-       if( flags & SLAP_INDEX_SUBSTR_FINAL && sa->sa_final.bv_val != NULL &&
-               sa->sa_final.bv_len >= SLAP_INDEX_SUBSTR_MINLEN )
+       if( flags & SLAP_INDEX_SUBSTR_FINAL &&
+               !BER_BVISNULL( &sa->sa_final ) &&
+               sa->sa_final.bv_len >= index_substr_if_minlen )
        {
                pre = SLAP_INDEX_SUBSTR_FINAL_PREFIX;
                value = &sa->sa_final;
 
-               klen = SLAP_INDEX_SUBSTR_MAXLEN < value->bv_len
-                       ? SLAP_INDEX_SUBSTR_MAXLEN : value->bv_len;
-
-               HASH_Init( &HASHcontext );
-               if( prefix != NULL && prefix->bv_len > 0 ) {
-                       HASH_Update( &HASHcontext,
-                               prefix->bv_val, prefix->bv_len );
-               }
-               HASH_Update( &HASHcontext,
-                       &pre, sizeof( pre ) );
-               HASH_Update( &HASHcontext,
-                       syntax->ssyn_oid, slen );
-               HASH_Update( &HASHcontext,
-                       mr->smr_oid, mlen );
-               HASH_Update( &HASHcontext,
-                       &value->bv_val[value->bv_len-klen], klen );
-               HASH_Final( HASHdigest, &HASHcontext );
+               klen = index_substr_if_maxlen < value->bv_len
+                       ? index_substr_if_maxlen : value->bv_len;
 
+               hashDigestify( &HASHcontext, HASHdigest, prefix, pre,
+                       syntax, mr, (unsigned char *)&value->bv_val[value->bv_len-klen], klen );
                ber_dupbv_x( &keys[nkeys++], &digest, ctx );
+
+               /* If final is too long and we have subany indexed, use it
+                * to match the excess...
+                */
+               if (value->bv_len > index_substr_if_maxlen && (flags & SLAP_INDEX_SUBSTR_ANY))
+               {
+                       ber_len_t j;
+                       pre = SLAP_INDEX_SUBSTR_PREFIX;
+                       for ( j=0; j <= value->bv_len - index_substr_if_maxlen; j+=index_substr_any_step )
+                       {
+                               hashDigestify( &HASHcontext, HASHdigest, prefix, pre,
+                                       syntax, mr, (unsigned char *)&value->bv_val[j], index_substr_any_len );
+                               ber_dupbv_x( &keys[nkeys++], &digest, ctx );
+                       }
+               }
        }
 
        if( nkeys > 0 ) {
-               keys[nkeys].bv_val = NULL;
+               BER_BVZERO( &keys[nkeys] );
                *keysp = keys;
        } else {
                ch_free( keys );
@@ -674,13 +702,13 @@ bitStringValidate(
         */
        
        if( in->bv_val[0] != '\'' ||
-               in->bv_val[in->bv_len-2] != '\'' ||
-               in->bv_val[in->bv_len-1] != 'B' )
+               in->bv_val[in->bv_len - 2] != '\'' ||
+               in->bv_val[in->bv_len - 1] != 'B' )
        {
                return LDAP_INVALID_SYNTAX;
        }
 
-       for( i=in->bv_len-3; i>0; i-- ) {
+       for( i = in->bv_len - 3; i > 0; i-- ) {
                if( in->bv_val[i] != '0' && in->bv_val[i] != '1' ) {
                        return LDAP_INVALID_SYNTAX;
                }
@@ -689,38 +717,172 @@ bitStringValidate(
        return LDAP_SUCCESS;
 }
 
+/*
+ * Syntax is [RFC2252]:
+ *
+
+6.3. Bit String
+
+   ( 1.3.6.1.4.1.1466.115.121.1.6 DESC 'Bit String' )
+
+   Values in this syntax are encoded according to the following BNF:
+
+      bitstring = "'" *binary-digit "'B"
+
+      binary-digit = "0" / "1"
+
+   ... 
+
+6.21. Name And Optional UID
+
+   ( 1.3.6.1.4.1.1466.115.121.1.34 DESC 'Name And Optional UID' )
+
+   Values in this syntax are encoded according to the following BNF:
+
+      NameAndOptionalUID = DistinguishedName [ "#" bitstring ]
+
+   Although the '#' character may occur in a string representation of a
+   distinguished name, no additional special quoting is done.  This
+   syntax has been added subsequent to RFC 1778.
+
+   Example:
+
+      1.3.6.1.4.1.1466.0=#04024869,O=Test,C=GB#'0101'B
+
+ *
+ * draft-ietf-ldapbis-syntaxes-xx.txt says:
+ *
+
+3.3.2.  Bit String
+
+   A value of the Bit String syntax is a sequence of binary digits.  The
+   LDAP-specific encoding of a value of this syntax is defined by the
+   following ABNF:
+
+      BitString    = SQUOTE *binary-digit SQUOTE "B"
+
+      binary-digit = "0" / "1"
+
+   The <SQUOTE> rule is defined in [MODELS].
+
+      Example:
+         '0101111101'B
+
+   The LDAP definition for the Bit String syntax is:
+
+      ( 1.3.6.1.4.1.1466.115.121.1.6 DESC 'Bit String' )
+
+   This syntax corresponds to the BIT STRING ASN.1 type from [ASN.1].
+
+   ...
+
+3.3.21.  Name and Optional UID
+
+   A value of the Name and Optional UID syntax is the distinguished name
+   [MODELS] of an entity optionally accompanied by a unique identifier
+   that serves to differentiate the entity from others with an identical
+   distinguished name.
+
+   The LDAP-specific encoding of a value of this syntax is defined by
+   the following ABNF:
+
+       NameAndOptionalUID = distinguishedName [ SHARP BitString ]
+
+   The <BitString> rule is defined in Section 3.3.2.  The
+   <distinguishedName> rule is defined in [LDAPDN].  The <SHARP> rule is
+   defined in [MODELS].
+
+   Note that although the '#' character may occur in the string
+   representation of a distinguished name, no additional escaping of
+   this character is performed when a <distinguishedName> is encoded in
+   a <NameAndOptionalUID>.
+
+      Example:
+         1.3.6.1.4.1.1466.0=#04024869,O=Test,C=GB#'0101'B
+
+   The LDAP definition for the Name and Optional UID syntax is:
+
+      ( 1.3.6.1.4.1.1466.115.121.1.34 DESC 'Name And Optional UID' )
+
+   This syntax corresponds to the NameAndOptionalUID ASN.1 type from
+   [X.520].
+
+ *
+ * draft-ietf-ldapbis-models-xx.txt [MODELS] says:
+ *
+
+1.4. Common ABNF Productions
+
+  ...
+      SHARP   = %x23 ; octothorpe (or sharp sign) ("#")
+  ...
+      SQUOTE  = %x27 ; single quote ("'")
+  ...
+      
+ *
+ * Note: normalization strips any leading "0"s, unless the
+ * bit string is exactly "'0'B", so the normalized example,
+ * in slapd, would result in
+ * 
+ * 1.3.6.1.4.1.1466.0=#04024869,o=test,c=gb#'101'B
+ * 
+ * Since draft-ietf-ldapbis-dn-xx.txt clarifies that SHARP,
+ * i.e. "#", doesn't have to be escaped except when at the
+ * beginning of a value, the definition of Name and Optional
+ * UID appears to be flawed, because there is no clear means
+ * to determine whether the UID part is present or not.
+ *
+ * Example:
+ *
+ *     cn=Someone,dc=example,dc=com#'1'B
+ *
+ * could be either a NameAndOptionalUID with trailing UID, i.e.
+ *
+ *     DN = "cn=Someone,dc=example,dc=com"
+ *     UID = "'1'B"
+ * 
+ * or a NameAndOptionalUID with no trailing UID, and the AVA
+ * in the last RDN made of
+ *
+ *     attributeType = dc 
+ *     attributeValue = com#'1'B
+ *
+ * in fact "com#'1'B" is a valid IA5 string.
+ *
+ * As a consequence, current slapd code assumes that the
+ * presence of portions of a BitString at the end of the string 
+ * representation of a NameAndOptionalUID means a BitString
+ * is expected, and cause an error otherwise.  This is quite
+ * arbitrary, and might change in the future.
+ */
+
+
 static int
 nameUIDValidate(
        Syntax *syntax,
        struct berval *in )
 {
        int rc;
-       struct berval dn;
+       struct berval dn, uid;
 
-       if( in->bv_len == 0 ) return LDAP_SUCCESS;
+       if( BER_BVISEMPTY( in ) ) return LDAP_SUCCESS;
 
        ber_dupbv( &dn, in );
        if( !dn.bv_val ) return LDAP_OTHER;
 
-       if( dn.bv_val[dn.bv_len-1] == 'B'
-               && dn.bv_val[dn.bv_len-2] == '\'' )
-       {
-               /* assume presence of optional UID */
-               ber_len_t i;
+       /* if there's a "#", try bitStringValidate()... */
+       uid.bv_val = strrchr( dn.bv_val, '#' );
+       if ( !BER_BVISNULL( &uid ) ) {
+               uid.bv_val++;
+               uid.bv_len = dn.bv_len - ( uid.bv_val - dn.bv_val );
 
-               for(i=dn.bv_len-3; i>1; i--) {
-                       if( dn.bv_val[i] != '0' && dn.bv_val[i] != '1' ) {
-                               break;
-                       }
-               }
-               if( dn.bv_val[i] != '\'' || dn.bv_val[i-1] != '#' ) {
-                       ber_memfree( dn.bv_val );
-                       return LDAP_INVALID_SYNTAX;
+               rc = bitStringValidate( NULL, &uid );
+               if ( rc == LDAP_SUCCESS ) {
+                       /* in case of success, trim the UID,
+                        * otherwise treat it as part of the DN */
+                       dn.bv_len -= uid.bv_len + 1;
+                       uid.bv_val[-1] = '\0';
                }
-
-               /* trim the UID to allow use of dnValidate */
-               dn.bv_val[i-1] = '\0';
-               dn.bv_len = i-1;
        }
 
        rc = dnValidate( NULL, &dn );
@@ -729,6 +891,95 @@ nameUIDValidate(
        return rc;
 }
 
+int
+nameUIDPretty(
+       Syntax *syntax,
+       struct berval *val,
+       struct berval *out,
+       void *ctx )
+{
+       assert( val != NULL );
+       assert( out != NULL );
+
+
+       Debug( LDAP_DEBUG_TRACE, ">>> nameUIDPretty: <%s>\n", val->bv_val, 0, 0 );
+
+       if( BER_BVISEMPTY( val ) ) {
+               ber_dupbv_x( out, val, ctx );
+
+       } else if ( val->bv_len > SLAP_LDAPDN_MAXLEN ) {
+               return LDAP_INVALID_SYNTAX;
+
+       } else {
+               int             rc;
+               struct berval   dnval = *val;
+               struct berval   uidval = BER_BVNULL;
+
+               uidval.bv_val = strrchr( val->bv_val, '#' );
+               if ( !BER_BVISNULL( &uidval ) ) {
+                       uidval.bv_val++;
+                       uidval.bv_len = val->bv_len - ( uidval.bv_val - val->bv_val );
+
+                       rc = bitStringValidate( NULL, &uidval );
+
+                       if ( rc == LDAP_SUCCESS ) {
+                               ber_dupbv_x( &dnval, val, ctx );
+                               dnval.bv_len -= uidval.bv_len + 1;
+                               dnval.bv_val[dnval.bv_len] = '\0';
+
+                       } else {
+                               BER_BVZERO( &uidval );
+                       }
+               }
+
+               rc = dnPretty( syntax, &dnval, out, ctx );
+               if ( dnval.bv_val != val->bv_val ) {
+                       slap_sl_free( dnval.bv_val, ctx );
+               }
+               if( rc != LDAP_SUCCESS ) {
+                       return rc;
+               }
+
+               if( !BER_BVISNULL( &uidval ) ) {
+                       int     i, c, got1;
+                       char    *tmp;
+
+                       tmp = slap_sl_realloc( out->bv_val, out->bv_len 
+                               + STRLENOF( "#" ) + uidval.bv_len + 1,
+                               ctx );
+                       if( tmp == NULL ) {
+                               ber_memfree_x( out->bv_val, ctx );
+                               return LDAP_OTHER;
+                       }
+                       out->bv_val = tmp;
+                       out->bv_val[out->bv_len++] = '#';
+                       out->bv_val[out->bv_len++] = '\'';
+
+                       got1 = uidval.bv_len < sizeof("'0'B"); 
+                       for( i = 1; i < uidval.bv_len - 2; i++ ) {
+                               c = uidval.bv_val[i];
+                               switch(c) {
+                                       case '0':
+                                               if( got1 ) out->bv_val[out->bv_len++] = c;
+                                               break;
+                                       case '1':
+                                               got1 = 1;
+                                               out->bv_val[out->bv_len++] = c;
+                                               break;
+                               }
+                       }
+
+                       out->bv_val[out->bv_len++] = '\'';
+                       out->bv_val[out->bv_len++] = 'B';
+                       out->bv_val[out->bv_len] = '\0';
+               }
+       }
+
+       Debug( LDAP_DEBUG_TRACE, "<<< nameUIDPretty: <%s>\n", out->bv_val, 0, 0 );
+
+       return LDAP_SUCCESS;
+}
+
 static int
 uniqueMemberNormalize(
        slap_mask_t usage,
@@ -741,38 +992,48 @@ uniqueMemberNormalize(
        struct berval out;
        int rc;
 
-       ber_dupbv( &out, val );
-       if( out.bv_len != 0 ) {
-               struct berval uid = { 0, NULL };
+       assert( SLAP_MR_IS_VALUE_OF_SYNTAX( usage ));
 
-               if( out.bv_val[out.bv_len-1] == 'B'
-                       && out.bv_val[out.bv_len-2] == '\'' )
-               {
-                       /* assume presence of optional UID */
-                       uid.bv_val = strrchr( out.bv_val, '#' );
+       ber_dupbv_x( &out, val, ctx );
+       if ( BER_BVISEMPTY( &out ) ) {
+               *normalized = out;
 
-                       if( uid.bv_val == NULL ) {
-                               free( out.bv_val );
-                               return LDAP_INVALID_SYNTAX;
-                       }
+       } else {
+               struct berval uid = BER_BVNULL;
 
-                       uid.bv_len = out.bv_len - (uid.bv_val - out.bv_val);
-                       out.bv_len -= uid.bv_len--;
+               uid.bv_val = strrchr( out.bv_val, '#' );
+               if ( !BER_BVISNULL( &uid ) ) {
+                       uid.bv_val++;
+                       uid.bv_len = out.bv_len - ( uid.bv_val - out.bv_val );
 
-                       /* temporarily trim the UID */
-                       *(uid.bv_val++) = '\0';
+                       rc = bitStringValidate( NULL, &uid );
+                       if ( rc == LDAP_SUCCESS ) {
+                               uid.bv_val[-1] = '\0';
+                               out.bv_len -= uid.bv_len + 1;
+                       } else {
+                               BER_BVZERO( &uid );
+                       }
                }
 
                rc = dnNormalize( 0, NULL, NULL, &out, normalized, ctx );
 
                if( rc != LDAP_SUCCESS ) {
-                       free( out.bv_val );
+                       slap_sl_free( out.bv_val, ctx );
                        return LDAP_INVALID_SYNTAX;
                }
 
-               if( uid.bv_len ) {
-                       normalized->bv_val = ch_realloc( normalized->bv_val,
-                               normalized->bv_len + uid.bv_len + sizeof("#") );
+               if( !BER_BVISNULL( &uid ) ) {
+                       char    *tmp;
+
+                       tmp = ch_realloc( normalized->bv_val,
+                               normalized->bv_len + uid.bv_len
+                               + STRLENOF("#") + 1 );
+                       if ( tmp == NULL ) {
+                               ber_memfree_x( normalized->bv_val, ctx );
+                               return LDAP_OTHER;
+                       }
+
+                       normalized->bv_val = tmp;
 
                        /* insert the separator */
                        normalized->bv_val[normalized->bv_len++] = '#';
@@ -786,7 +1047,7 @@ uniqueMemberNormalize(
                        normalized->bv_val[normalized->bv_len] = '\0';
                }
 
-               free( out.bv_val );
+               slap_sl_free( out.bv_val, ctx );
        }
 
        return LDAP_SUCCESS;
@@ -803,66 +1064,160 @@ uniqueMemberMatch(
 {
        int match;
        struct berval *asserted = (struct berval *) assertedValue;
-       struct berval assertedDN = { 0, NULL };
-       struct berval assertedUID = { 0, NULL };
-       struct berval valueDN = { 0, NULL };
-       struct berval valueUID = { 0, NULL };
-
-       if( asserted->bv_len != 0 ) {
-               assertedDN = *asserted;
+       struct berval assertedDN = *asserted;
+       struct berval assertedUID = BER_BVNULL;
+       struct berval valueDN = *value;
+       struct berval valueUID = BER_BVNULL;
+       int approx = ((flags & SLAP_MR_EQUALITY_APPROX) == SLAP_MR_EQUALITY_APPROX);
+
+       if ( !BER_BVISEMPTY( asserted ) ) {
+               assertedUID.bv_val = strrchr( assertedDN.bv_val, '#' );
+               if ( !BER_BVISNULL( &assertedUID ) ) {
+                       assertedUID.bv_val++;
+                       assertedUID.bv_len = assertedDN.bv_len
+                               - ( assertedUID.bv_val - assertedDN.bv_val );
 
-               if( assertedDN.bv_val[assertedDN.bv_len-1] == 'B'
-                       && assertedDN.bv_val[assertedDN.bv_len-2] == '\'' )
-               {
-                       /* assume presence of optional UID */
-                       assertedUID.bv_val = strrchr( assertedDN.bv_val, '#' );
+                       if ( bitStringValidate( NULL, &assertedUID ) == LDAP_SUCCESS ) {
+                               assertedDN.bv_len -= assertedUID.bv_len + 1;
 
-                       if( assertedUID.bv_val == NULL ) {
-                               return LDAP_INVALID_SYNTAX;
+                       } else {
+                               BER_BVZERO( &assertedUID );
                        }
-
-                       assertedUID.bv_len = assertedDN.bv_len -
-                               (assertedUID.bv_val - assertedDN.bv_val);
-                       assertedDN.bv_len -= assertedUID.bv_len--;
-
-                       /* trim the separator */
-                       assertedUID.bv_val++;
                }
        }
 
-       if( value->bv_len != 0 ) {
-               valueDN = *value;
-
-               if( valueDN.bv_val[valueDN.bv_len-1] == 'B'
-                       && valueDN.bv_val[valueDN.bv_len-2] == '\'' )
-               {
-                       /* assume presence of optional UID */
-                       valueUID.bv_val = strrchr( valueDN.bv_val, '#' );
+       if ( !BER_BVISEMPTY( value ) ) {
 
-                       if( valueUID.bv_val == NULL ) {
-                               return LDAP_INVALID_SYNTAX;
-                       }
+               valueUID.bv_val = strrchr( valueDN.bv_val, '#' );
+               if ( !BER_BVISNULL( &valueUID ) ) {
+                       valueUID.bv_val++;
+                       valueUID.bv_len = valueDN.bv_len
+                               - ( valueUID.bv_val - valueDN.bv_val );
 
-                       valueUID.bv_len = valueDN.bv_len -
-                               (assertedUID.bv_val - assertedDN.bv_val);
-                       valueDN.bv_len -= valueUID.bv_len--;
+                       if ( bitStringValidate( NULL, &valueUID ) == LDAP_SUCCESS ) {
+                               valueDN.bv_len -= valueUID.bv_len + 1;
 
-                       /* trim the separator */
-                       valueUID.bv_val++;
+                       } else {
+                               BER_BVZERO( &valueUID );
+                       }
                }
        }
 
        if( valueUID.bv_len && assertedUID.bv_len ) {
+               match = valueUID.bv_len - assertedUID.bv_len;
+               if ( match ) {
+                       *matchp = match;
+                       return LDAP_SUCCESS;
+               }
+
                match = memcmp( valueUID.bv_val, assertedUID.bv_val, valueUID.bv_len );
                if( match ) {
                        *matchp = match;
                        return LDAP_SUCCESS;
                }
+
+       } else if ( !approx && valueUID.bv_len ) {
+               match = -1;
+               *matchp = match;
+               return LDAP_SUCCESS;
+
+       } else if ( !approx && assertedUID.bv_len ) {
+               match = 1;
+               *matchp = match;
+               return LDAP_SUCCESS;
        }
 
        return dnMatch( matchp, flags, syntax, mr, &valueDN, &assertedDN );
 }
 
+static int 
+uniqueMemberIndexer(
+       slap_mask_t use,
+       slap_mask_t flags,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *prefix,
+       BerVarray values,
+       BerVarray *keysp,
+       void *ctx )
+{
+       BerVarray dnvalues;
+       int rc;
+       int i;
+       for( i=0; !BER_BVISNULL( &values[i] ); i++ ) {
+               /* just count them */                 
+       }
+       assert( i > 0 );
+
+       dnvalues = slap_sl_malloc( sizeof( struct berval ) * (i+1), ctx );
+
+       for( i=0; !BER_BVISNULL( &values[i] ); i++ ) {
+               struct berval assertedDN = values[i];
+               struct berval assertedUID = BER_BVNULL;
+
+               if ( !BER_BVISEMPTY( &assertedDN ) ) {
+                       assertedUID.bv_val = strrchr( assertedDN.bv_val, '#' );
+                       if ( !BER_BVISNULL( &assertedUID ) ) {
+                               assertedUID.bv_val++;
+                               assertedUID.bv_len = assertedDN.bv_len
+                                       - ( assertedUID.bv_val - assertedDN.bv_val );
+       
+                               if ( bitStringValidate( NULL, &assertedUID ) == LDAP_SUCCESS ) {
+                                       assertedDN.bv_len -= assertedUID.bv_len + 1;
+
+                               } else {
+                                       BER_BVZERO( &assertedUID );
+                               }
+                       }
+               }
+
+               dnvalues[i] = assertedDN;
+       }
+       BER_BVZERO( &dnvalues[i] );
+
+       rc = octetStringIndexer( use, flags, syntax, mr, prefix,
+               dnvalues, keysp, ctx );
+
+       slap_sl_free( dnvalues, ctx );
+       return rc;
+}
+
+static int 
+uniqueMemberFilter(
+       slap_mask_t use,
+       slap_mask_t flags,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *prefix,
+       void * assertedValue,
+       BerVarray *keysp,
+       void *ctx )
+{
+       struct berval *asserted = (struct berval *) assertedValue;
+       struct berval assertedDN = *asserted;
+       struct berval assertedUID = BER_BVNULL;
+
+       if ( !BER_BVISEMPTY( asserted ) ) {
+               assertedUID.bv_val = strrchr( assertedDN.bv_val, '#' );
+               if ( !BER_BVISNULL( &assertedUID ) ) {
+                       assertedUID.bv_val++;
+                       assertedUID.bv_len = assertedDN.bv_len
+                               - ( assertedUID.bv_val - assertedDN.bv_val );
+
+                       if ( bitStringValidate( NULL, &assertedUID ) == LDAP_SUCCESS ) {
+                               assertedDN.bv_len -= assertedUID.bv_len + 1;
+
+                       } else {
+                               BER_BVZERO( &assertedUID );
+                       }
+               }
+       }
+
+       return octetStringFilter( use, flags, syntax, mr, prefix,
+               &assertedDN, keysp, ctx );
+}
+
+
 /*
  * Handling boolean syntax and matching is quite rigid.
  * A more flexible approach would be to allow a variety
@@ -985,14 +1340,14 @@ UTF8StringValidate(
 {
        ber_len_t count;
        int len;
-       unsigned char *u = in->bv_val;
+       unsigned char *u = (unsigned char *)in->bv_val;
 
-       if( in->bv_len == 0 && syntax == slap_schema.si_syn_directoryString ) {
+       if( BER_BVISEMPTY( in ) && syntax == slap_schema.si_syn_directoryString ) {
                /* directory strings cannot be empty */
                return LDAP_INVALID_SYNTAX;
        }
 
-       for( count = in->bv_len; count > 0; count-=len, u+=len ) {
+       for( count = in->bv_len; count > 0; count -= len, u += len ) {
                /* get the length indicated by the first byte */
                len = LDAP_UTF8_CHARLEN2( u, len );
 
@@ -1027,7 +1382,7 @@ UTF8StringValidate(
 
                /* make sure len corresponds with the offset
                        to the next character */
-               if( LDAP_UTF8_OFFSET( u ) != len ) return LDAP_INVALID_SYNTAX;
+               if( LDAP_UTF8_OFFSET( (char *)u ) != len ) return LDAP_INVALID_SYNTAX;
        }
 
        if( count != 0 ) {
@@ -1050,57 +1405,195 @@ UTF8StringNormalize(
        int flags;
        int i, wasspace;
 
-       if( val->bv_val == NULL ) {
-               /* assume we're dealing with a syntax (e.g., UTF8String)
-                * which allows empty strings
-                */
-               normalized->bv_len = 0;
-               normalized->bv_val = NULL;
-               return LDAP_SUCCESS;
-       }
+       assert( SLAP_MR_IS_VALUE_OF_SYNTAX( use ));
+
+       if( BER_BVISNULL( val ) ) {
+               /* assume we're dealing with a syntax (e.g., UTF8String)
+                * which allows empty strings
+                */
+               BER_BVZERO( normalized );
+               return LDAP_SUCCESS;
+       }
+
+       flags = SLAP_MR_ASSOCIATED( mr, slap_schema.si_mr_caseExactMatch )
+               ? LDAP_UTF8_NOCASEFOLD : LDAP_UTF8_CASEFOLD;
+       flags |= ( ( use & SLAP_MR_EQUALITY_APPROX ) == SLAP_MR_EQUALITY_APPROX )
+               ? LDAP_UTF8_APPROX : 0;
+
+       val = UTF8bvnormalize( val, &tmp, flags, ctx );
+       if( val == NULL ) {
+               return LDAP_OTHER;
+       }
+       
+       /* collapse spaces (in place) */
+       nvalue.bv_len = 0;
+       nvalue.bv_val = tmp.bv_val;
+
+       /* trim leading spaces? */
+       wasspace = !((( use & SLAP_MR_SUBSTR_ANY ) == SLAP_MR_SUBSTR_ANY ) ||
+               (( use & SLAP_MR_SUBSTR_FINAL ) == SLAP_MR_SUBSTR_FINAL ));
+
+       for( i = 0; i < tmp.bv_len; i++) {
+               if ( ASCII_SPACE( tmp.bv_val[i] )) {
+                       if( wasspace++ == 0 ) {
+                               /* trim repeated spaces */
+                               nvalue.bv_val[nvalue.bv_len++] = tmp.bv_val[i];
+                       }
+               } else {
+                       wasspace = 0;
+                       nvalue.bv_val[nvalue.bv_len++] = tmp.bv_val[i];
+               }
+       }
+
+       if( !BER_BVISEMPTY( &nvalue ) ) {
+               /* trim trailing space? */
+               if( wasspace && (
+                       (( use & SLAP_MR_SUBSTR_INITIAL ) != SLAP_MR_SUBSTR_INITIAL ) &&
+                       ( use & SLAP_MR_SUBSTR_ANY ) != SLAP_MR_SUBSTR_ANY ))
+               {
+                       --nvalue.bv_len;
+               }
+               nvalue.bv_val[nvalue.bv_len] = '\0';
+
+       } else {
+               /* string of all spaces is treated as one space */
+               nvalue.bv_val[0] = ' ';
+               nvalue.bv_val[1] = '\0';
+               nvalue.bv_len = 1;
+       }
+
+       *normalized = nvalue;
+       return LDAP_SUCCESS;
+}
+
+static int
+directoryStringSubstringsMatch(
+       int *matchp,
+       slap_mask_t flags,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *value,
+       void *assertedValue )
+{
+       int match = 0;
+       SubstringsAssertion *sub = assertedValue;
+       struct berval left = *value;
+       int i;
+       int priorspace=0;
+
+       if ( !BER_BVISNULL( &sub->sa_initial ) ) {
+               if ( sub->sa_initial.bv_len > left.bv_len ) {
+                       /* not enough left */
+                       match = 1;
+                       goto done;
+               }
+
+               match = memcmp( sub->sa_initial.bv_val, left.bv_val,
+                       sub->sa_initial.bv_len );
+
+               if ( match != 0 ) {
+                       goto done;
+               }
+
+               left.bv_val += sub->sa_initial.bv_len;
+               left.bv_len -= sub->sa_initial.bv_len;
+
+               priorspace = ASCII_SPACE(
+                       sub->sa_initial.bv_val[sub->sa_initial.bv_len] );
+       }
+
+       if ( sub->sa_any ) {
+               for ( i = 0; !BER_BVISNULL( &sub->sa_any[i] ); i++ ) {
+                       ber_len_t idx;
+                       char *p;
+
+                       if( priorspace && !BER_BVISEMPTY( &sub->sa_any[i] ) 
+                               && ASCII_SPACE( sub->sa_any[i].bv_val[0] ))
+                       { 
+                               /* allow next space to match */
+                               left.bv_val--;
+                               left.bv_len++;
+                       }
+                       priorspace=0;
+
+retry:
+                       if ( BER_BVISEMPTY( &sub->sa_any[i] ) ) {
+                               continue;
+                       }
+
+                       if ( sub->sa_any[i].bv_len > left.bv_len ) {
+                               /* not enough left */
+                               match = 1;
+                               goto done;
+                       }
+
+                       p = memchr( left.bv_val, *sub->sa_any[i].bv_val, left.bv_len );
+
+                       if( p == NULL ) {
+                               match = 1;
+                               goto done;
+                       }
+
+                       idx = p - left.bv_val;
+
+                       if ( idx >= left.bv_len ) {
+                               /* this shouldn't happen */
+                               return LDAP_OTHER;
+                       }
+
+                       left.bv_val = p;
+                       left.bv_len -= idx;
 
-       flags = SLAP_MR_ASSOCIATED( mr, slap_schema.si_mr_caseExactMatch )
-               ? LDAP_UTF8_NOCASEFOLD : LDAP_UTF8_CASEFOLD;
-       flags |= ( ( use & SLAP_MR_EQUALITY_APPROX ) == SLAP_MR_EQUALITY_APPROX )
-               ? LDAP_UTF8_APPROX : 0;
+                       if ( sub->sa_any[i].bv_len > left.bv_len ) {
+                               /* not enough left */
+                               match = 1;
+                               goto done;
+                       }
 
-       val = UTF8bvnormalize( val, &tmp, flags, ctx );
-       if( val == NULL ) {
-               return LDAP_OTHER;
-       }
-       
-       /* collapse spaces (in place) */
-       nvalue.bv_len = 0;
-       nvalue.bv_val = tmp.bv_val;
+                       match = memcmp( left.bv_val,
+                               sub->sa_any[i].bv_val,
+                               sub->sa_any[i].bv_len );
 
-       wasspace=1; /* trim leading spaces */
-       for( i=0; i<tmp.bv_len; i++) {
-               if ( ASCII_SPACE( tmp.bv_val[i] )) {
-                       if( wasspace++ == 0 ) {
-                               /* trim repeated spaces */
-                               nvalue.bv_val[nvalue.bv_len++] = tmp.bv_val[i];
+                       if ( match != 0 ) {
+                               left.bv_val++;
+                               left.bv_len--;
+                               goto retry;
                        }
-               } else {
-                       wasspace = 0;
-                       nvalue.bv_val[nvalue.bv_len++] = tmp.bv_val[i];
+
+                       left.bv_val += sub->sa_any[i].bv_len;
+                       left.bv_len -= sub->sa_any[i].bv_len;
+
+                       priorspace = ASCII_SPACE(
+                               sub->sa_any[i].bv_val[sub->sa_any[i].bv_len] );
                }
        }
 
-       if( nvalue.bv_len ) {
-               if( wasspace ) {
-                       /* last character was a space, trim it */
-                       --nvalue.bv_len;
+       if ( !BER_BVISNULL( &sub->sa_final ) ) {
+               if( priorspace && !BER_BVISEMPTY( &sub->sa_final ) 
+                       && ASCII_SPACE( sub->sa_final.bv_val[0] ))
+               { 
+                       /* allow next space to match */
+                       left.bv_val--;
+                       left.bv_len++;
                }
-               nvalue.bv_val[nvalue.bv_len] = '\0';
 
-       } else {
-               /* string of all spaces is treated as one space */
-               nvalue.bv_val[0] = ' ';
-               nvalue.bv_val[1] = '\0';
-               nvalue.bv_len = 1;
+               if ( sub->sa_final.bv_len > left.bv_len ) {
+                       /* not enough left */
+                       match = 1;
+                       goto done;
+               }
+
+               match = memcmp( sub->sa_final.bv_val,
+                       &left.bv_val[left.bv_len - sub->sa_final.bv_len],
+                       sub->sa_final.bv_len );
+
+               if ( match != 0 ) {
+                       goto done;
+               }
        }
 
-       *normalized = nvalue;
+done:
+       *matchp = match;
        return LDAP_SUCCESS;
 }
 
@@ -1237,11 +1730,11 @@ approxIndexer(
        struct berval *newkeys;
        BerVarray keys=NULL;
 
-       for( j=0; values[j].bv_val != NULL; j++ ) {
-               struct berval val = { 0, NULL };
+       for( j = 0; !BER_BVISNULL( &values[j] ); j++ ) {
+               struct berval val = BER_BVNULL;
                /* Yes, this is necessary */
                UTF8bvnormalize( &values[j], &val, LDAP_UTF8_APPROX, NULL );
-               assert( val.bv_val != NULL );
+               assert( !BER_BVISNULL( &val ) );
 
                /* Isolate how many words there are. There will be a key for each */
                for( wordcount = 0, c = val.bv_val; *c; c++) {
@@ -1270,7 +1763,7 @@ approxIndexer(
 
                ber_memfree( val.bv_val );
        }
-       keys[keycount].bv_val = NULL;
+       BER_BVZERO( &keys[keycount] );
        *keysp = keys;
 
        return LDAP_SUCCESS;
@@ -1295,9 +1788,9 @@ approxFilter(
        /* Yes, this is necessary */
        val = UTF8bvnormalize( ((struct berval *)assertedValue),
                NULL, LDAP_UTF8_APPROX, NULL );
-       if( val == NULL || val->bv_val == NULL ) {
+       if( val == NULL || BER_BVISNULL( val ) ) {
                keys = (struct berval *)ch_malloc( sizeof(struct berval) );
-               keys[0].bv_val = NULL;
+               BER_BVZERO( &keys[0] );
                *keysp = keys;
                ber_bvfree( val );
                return LDAP_SUCCESS;
@@ -1325,7 +1818,7 @@ approxFilter(
 
        ber_bvfree( val );
 
-       keys[count].bv_val = NULL;
+       BER_BVZERO( &keys[count] );
        *keysp = keys;
 
        return LDAP_SUCCESS;
@@ -1343,10 +1836,12 @@ telephoneNumberNormalize(
 {
        char *p, *q;
 
+       assert( SLAP_MR_IS_VALUE_OF_SYNTAX( usage ));
+
        /* validator should have refused an empty string */
-       assert( val->bv_len );
+       assert( !BER_BVISEMPTY( val ) );
 
-       q = normalized->bv_val = sl_malloc( val->bv_len + 1, ctx );
+       q = normalized->bv_val = slap_sl_malloc( val->bv_len + 1, ctx );
 
        for( p = val->bv_val; *p; p++ ) {
                if ( ! ( ASCII_SPACE( *p ) || *p == '-' )) {
@@ -1357,23 +1852,23 @@ telephoneNumberNormalize(
 
        normalized->bv_len = q - normalized->bv_val;
 
-       if( normalized->bv_len == 0 ) {
-               sl_free( normalized->bv_val, ctx );
-               normalized->bv_val = NULL;
+       if( BER_BVISEMPTY( normalized ) ) {
+               slap_sl_free( normalized->bv_val, ctx );
+               BER_BVZERO( normalized );
                return LDAP_INVALID_SYNTAX;
        }
 
        return LDAP_SUCCESS;
 }
 
-static int
+int
 numericoidValidate(
        Syntax *syntax,
        struct berval *in )
 {
        struct berval val = *in;
 
-       if( val.bv_len == 0 ) {
+       if( BER_BVISEMPTY( &val ) ) {
                /* disallow empty strings */
                return LDAP_INVALID_SYNTAX;
        }
@@ -1383,7 +1878,7 @@ numericoidValidate(
                        return LDAP_SUCCESS;
                }
 
-               if ( val.bv_val[0] == '0' ) {
+               if ( val.bv_val[0] == '0' && !OID_SEPARATOR( val.bv_val[1] )) {
                        break;
                }
 
@@ -1418,13 +1913,13 @@ integerValidate(
        ber_len_t i;
        struct berval val = *in;
 
-       if( val.bv_len == 0 ) return LDAP_INVALID_SYNTAX;
+       if ( BER_BVISEMPTY( &val ) ) return LDAP_INVALID_SYNTAX;
 
        if ( val.bv_val[0] == '-' ) {
                val.bv_len--;
                val.bv_val++;
 
-               if( val.bv_len == 0 ) { /* bare "-" */
+               if( BER_BVISEMPTY( &val ) ) { /* bare "-" */
                        return LDAP_INVALID_SYNTAX;
                }
 
@@ -1470,7 +1965,7 @@ integerMatch(
                v.bv_len--;
        }
 
-       if( v.bv_len == 0 ) vsign = 0;
+       if( BER_BVISEMPTY( &v ) ) vsign = 0;
 
        a = *asserted;
        if( a.bv_val[0] == '-' ) {
@@ -1479,7 +1974,7 @@ integerMatch(
                a.bv_len--;
        }
 
-       if( a.bv_len == 0 ) vsign = 0;
+       if( BER_BVISEMPTY( &a ) ) vsign = 0;
 
        match = vsign - asign;
        if( match == 0 ) {
@@ -1517,7 +2012,7 @@ printableStringValidate(
 {
        ber_len_t i;
 
-       if( val->bv_len == 0 ) return LDAP_INVALID_SYNTAX;
+       if( BER_BVISEMPTY( val ) ) return LDAP_INVALID_SYNTAX;
 
        for(i=0; i < val->bv_len; i++) {
                if( !SLAP_PRINTABLE(val->bv_val[i]) ) {
@@ -1535,7 +2030,7 @@ printablesStringValidate(
 {
        ber_len_t i, len;
 
-       if( val->bv_len == 0 ) return LDAP_INVALID_SYNTAX;
+       if( BER_BVISEMPTY( val ) ) return LDAP_INVALID_SYNTAX;
 
        for(i=0,len=0; i < val->bv_len; i++) {
                int c = val->bv_val[i];
@@ -1567,7 +2062,7 @@ IA5StringValidate(
 {
        ber_len_t i;
 
-       if( val->bv_len == 0 ) return LDAP_INVALID_SYNTAX;
+       if( BER_BVISEMPTY( val ) ) return LDAP_INVALID_SYNTAX;
 
        for(i=0; i < val->bv_len; i++) {
                if( !LDAP_ASCII(val->bv_val[i]) ) {
@@ -1588,9 +2083,11 @@ IA5StringNormalize(
        void *ctx )
 {
        char *p, *q;
-       int casefold = SLAP_MR_ASSOCIATED(mr, slap_schema.si_mr_caseExactIA5Match);
+       int casefold = !SLAP_MR_ASSOCIATED(mr, slap_schema.si_mr_caseExactIA5Match);
 
-       assert( val->bv_len );
+       assert( !BER_BVISEMPTY( val ) );
+
+       assert( SLAP_MR_IS_VALUE_OF_SYNTAX( use ));
 
        p = val->bv_val;
 
@@ -1611,7 +2108,7 @@ IA5StringNormalize(
 
                } else if ( casefold ) {
                        /* Most IA5 rules require casefolding */
-                       *q++ = TOLOWER(*p++);
+                       *q++ = TOLOWER(*p); p++;
 
                } else {
                        *q++ = *p++;
@@ -1632,8 +2129,8 @@ IA5StringNormalize(
        *q = '\0';
 
        normalized->bv_len = q - normalized->bv_val;
-       if( normalized->bv_len == 0 ) {
-               normalized->bv_val = sl_realloc( normalized->bv_val, 2, ctx );
+       if( BER_BVISEMPTY( normalized ) ) {
+               normalized->bv_val = slap_sl_realloc( normalized->bv_val, 2, ctx );
                normalized->bv_val[0] = ' ';
                normalized->bv_val[1] = '\0';
                normalized->bv_len = 1;
@@ -1642,6 +2139,85 @@ IA5StringNormalize(
        return LDAP_SUCCESS;
 }
 
+static int
+UUIDValidate(
+       Syntax *syntax,
+       struct berval *in )
+{
+       int i;
+       if( in->bv_len != 36 ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       for( i=0; i<36; i++ ) {
+               switch(i) {
+                       case 8:
+                       case 13:
+                       case 18:
+                       case 23:
+                               if( in->bv_val[i] != '-' ) {
+                                       return LDAP_INVALID_SYNTAX;
+                               }
+                               break;
+                       default:
+                               if( !ASCII_HEX( in->bv_val[i]) ) {
+                                       return LDAP_INVALID_SYNTAX;
+                               }
+               }
+       }
+       
+       return LDAP_SUCCESS;
+}
+
+static int
+UUIDNormalize(
+       slap_mask_t usage,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *val,
+       struct berval *normalized,
+       void *ctx )
+{
+       unsigned char octet = '\0';
+       int i;
+       int j;
+       normalized->bv_len = 16;
+       normalized->bv_val = slap_sl_malloc( normalized->bv_len + 1, ctx );
+
+       for( i=0, j=0; i<36; i++ ) {
+               unsigned char nibble;
+               if( val->bv_val[i] == '-' ) {
+                       continue;
+
+               } else if( ASCII_DIGIT( val->bv_val[i] ) ) {
+                       nibble = val->bv_val[i] - '0';
+
+               } else if( ASCII_HEXLOWER( val->bv_val[i] ) ) {
+                       nibble = val->bv_val[i] - ('a'-10);
+
+               } else if( ASCII_HEXUPPER( val->bv_val[i] ) ) {
+                       nibble = val->bv_val[i] - ('A'-10);
+
+               } else {
+                       slap_sl_free( normalized->bv_val, ctx );
+                       return LDAP_INVALID_SYNTAX;
+               }
+
+               if( j & 1 ) {
+                       octet |= nibble;
+                       normalized->bv_val[j>>1] = octet;
+               } else {
+                       octet = nibble << 4;
+               }
+               j++;
+       }
+
+       normalized->bv_val[normalized->bv_len] = 0;
+       return LDAP_SUCCESS;
+}
+
+
+
 static int
 numericStringValidate(
        Syntax *syntax,
@@ -1649,7 +2225,7 @@ numericStringValidate(
 {
        ber_len_t i;
 
-       if( in->bv_len == 0 ) return LDAP_INVALID_SYNTAX;
+       if( BER_BVISEMPTY( in ) ) return LDAP_INVALID_SYNTAX;
 
        for(i=0; i < in->bv_len; i++) {
                if( !SLAP_NUMERIC(in->bv_val[i]) ) {
@@ -1672,9 +2248,9 @@ numericStringNormalize(
        /* removal all spaces */
        char *p, *q;
 
-       assert( val->bv_len );
+       assert( !BER_BVISEMPTY( val ) );
 
-       normalized->bv_val = sl_malloc( val->bv_len + 1, ctx );
+       normalized->bv_val = slap_sl_malloc( val->bv_len + 1, ctx );
 
        p = val->bv_val;
        q = normalized->bv_val;
@@ -1696,8 +2272,8 @@ numericStringNormalize(
 
        normalized->bv_len = q - normalized->bv_val;
 
-       if( normalized->bv_len == 0 ) {
-               normalized->bv_val = sl_realloc( normalized->bv_val, 2, ctx );
+       if( BER_BVISEMPTY( normalized ) ) {
+               normalized->bv_val = slap_sl_realloc( normalized->bv_val, 2, ctx );
                normalized->bv_val[0] = ' ';
                normalized->bv_val[1] = '\0';
                normalized->bv_len = 1;
@@ -1706,6 +2282,23 @@ numericStringNormalize(
        return LDAP_SUCCESS;
 }
 
+/*
+ * Integer conversion macros that will use the largest available
+ * type.
+ */
+#if defined(HAVE_STRTOLL) && defined(LLONG_MAX) \
+       && defined(LLONG_MIN) && defined(HAVE_LONG_LONG)
+# define SLAP_STRTOL(n,e,b)  strtoll(n,e,b) 
+# define SLAP_LONG_MAX       LLONG_MAX
+# define SLAP_LONG_MIN       LLONG_MIN
+# define SLAP_LONG           long long
+#else
+# define SLAP_STRTOL(n,e,b)  strtol(n,e,b)
+# define SLAP_LONG_MAX       LONG_MAX
+# define SLAP_LONG_MIN       LONG_MIN
+# define SLAP_LONG           long
+#endif /* HAVE_STRTOLL ... */
+
 static int
 integerBitAndMatch(
        int *matchp,
@@ -1715,22 +2308,25 @@ integerBitAndMatch(
        struct berval *value,
        void *assertedValue )
 {
-       long lValue, lAssertedValue;
+       SLAP_LONG lValue, lAssertedValue;
 
        /* safe to assume integers are NUL terminated? */
-       lValue = strtol(value->bv_val, NULL, 10);
-       if(( lValue == LONG_MIN || lValue == LONG_MAX) && errno == ERANGE ) {
+       lValue = SLAP_STRTOL(value->bv_val, NULL, 10);
+       if(( lValue == SLAP_LONG_MIN || lValue == SLAP_LONG_MAX) &&
+               errno == ERANGE )
+       {
                return LDAP_CONSTRAINT_VIOLATION;
        }
 
-       lAssertedValue = strtol(((struct berval *)assertedValue)->bv_val, NULL, 10);
-       if(( lAssertedValue == LONG_MIN || lAssertedValue == LONG_MAX)
-               && errno == ERANGE )
+       lAssertedValue = SLAP_STRTOL(((struct berval *)assertedValue)->bv_val,
+               NULL, 10);
+       if(( lAssertedValue == SLAP_LONG_MIN || lAssertedValue == SLAP_LONG_MAX ) &&
+               errno == ERANGE )
        {
                return LDAP_CONSTRAINT_VIOLATION;
        }
 
-       *matchp = (lValue & lAssertedValue) ? 0 : 1;
+       *matchp = ((lValue & lAssertedValue) == lAssertedValue) ? 0 : 1;
        return LDAP_SUCCESS;
 }
 
@@ -1743,22 +2339,25 @@ integerBitOrMatch(
        struct berval *value,
        void *assertedValue )
 {
-       long lValue, lAssertedValue;
+       SLAP_LONG lValue, lAssertedValue;
 
        /* safe to assume integers are NUL terminated? */
-       lValue = strtol(value->bv_val, NULL, 10);
-       if(( lValue == LONG_MIN || lValue == LONG_MAX) && errno == ERANGE ) {
+       lValue = SLAP_STRTOL(value->bv_val, NULL, 10);
+       if(( lValue == SLAP_LONG_MIN || lValue == SLAP_LONG_MAX ) &&
+               errno == ERANGE )
+       {
                return LDAP_CONSTRAINT_VIOLATION;
        }
 
-       lAssertedValue = strtol(((struct berval *)assertedValue)->bv_val, NULL, 10);
-       if(( lAssertedValue == LONG_MIN || lAssertedValue == LONG_MAX)
-               && errno == ERANGE )
+       lAssertedValue = SLAP_STRTOL( ((struct berval *)assertedValue)->bv_val,
+               NULL, 10);
+       if(( lAssertedValue == SLAP_LONG_MIN || lAssertedValue == SLAP_LONG_MAX ) &&
+               errno == ERANGE )
        {
                return LDAP_CONSTRAINT_VIOLATION;
        }
 
-       *matchp = (lValue | lAssertedValue) ? 0 : -1;
+       *matchp = ((lValue & lAssertedValue) != 0) ? 0 : -1;
        return LDAP_SUCCESS;
 }
 
@@ -1767,211 +2366,177 @@ serialNumberAndIssuerValidate(
        Syntax *syntax,
        struct berval *in )
 {
-       int rc = LDAP_INVALID_SYNTAX;
-       struct berval serialNumber, issuer;
+       int rc;
+       ber_len_t n;
+       struct berval sn, i;
+       if( in->bv_len < 3 ) return LDAP_INVALID_SYNTAX;
 
-       serialNumber.bv_val = in->bv_val;
-       for( serialNumber.bv_len = 0;
-               serialNumber.bv_len < in->bv_len;
-               serialNumber.bv_len++ )
-       {
-               if ( serialNumber.bv_val[serialNumber.bv_len] == '$' ) {
-                       issuer.bv_val = &serialNumber.bv_val[serialNumber.bv_len+1];
-                       issuer.bv_len = in->bv_len - (serialNumber.bv_len+1);
+       i.bv_val = strchr( in->bv_val, '$' );
+       if( BER_BVISNULL( &i ) ) return LDAP_INVALID_SYNTAX;
 
-                       if( serialNumber.bv_len == 0 || issuer.bv_len == 0 ) break;
+       sn.bv_val = in->bv_val;
+       sn.bv_len = i.bv_val - in->bv_val;
 
-                       rc = integerValidate( NULL, &serialNumber );
-                       if( rc ) break;
+       i.bv_val++;
+       i.bv_len = in->bv_len - (sn.bv_len + 1);
 
-                       rc = dnValidate( NULL, &issuer );
-                       break;
-               }
+       /* validate serial number (strict for now) */
+       for( n=0; n < sn.bv_len; n++ ) {
+               if( !ASCII_DIGIT(sn.bv_val[n]) ) return LDAP_INVALID_SYNTAX;
        }
 
-       return rc;
+       /* validate DN */
+       rc = dnValidate( NULL, &i );
+       if( rc ) return LDAP_INVALID_SYNTAX;
+
+       return LDAP_SUCCESS;
 }
 
-static int
-serialNumberAndIssuerNormalize(
-       slap_mask_t usage,
+int
+serialNumberAndIssuerPretty(
        Syntax *syntax,
-       MatchingRule *mr,
        struct berval *val,
-       struct berval *normalized,
+       struct berval *out,
        void *ctx )
 {
-       int rc = LDAP_INVALID_SYNTAX;
-       struct berval serialNumber, issuer, nissuer;
-
-       serialNumber.bv_val = val->bv_val;
-       for( serialNumber.bv_len = 0;
-               serialNumber.bv_len < val->bv_len;
-               serialNumber.bv_len++ )
-       {
-               if ( serialNumber.bv_val[serialNumber.bv_len] == '$' ) {
-                       issuer.bv_val = &serialNumber.bv_val[serialNumber.bv_len+1];
-                       issuer.bv_len = val->bv_len - (serialNumber.bv_len+1);
-
-                       if( serialNumber.bv_len == 0 || issuer.bv_len == 0 ) break;
+       int rc;
+       ber_len_t n;
+       struct berval sn, i, newi;
 
-                       rc = dnNormalize( usage, syntax, mr, &issuer, &nissuer, ctx );
-                       if( rc ) break;
+       assert( val != NULL );
+       assert( out != NULL );
 
-                       normalized->bv_len = serialNumber.bv_len + 1 + nissuer.bv_len;
-                       normalized->bv_val = ch_malloc( normalized->bv_len + 1);
+       Debug( LDAP_DEBUG_TRACE, ">>> serialNumberAndIssuerPretty: <%s>\n",
+               val->bv_val, 0, 0 );
 
-                       AC_MEMCPY( normalized->bv_val,
-                               serialNumber.bv_val, serialNumber.bv_len );
-                       normalized->bv_val[serialNumber.bv_len] = '$';
-                       AC_MEMCPY( &normalized->bv_val[serialNumber.bv_len+1],
-                               nissuer.bv_val, nissuer.bv_len );
-                       normalized->bv_val[normalized->bv_len] = '\0';
-                       break;
-               }
-       }
+       if( val->bv_len < 3 ) return LDAP_INVALID_SYNTAX;
 
-       return rc;
-}
+       i.bv_val = strchr( val->bv_val, '$' );
+       if( BER_BVISNULL( &i ) ) return LDAP_INVALID_SYNTAX;
 
-#ifdef HAVE_TLS
-#include <openssl/x509.h>
-#include <openssl/err.h>
+       sn.bv_val = val->bv_val;
+       sn.bv_len = i.bv_val - val->bv_val;
 
-/*
- * Next function returns a string representation of a ASN1_INTEGER.
- * It works for unlimited lengths.
- */
+       i.bv_val++;
+       i.bv_len = val->bv_len - (sn.bv_len + 1);
 
-static struct berval *
-asn1_integer2str(ASN1_INTEGER *a, struct berval *bv)
-{
-       char buf[256];
-       char *p;
-       static char digit[] = "0123456789";
-  
-       /* We work backwards, make it fill from the end of buf */
-       p = buf + sizeof(buf) - 1;
-       *p = '\0';
+       /* eat leading zeros */
+       for( n=0; n < (sn.bv_len-1); n++ ) {
+               if( sn.bv_val[n] != '0' ) break;
+       }
+       sn.bv_val += n;
+       sn.bv_len -= n;
 
-       if ( a == NULL || a->length == 0 ) {
-               *--p = '0';
-       } else {
-               int i;
-               int n = a->length;
-               int base = 0;
-               unsigned int *copy;
+       for( n=0; n < sn.bv_len; n++ ) {
+               if( !ASCII_DIGIT(sn.bv_val[n]) ) return LDAP_INVALID_SYNTAX;
+       }
 
-               /* We want to preserve the original */
-               copy = ch_malloc(n*sizeof(unsigned int));
-               for (i = 0; i<n; i++) {
-                       copy[i] = a->data[i];
-               }
+       /* pretty DN */
+       rc = dnPretty( syntax, &i, &newi, ctx );
+       if( rc ) return LDAP_INVALID_SYNTAX;
 
-               /* 
-                * base indicates the index of the most significant
-                * byte that might be nonzero.  When it goes off the
-                * end, we now there is nothing left to do.
-                */
-               while (base < n) {
-                       unsigned int carry;
-
-                       carry = 0;
-                       for (i = base; i<n; i++ ) {
-                               copy[i] += carry*256;
-                               carry = copy[i] % 10;
-                               copy[i] /= 10;
-                       }
-                       if (p <= buf+1) {
-                               /*
-                                * Way too large, we need to leave
-                                * room for sign if negative
-                                */
-                               free(copy);
-                               return NULL;
-                       }
-                       *--p = digit[carry];
+       /* make room from sn + "$" */
+       out->bv_len = sn.bv_len + newi.bv_len + 1;
+       out->bv_val = slap_sl_realloc( newi.bv_val, out->bv_len + 1, ctx );
 
-                       if (copy[base] == 0) base++;
-               }
-               free(copy);
+       if( out->bv_val == NULL ) {
+               out->bv_len = 0;
+               slap_sl_free( newi.bv_val, ctx );
+               return LDAP_OTHER;
        }
 
-       if ( a->type == V_ASN1_NEG_INTEGER ) {
-               *--p = '-';
-       }
+       /* push issuer over */
+       AC_MEMCPY( &out->bv_val[sn.bv_len+1], out->bv_val, newi.bv_len );
+       /* insert sn and "$" */
+       AC_MEMCPY( out->bv_val, sn.bv_val, sn.bv_len );
+       out->bv_val[sn.bv_len] = '$';
+       /* terminate */
+       out->bv_val[out->bv_len] = '\0';
+
+       Debug( LDAP_DEBUG_TRACE, "<<< serialNumberAndIssuerPretty: <%s>\n",
+               out->bv_val, 0, 0 );
 
-       return ber_str2bv( p, 0, 1, bv );
+       return LDAP_SUCCESS;
 }
 
 /*
- * Given a certificate in DER format, extract the corresponding
- * assertion value for certificateExactMatch
+ * This routine is called by certificateExactNormalize when
+ * certificateExactNormalize receives a search string instead of
+ * a certificate. This routine checks if the search value is valid
+ * and then returns the normalized value
  */
 static int
-certificateExactConvert(
-       struct berval * in,
-       struct berval * out )
+serialNumberAndIssuerNormalize(
+       slap_mask_t usage,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *val,
+       struct berval *out,
+       void *ctx )
 {
        int rc;
-       X509 *xcert;
-       unsigned char *p = in->bv_val;
-       struct berval serial;
-       struct berval issuer_dn;
+       ber_len_t n;
+       struct berval sn, i, newi;
 
-       xcert = d2i_X509(NULL, &p, in->bv_len);
-       if ( !xcert ) {
-#ifdef NEW_LOGGING
-               LDAP_LOG( CONFIG, ENTRY, 
-                       "certificateExactConvert: error parsing cert: %s\n",
-                       ERR_error_string(ERR_get_error(),NULL), 0, 0 );
-#else
-               Debug( LDAP_DEBUG_ARGS, "certificateExactConvert: "
-                       "error parsing cert: %s\n",
-                       ERR_error_string(ERR_get_error(),NULL), NULL, NULL );
-#endif
-               return LDAP_INVALID_SYNTAX;
-       }
+       assert( val != NULL );
+       assert( out != NULL );
 
-       if ( !asn1_integer2str(xcert->cert_info->serialNumber, &serial) ) {
-               X509_free(xcert);
-               return LDAP_INVALID_SYNTAX;
+       Debug( LDAP_DEBUG_TRACE, ">>> serialNumberAndIssuerNormalize: <%s>\n",
+               val->bv_val, 0, 0 );
+
+       if( val->bv_len < 3 ) return LDAP_INVALID_SYNTAX;
+
+       i.bv_val = strchr( val->bv_val, '$' );
+       if( BER_BVISNULL( &i ) ) return LDAP_INVALID_SYNTAX;
+
+       sn.bv_val = val->bv_val;
+       sn.bv_len = i.bv_val - val->bv_val;
+
+       i.bv_val++;
+       i.bv_len = val->bv_len - (sn.bv_len + 1);
+
+       /* eat leading zeros */
+       for( n=0; n < (sn.bv_len-1); n++ ) {
+               if( sn.bv_val[n] != '0' ) break;
        }
+       sn.bv_val += n;
+       sn.bv_len -= n;
 
-       rc = dnX509normalize( X509_get_issuer_name(xcert), &issuer_dn );
-       if( rc != LDAP_SUCCESS ) {
-               X509_free(xcert);
-               ber_memfree(serial.bv_val);
-               return LDAP_INVALID_SYNTAX;
+       for( n=0; n < sn.bv_len; n++ ) {
+               if( !ASCII_DIGIT(sn.bv_val[n]) ) {
+                       return LDAP_INVALID_SYNTAX;
+               }
        }
 
-       X509_free(xcert);
+       /* pretty DN */
+       rc = dnNormalize( usage, syntax, mr, &i, &newi, ctx );
+       if( rc ) return LDAP_INVALID_SYNTAX;
 
-       out->bv_len = serial.bv_len + issuer_dn.bv_len + sizeof(" $ ");
-       out->bv_val = ch_malloc(out->bv_len);
-       p = out->bv_val;
-       AC_MEMCPY(p, serial.bv_val, serial.bv_len);
-       p += serial.bv_len;
-       AC_MEMCPY(p, " $ ", sizeof(" $ ")-1);
-       p += 3;
-       AC_MEMCPY(p, issuer_dn.bv_val, issuer_dn.bv_len);
-       p += issuer_dn.bv_len;
-       *p++ = '\0';
+       /* make room from sn + "$" */
+       out->bv_len = sn.bv_len + newi.bv_len + 1;
+       out->bv_val = slap_sl_realloc( newi.bv_val, out->bv_len + 1, ctx );
 
-#ifdef NEW_LOGGING
-       LDAP_LOG( CONFIG, ARGS, "certificateExactConvert: %s\n",
-               out->bv_val, 0, 0 );
-#else
-       Debug( LDAP_DEBUG_ARGS, "certificateExactConvert: %s\n",
-               out->bv_val, NULL, NULL );
-#endif
+       if( out->bv_val == NULL ) {
+               out->bv_len = 0;
+               slap_sl_free( newi.bv_val, ctx );
+               return LDAP_OTHER;
+       }
 
-       ber_memfree(serial.bv_val);
-       ber_memfree(issuer_dn.bv_val);
+       /* push issuer over */
+       AC_MEMCPY( &out->bv_val[sn.bv_len+1], out->bv_val, newi.bv_len );
+       /* insert sn and "$" */
+       AC_MEMCPY( out->bv_val, sn.bv_val, sn.bv_len );
+       out->bv_val[sn.bv_len] = '$';
+       /* terminate */
+       out->bv_val[out->bv_len] = '\0';
 
-       return LDAP_SUCCESS;
+       Debug( LDAP_DEBUG_TRACE, "<<< serialNumberAndIssuerNormalize: <%s>\n",
+               out->bv_val, 0, 0 );
+
+       return rc;
 }
 
+#ifdef HAVE_TLS
 static int
 certificateExactNormalize(
        slap_mask_t usage,
@@ -1981,187 +2546,244 @@ certificateExactNormalize(
        struct berval *normalized,
        void *ctx )
 {
-       int rc;
+       int rc = LDAP_INVALID_SYNTAX;
+       unsigned char *p;
+       char *serial = NULL;
+       ber_len_t seriallen;
+       struct berval issuer_dn = BER_BVNULL;
+       X509_NAME *name = NULL;
+       ASN1_INTEGER *sn = NULL;
+       X509 *xcert = NULL;
+
+       if( BER_BVISEMPTY( val ) ) goto done;
+
+       if( SLAP_MR_IS_VALUE_OF_ASSERTION_SYNTAX(usage) ) {
+               return serialNumberAndIssuerNormalize(0,NULL,NULL,val,normalized,ctx);
+       }
+
+       assert( SLAP_MR_IS_VALUE_OF_ATTRIBUTE_SYNTAX(usage) );
+
+       p = (unsigned char *)val->bv_val;
+       xcert = d2i_X509( NULL, &p, val->bv_len);
+       if( xcert == NULL ) goto done;
+
+       sn=X509_get_serialNumber(xcert);
+       if ( sn == NULL ) goto done;
+       serial=i2s_ASN1_INTEGER(0, sn );
+       if( serial == NULL ) goto done;
+       seriallen=strlen(serial);
+
+       name=X509_get_issuer_name(xcert);
+       if( name == NULL ) goto done;
+       rc = dnX509normalize( name, &issuer_dn );
+       if( rc != LDAP_SUCCESS ) goto done;
+
+       normalized->bv_len = seriallen + issuer_dn.bv_len + 1;
+       normalized->bv_val = ch_malloc(normalized->bv_len+1);
+       p = (unsigned char *)normalized->bv_val;
+       AC_MEMCPY(p, serial, seriallen);
+       p += seriallen;
+       *p++ = '$';
+       AC_MEMCPY(p, issuer_dn.bv_val, issuer_dn.bv_len);
+       p += issuer_dn.bv_len;
+       *p = '\0';
 
-       if( SLAP_MR_IS_VALUE_OF_ASSERTION_SYNTAX( usage ) ) {
-               rc = serialNumberAndIssuerNormalize( usage, syntax, mr,
-                       val, normalized, ctx );
+       Debug( LDAP_DEBUG_TRACE, "certificateExactNormalize: %s\n",
+               normalized->bv_val, NULL, NULL );
 
-       } else {
-               rc = certificateExactConvert( val, normalized );
-       }
+done:
+       if (xcert) X509_free(xcert);
+       if (serial) ch_free(serial);
+       if (issuer_dn.bv_val) ber_memfree(issuer_dn.bv_val);
 
        return rc;
 }
 #endif /* HAVE_TLS */
 
 
+#ifndef SUPPORT_OBSOLETE_UTC_SYNTAX
+/* slight optimization - does not need the start parameter */
+#define check_time_syntax(v, start, p, f) (check_time_syntax)(v, p, f)
+enum { start = 0 };
+#endif
+
 static int
 check_time_syntax (struct berval *val,
        int start,
-       int *parts)
+       int *parts,
+       struct berval *fraction)
 {
-       static int ceiling[9] = { 99, 99, 11, 30, 23, 59, 59, 12, 59 };
-       static int mdays[2][12] = {
+       /*
+        * start=0 GeneralizedTime YYYYmmddHH[MM[SS]][(./,)d...](Z|(+/-)HH[MM])
+        * start=1 UTCTime         YYmmddHHMM[SS][Z|(+/-)HHMM]
+        * GeneralizedTime supports leap seconds, UTCTime does not.
+        */
+       static const int ceiling[9] = { 100, 100, 12, 31, 24, 60, 60, 24, 60 };
+       static const int mdays[2][12] = {
                /* non-leap years */
-               { 30, 27, 30, 29, 30, 29, 30, 30, 29, 30, 29, 30 },
+               { 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 },
                /* leap years */
-               { 30, 28, 30, 29, 30, 29, 30, 30, 29, 30, 29, 30 }
+               { 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 }
        };
        char *p, *e;
-       int part, c, tzoffset, leapyear = 0 ;
-
-       if( val->bv_len == 0 ) {
-               return LDAP_INVALID_SYNTAX;
-       }
+       int part, c, c1, c2, tzoffset, leapyear = 0;
 
-       p = (char *)val->bv_val;
+       p = val->bv_val;
        e = p + val->bv_len;
 
-       /* Ignore initial whitespace */
-       while ( ( p < e ) && ASCII_SPACE( *p ) ) {
-               p++;
-       }
-
-       if (e - p < 13 - (2 * start)) {
-               return LDAP_INVALID_SYNTAX;
-       }
-
-       for (part = 0; part < 9; part++) {
-               parts[part] = 0;
-       }
-
-       for (part = start; part < 7; part++) {
-               c = *p;
-               if ((part == 6) && (c == 'Z' || c == '+' || c == '-')) {
-                       part++;
+#ifdef SUPPORT_OBSOLETE_UTC_SYNTAX
+       parts[0] = 20; /* century - any multiple of 4 from 04 to 96 */
+#endif
+       for (part = start; part < 7 && p < e; part++) {
+               c1 = *p;
+               if (!ASCII_DIGIT(c1)) {
                        break;
                }
                p++;
-               c -= '0';
-               if (p == e) {
-                       return LDAP_INVALID_SYNTAX;
-               }
-               if (c < 0 || c > 9) {
-                       return LDAP_INVALID_SYNTAX;
-               }
-               parts[part] = c;
-
-               c = *p++ - '0';
                if (p == e) {
                        return LDAP_INVALID_SYNTAX;
                }
-               if (c < 0 || c > 9) {
+               c = *p++;
+               if (!ASCII_DIGIT(c)) {
                        return LDAP_INVALID_SYNTAX;
                }
-               parts[part] *= 10;
-               parts[part] += c;
-
-               if (part == 2 || part == 3) {
-                       parts[part]--;
-               }
-               if (parts[part] < 0) {
-                       return LDAP_INVALID_SYNTAX;
+               c += c1 * 10 - '0' * 11;
+               if ((part | 1) == 3) {
+                       --c;
+                       if (c < 0) {
+                               return LDAP_INVALID_SYNTAX;
+                       }
                }
-               if (parts[part] > ceiling[part]) {
-                       return LDAP_INVALID_SYNTAX;
+               if (c >= ceiling[part]) {
+                       if (! (c == 60 && part == 6 && start == 0))
+                               return LDAP_INVALID_SYNTAX;
                }
+               parts[part] = c;
+       }
+       if (part < 5 + start) {
+               return LDAP_INVALID_SYNTAX;
+       }
+       for (; part < 9; part++) {
+               parts[part] = 0;
        }
 
        /* leapyear check for the Gregorian calendar (year>1581) */
-       if (((parts[1] % 4 == 0) && (parts[1] != 0)) ||
-               ((parts[0] % 4 == 0) && (parts[1] == 0)))
-       {
+       if (parts[parts[1] == 0 ? 0 : 1] % 4 == 0) {
                leapyear = 1;
        }
 
-       if (parts[3] > mdays[leapyear][parts[2]]) {
+       if (parts[3] >= mdays[leapyear][parts[2]]) {
                return LDAP_INVALID_SYNTAX;
-       }
-       
-       c = *p++;
-       if (c == 'Z') {
-               tzoffset = 0; /* UTC */
-       } else if (c != '+' && c != '-') {
-               return LDAP_INVALID_SYNTAX;
-       } else {
-               if (c == '-') {
-                       tzoffset = -1;
-               } else /* c == '+' */ {
-                       tzoffset = 1;
-               }
-
-               if (p > e - 4) {
-                       return LDAP_INVALID_SYNTAX;
-               }
+       }
 
-               for (part = 7; part < 9; part++) {
-                       c = *p++ - '0';
-                       if (c < 0 || c > 9) {
-                               return LDAP_INVALID_SYNTAX;
+       if (start == 0) {
+               fraction->bv_val = p;
+               fraction->bv_len = 0;
+               if (p < e && (*p == '.' || *p == ',')) {
+                       char *end_num;
+                       while (++p < e && ASCII_DIGIT(*p)) {
+                               /* EMTPY */;
                        }
-                       parts[part] = c;
-
-                       c = *p++ - '0';
-                       if (c < 0 || c > 9) {
+                       if (p - fraction->bv_val == 1) {
                                return LDAP_INVALID_SYNTAX;
                        }
-                       parts[part] *= 10;
-                       parts[part] += c;
-                       if (parts[part] < 0 || parts[part] > ceiling[part]) {
-                               return LDAP_INVALID_SYNTAX;
+                       for (end_num = p; end_num[-1] == '0'; --end_num) {
+                               /* EMPTY */;
                        }
+                       c = end_num - fraction->bv_val;
+                       if (c != 1) fraction->bv_len = c;
                }
        }
 
-       /* Ignore trailing whitespace */
-       while ( ( p < e ) && ASCII_SPACE( *p ) ) {
-               p++;
-       }
-       if (p != e) {
-               return LDAP_INVALID_SYNTAX;
+       if (p == e) {
+               /* no time zone */
+               return start == 0 ? LDAP_INVALID_SYNTAX : LDAP_SUCCESS;
        }
 
-       switch ( tzoffset ) {
-       case -1: /* negativ offset to UTC, ie west of Greenwich  */
-               parts[4] += parts[7];
-               parts[5] += parts[8];
-               for (part = 6; --part > 0; ) { /* offset is just hhmm, no seconds */
-                       if (part != 3) {
-                               c = ceiling[part];
-                       } else {
-                               c = mdays[leapyear][parts[2]];
+       tzoffset = *p++;
+       switch (tzoffset) {
+       default:
+               return LDAP_INVALID_SYNTAX;
+       case 'Z':
+               /* UTC */
+               break;
+       case '+':
+       case '-':
+               for (part = 7; part < 9 && p < e; part++) {
+                       c1 = *p;
+                       if (!ASCII_DIGIT(c1)) {
+                               break;
+                       }
+                       p++;
+                       if (p == e) {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+                       c2 = *p++;
+                       if (!ASCII_DIGIT(c2)) {
+                               return LDAP_INVALID_SYNTAX;
                        }
-                       if (parts[part] > c) {
-                               parts[part] -= c + 1;
-                               parts[part - 1]++;
+                       parts[part] = c1 * 10 + c2 - '0' * 11;
+                       if (parts[part] >= ceiling[part]) {
+                               return LDAP_INVALID_SYNTAX;
                        }
                }
-               break;
-       case 1: /* positive offset to UTC, ie east of Greenwich */
-               parts[4] -= parts[7];
-               parts[5] -= parts[8];
-               for (part = 6; --part > 0; ) {
-                       if (part != 3) {
-                               c = ceiling[part];
-                       } else {
-                               /* first arg to % needs to be non negativ */
-                               c = mdays[leapyear][(parts[2] - 1 + 12) % 12];
+               if (part < 8 + start) {
+                       return LDAP_INVALID_SYNTAX;
+               }
+
+               if (tzoffset == '-') {
+                       /* negative offset to UTC, ie west of Greenwich */
+                       parts[4] += parts[7];
+                       parts[5] += parts[8];
+                       /* offset is just hhmm, no seconds */
+                       for (part = 6; --part >= 0; ) {
+                               if (part != 3) {
+                                       c = ceiling[part];
+                               } else {
+                                       c = mdays[leapyear][parts[2]];
+                               }
+                               if (parts[part] >= c) {
+                                       if (part == 0) {
+                                               return LDAP_INVALID_SYNTAX;
+                                       }
+                                       parts[part] -= c;
+                                       parts[part - 1]++;
+                                       continue;
+                               } else if (part != 5) {
+                                       break;
+                               }
                        }
-                       if (parts[part] < 0) {
-                               parts[part] += c + 1;
-                               parts[part - 1]--;
+               } else {
+                       /* positive offset to UTC, ie east of Greenwich */
+                       parts[4] -= parts[7];
+                       parts[5] -= parts[8];
+                       for (part = 6; --part >= 0; ) {
+                               if (parts[part] < 0) {
+                                       if (part == 0) {
+                                               return LDAP_INVALID_SYNTAX;
+                                       }
+                                       if (part != 3) {
+                                               c = ceiling[part];
+                                       } else {
+                                               /* make first arg to % non-negative */
+                                               c = mdays[leapyear][(parts[2] - 1 + 12) % 12];
+                                       }
+                                       parts[part] += c;
+                                       parts[part - 1]--;
+                                       continue;
+                               } else if (part != 5) {
+                                       break;
+                               }
                        }
                }
-               break;
-       case 0: /* already UTC */
-               break;
        }
 
-       return LDAP_SUCCESS;
+       return p != e ? LDAP_INVALID_SYNTAX : LDAP_SUCCESS;
 }
 
 #ifdef SUPPORT_OBSOLETE_UTC_SYNTAX
+
+#if 0
 static int
 xutcTimeNormalize(
        Syntax *syntax,
@@ -2170,7 +2792,7 @@ xutcTimeNormalize(
 {
        int parts[9], rc;
 
-       rc = check_time_syntax(val, 1, parts);
+       rc = check_time_syntax(val, 1, parts, NULL);
        if (rc != LDAP_SUCCESS) {
                return rc;
        }
@@ -2187,6 +2809,7 @@ xutcTimeNormalize(
 
        return LDAP_SUCCESS;
 }
+#endif /* 0 */
 
 static int
 utcTimeValidate(
@@ -2194,9 +2817,10 @@ utcTimeValidate(
        struct berval *in )
 {
        int parts[9];
-       return check_time_syntax(in, 1, parts);
+       return check_time_syntax(in, 1, parts, NULL);
 }
-#endif
+
+#endif /* SUPPORT_OBSOLETE_UTC_SYNTAX */
 
 static int
 generalizedTimeValidate(
@@ -2204,7 +2828,8 @@ generalizedTimeValidate(
        struct berval *in )
 {
        int parts[9];
-       return check_time_syntax(in, 0, parts);
+       struct berval fraction;
+       return check_time_syntax(in, 0, parts, &fraction);
 }
 
 static int
@@ -2217,25 +2842,293 @@ generalizedTimeNormalize(
        void *ctx )
 {
        int parts[9], rc;
+       unsigned int len;
+       struct berval fraction;
 
-       rc = check_time_syntax(val, 0, parts);
+       rc = check_time_syntax(val, 0, parts, &fraction);
        if (rc != LDAP_SUCCESS) {
                return rc;
        }
 
-       normalized->bv_val = sl_malloc( sizeof("YYYYmmddHHMMSSZ"), ctx );
-       if ( normalized->bv_val == NULL ) {
+       len = sizeof("YYYYmmddHHMMSSZ")-1 + fraction.bv_len;
+       normalized->bv_val = slap_sl_malloc( len + 1, ctx );
+       if ( BER_BVISNULL( normalized ) ) {
                return LBER_ERROR_MEMORY;
        }
 
-       sprintf( normalized->bv_val, "%02d%02d%02d%02d%02d%02d%02dZ",
+       sprintf( normalized->bv_val, "%02d%02d%02d%02d%02d%02d%02d",
                parts[0], parts[1], parts[2] + 1, parts[3] + 1,
                parts[4], parts[5], parts[6] );
-       normalized->bv_len = 15;
+       if ( !BER_BVISEMPTY( &fraction ) ) {
+               memcpy( normalized->bv_val + sizeof("YYYYmmddHHMMSSZ")-2,
+                       fraction.bv_val, fraction.bv_len );
+               normalized->bv_val[sizeof("YYYYmmddHHMMSSZ")-2] = '.';
+       }
+       strcpy( normalized->bv_val + len-1, "Z" );
+       normalized->bv_len = len;
+
+       return LDAP_SUCCESS;
+}
+
+static int
+generalizedTimeOrderingMatch(
+       int *matchp,
+       slap_mask_t flags,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *value,
+       void *assertedValue )
+{
+       struct berval *asserted = (struct berval *) assertedValue;
+       ber_len_t v_len  = value->bv_len;
+       ber_len_t av_len = asserted->bv_len;
+
+       /* ignore trailing 'Z' when comparing */
+       int match = memcmp( value->bv_val, asserted->bv_val,
+               (v_len < av_len ? v_len : av_len) - 1 );
+       if ( match == 0 ) match = v_len - av_len;
+
+       *matchp = match;
+       return LDAP_SUCCESS;
+}
+
+/* Index generation function */
+int generalizedTimeIndexer(
+       slap_mask_t use,
+       slap_mask_t flags,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *prefix,
+       BerVarray values,
+       BerVarray *keysp,
+       void *ctx )
+{
+       int i, j;
+       BerVarray keys;
+       char tmp[5];
+       BerValue bvtmp; /* 40 bit index */
+       struct lutil_tm tm;
+       struct lutil_timet tt;
+
+       bvtmp.bv_len = sizeof(tmp);
+       bvtmp.bv_val = tmp;
+       for( i=0; values[i].bv_val != NULL; i++ ) {
+               /* just count them */
+       }
+
+       /* we should have at least one value at this point */
+       assert( i > 0 );
+
+       keys = slap_sl_malloc( sizeof( struct berval ) * (i+1), ctx );
+
+       /* GeneralizedTime YYYYmmddHH[MM[SS]][(./,)d...](Z|(+/-)HH[MM]) */
+       for( i=0, j=0; values[i].bv_val != NULL; i++ ) {
+               assert(values[i].bv_val != NULL && values[i].bv_len >= 10);
+               /* Use 40 bits of time for key */
+               if ( lutil_parsetime( values[i].bv_val, &tm ) == 0 ) {
+                       lutil_tm2time( &tm, &tt );
+                       tmp[0] = tt.tt_gsec & 0xff;
+                       tmp[4] = tt.tt_sec & 0xff;
+                       tt.tt_sec >>= 8;
+                       tmp[3] = tt.tt_sec & 0xff;
+                       tt.tt_sec >>= 8;
+                       tmp[2] = tt.tt_sec & 0xff;
+                       tt.tt_sec >>= 8;
+                       tmp[1] = tt.tt_sec & 0xff;
+                       
+                       ber_dupbv_x(&keys[j++], &bvtmp, ctx );
+               }
+       }
+
+       keys[j].bv_val = NULL;
+       keys[j].bv_len = 0;
+
+       *keysp = keys;
+
+       return LDAP_SUCCESS;
+}
+
+/* Index generation function */
+int generalizedTimeFilter(
+       slap_mask_t use,
+       slap_mask_t flags,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *prefix,
+       void * assertedValue,
+       BerVarray *keysp,
+       void *ctx )
+{
+       BerVarray keys;
+       char tmp[5];
+       BerValue bvtmp; /* 40 bit index */
+       BerValue *value = (BerValue *) assertedValue;
+       struct lutil_tm tm;
+       struct lutil_timet tt;
+       
+       bvtmp.bv_len = sizeof(tmp);
+       bvtmp.bv_val = tmp;
+       /* GeneralizedTime YYYYmmddHH[MM[SS]][(./,)d...](Z|(+/-)HH[MM]) */
+       /* Use 40 bits of time for key */
+       if ( value->bv_val && value->bv_len >= 10 &&
+               lutil_parsetime( value->bv_val, &tm ) == 0 ) {
+
+               lutil_tm2time( &tm, &tt );
+               tmp[0] = tt.tt_gsec & 0xff;
+               tmp[4] = tt.tt_sec & 0xff;
+               tt.tt_sec >>= 8;
+               tmp[3] = tt.tt_sec & 0xff;
+               tt.tt_sec >>= 8;
+               tmp[2] = tt.tt_sec & 0xff;
+               tt.tt_sec >>= 8;
+               tmp[1] = tt.tt_sec & 0xff;
+
+               keys = slap_sl_malloc( sizeof( struct berval ) * 2, ctx );
+               ber_dupbv_x(keys, &bvtmp, ctx );
+               keys[1].bv_val = NULL;
+               keys[1].bv_len = 0;
+       } else {
+               keys = NULL;
+       }
+
+       *keysp = keys;
 
        return LDAP_SUCCESS;
 }
 
+static int
+deliveryMethodValidate(
+       Syntax *syntax,
+       struct berval *val )
+{
+#undef LENOF
+#define LENOF(s) (sizeof(s)-1)
+       struct berval tmp = *val;
+       /*
+     * DeliveryMethod = pdm *( WSP DOLLAR WSP DeliveryMethod )
+        *      pdm = "any" / "mhs" / "physical" / "telex" / "teletex" /
+        *              "g3fax" / "g4fax" / "ia5" / "videotex" / "telephone"
+        */
+again:
+       if( tmp.bv_len < 3 ) return LDAP_INVALID_SYNTAX;
+
+       switch( tmp.bv_val[0] ) {
+       case 'a':
+       case 'A':
+               if(( tmp.bv_len >= LENOF("any") ) &&
+                       ( strncasecmp(tmp.bv_val, "any", LENOF("any")) == 0 ))
+               {
+                       tmp.bv_len -= LENOF("any");
+                       tmp.bv_val += LENOF("any");
+                       break;
+               }
+               return LDAP_INVALID_SYNTAX;
+
+       case 'm':
+       case 'M':
+               if(( tmp.bv_len >= LENOF("mhs") ) &&
+                       ( strncasecmp(tmp.bv_val, "mhs", LENOF("mhs")) == 0 ))
+               {
+                       tmp.bv_len -= LENOF("mhs");
+                       tmp.bv_val += LENOF("mhs");
+                       break;
+               }
+               return LDAP_INVALID_SYNTAX;
+
+       case 'p':
+       case 'P':
+               if(( tmp.bv_len >= LENOF("physical") ) &&
+                       ( strncasecmp(tmp.bv_val, "physical", LENOF("physical")) == 0 ))
+               {
+                       tmp.bv_len -= LENOF("physical");
+                       tmp.bv_val += LENOF("physical");
+                       break;
+               }
+               return LDAP_INVALID_SYNTAX;
+
+       case 't':
+       case 'T': /* telex or teletex or telephone */
+               if(( tmp.bv_len >= LENOF("telex") ) &&
+                       ( strncasecmp(tmp.bv_val, "telex", LENOF("telex")) == 0 ))
+               {
+                       tmp.bv_len -= LENOF("telex");
+                       tmp.bv_val += LENOF("telex");
+                       break;
+               }
+               if(( tmp.bv_len >= LENOF("teletex") ) &&
+                       ( strncasecmp(tmp.bv_val, "teletex", LENOF("teletex")) == 0 ))
+               {
+                       tmp.bv_len -= LENOF("teletex");
+                       tmp.bv_val += LENOF("teletex");
+                       break;
+               }
+               if(( tmp.bv_len >= LENOF("telephone") ) &&
+                       ( strncasecmp(tmp.bv_val, "telephone", LENOF("telephone")) == 0 ))
+               {
+                       tmp.bv_len -= LENOF("telephone");
+                       tmp.bv_val += LENOF("telephone");
+                       break;
+               }
+               return LDAP_INVALID_SYNTAX;
+
+       case 'g':
+       case 'G': /* g3fax or g4fax */
+               if(( tmp.bv_len >= LENOF("g3fax") ) && (
+                       ( strncasecmp(tmp.bv_val, "g3fax", LENOF("g3fax")) == 0 ) ||
+                       ( strncasecmp(tmp.bv_val, "g4fax", LENOF("g4fax")) == 0 )))
+               {
+                       tmp.bv_len -= LENOF("g3fax");
+                       tmp.bv_val += LENOF("g3fax");
+                       break;
+               }
+               return LDAP_INVALID_SYNTAX;
+
+       case 'i':
+       case 'I':
+               if(( tmp.bv_len >= LENOF("ia5") ) &&
+                       ( strncasecmp(tmp.bv_val, "ia5", LENOF("ia5")) == 0 ))
+               {
+                       tmp.bv_len -= LENOF("ia5");
+                       tmp.bv_val += LENOF("ia5");
+                       break;
+               }
+               return LDAP_INVALID_SYNTAX;
+
+       case 'v':
+       case 'V':
+               if(( tmp.bv_len >= LENOF("videotex") ) &&
+                       ( strncasecmp(tmp.bv_val, "videotex", LENOF("videotex")) == 0 ))
+               {
+                       tmp.bv_len -= LENOF("videotex");
+                       tmp.bv_val += LENOF("videotex");
+                       break;
+               }
+               return LDAP_INVALID_SYNTAX;
+
+       default:
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       if( BER_BVISEMPTY( &tmp ) ) return LDAP_SUCCESS;
+
+       while( !BER_BVISEMPTY( &tmp ) && ( tmp.bv_val[0] == ' ' ) ) {
+               tmp.bv_len++;
+               tmp.bv_val--;
+       }
+       if( !BER_BVISEMPTY( &tmp ) && ( tmp.bv_val[0] == '$' ) ) {
+               tmp.bv_len++;
+               tmp.bv_val--;
+       } else {
+               return LDAP_INVALID_SYNTAX;
+       }
+       while( !BER_BVISEMPTY( &tmp ) && ( tmp.bv_val[0] == ' ' ) ) {
+               tmp.bv_len++;
+               tmp.bv_val--;
+       }
+
+       goto again;
+}
+
 static int
 nisNetgroupTripleValidate(
        Syntax *syntax,
@@ -2244,7 +3137,7 @@ nisNetgroupTripleValidate(
        char *p, *e;
        int commas = 0;
 
-       if ( val->bv_len == 0 ) {
+       if ( BER_BVISEMPTY( val ) ) {
                return LDAP_INVALID_SYNTAX;
        }
 
@@ -2287,7 +3180,7 @@ bootParameterValidate(
 {
        char *p, *e;
 
-       if ( val->bv_len == 0 ) {
+       if ( BER_BVISEMPTY( val ) ) {
                return LDAP_INVALID_SYNTAX;
        }
 
@@ -2336,9 +3229,14 @@ firstComponentNormalize(
        void *ctx )
 {
        int rc;
-       struct berval oid;
+       struct berval comp;
        ber_len_t len;
 
+       if( SLAP_MR_IS_VALUE_OF_ASSERTION_SYNTAX( usage )) {
+               ber_dupbv_x( normalized, val, ctx );
+               return LDAP_SUCCESS;
+       }
+
        if( val->bv_len < 3 ) return LDAP_INVALID_SYNTAX;
 
        if( val->bv_val[0] != '(' /*')'*/ &&
@@ -2356,26 +3254,26 @@ firstComponentNormalize(
        }
 
        /* grab next word */
-       oid.bv_val = &val->bv_val[len];
+       comp.bv_val = &val->bv_val[len];
        len = val->bv_len - len;
-       for( oid.bv_len=0;
-               !ASCII_SPACE(oid.bv_val[oid.bv_len]) && oid.bv_len < len;
-               oid.bv_len++ )
+       for( comp.bv_len = 0;
+               !ASCII_SPACE(comp.bv_val[comp.bv_len]) && comp.bv_len < len;
+               comp.bv_len++ )
        {
                /* empty */
        }
 
        if( mr == slap_schema.si_mr_objectIdentifierFirstComponentMatch ) {
-               rc = numericoidValidate( NULL, &oid );
+               rc = numericoidValidate( NULL, &comp );
        } else if( mr == slap_schema.si_mr_integerFirstComponentMatch ) {
-               rc = integerValidate( NULL, &oid );
+               rc = integerValidate( NULL, &comp );
        } else {
                rc = LDAP_INVALID_SYNTAX;
        }
        
 
        if( rc == LDAP_SUCCESS ) {
-               ber_dupbv_x( normalized, &oid, ctx );
+               ber_dupbv_x( normalized, &comp, ctx );
        }
 
        return rc;
@@ -2405,21 +3303,29 @@ static slap_syntax_defs_rec syntax_defs[] = {
                0, booleanValidate, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.8 DESC 'Certificate' "
                X_BINARY X_NOT_H_R ")",
-               SLAP_SYNTAX_BINARY|SLAP_SYNTAX_BER, berValidate, NULL},
+               SLAP_SYNTAX_BINARY|SLAP_SYNTAX_BER, certificateValidate, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.9 DESC 'Certificate List' "
                X_BINARY X_NOT_H_R ")",
-               SLAP_SYNTAX_BINARY|SLAP_SYNTAX_BER, berValidate, NULL},
+               SLAP_SYNTAX_BINARY|SLAP_SYNTAX_BER, sequenceValidate, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.10 DESC 'Certificate Pair' "
                X_BINARY X_NOT_H_R ")",
-               SLAP_SYNTAX_BINARY|SLAP_SYNTAX_BER, berValidate, NULL},
+               SLAP_SYNTAX_BINARY|SLAP_SYNTAX_BER, sequenceValidate, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.11 DESC 'Country String' )",
                0, countryStringValidate, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.12 DESC 'Distinguished Name' )",
                0, dnValidate, dnPretty},
+       {"( 1.2.36.79672281.1.5.0 DESC 'RDN' )",
+               0, rdnValidate, rdnPretty},
+#ifdef LDAP_COMP_MATCH
+       {"( 1.2.36.79672281.1.5.3 DESC 'allComponents' )",
+               0, allComponentsValidate, NULL},
+       {"( 1.2.36.79672281.1.5.2 DESC 'componentFilterMatch assertion') ",
+               0, componentFilterValidate, NULL},
+#endif
        {"( 1.3.6.1.4.1.1466.115.121.1.13 DESC 'Data Quality' )",
                0, NULL, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.14 DESC 'Delivery Method' )",
-               0, NULL, NULL},
+               0, deliveryMethodValidate, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.15 DESC 'Directory String' )",
                0, UTF8StringValidate, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.16 DESC 'DIT Content Rule Description' )",
@@ -2457,7 +3363,7 @@ static slap_syntax_defs_rec syntax_defs[] = {
        {"( 1.3.6.1.4.1.1466.115.121.1.33 DESC 'MHS OR Address' )",
                0, NULL, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.34 DESC 'Name And Optional UID' )",
-               0, nameUIDValidate, NULL},
+               0, nameUIDValidate, nameUIDPretty },
        {"( 1.3.6.1.4.1.1466.115.121.1.35 DESC 'Name Form Description' )",
                0, NULL, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.36 DESC 'Numeric String' )",
@@ -2511,21 +3417,11 @@ static slap_syntax_defs_rec syntax_defs[] = {
        {"( 1.3.6.1.1.1.0.1  DESC 'RFC2307 Boot Parameter' )",
                0, bootParameterValidate, NULL},
 
-       /* From PKIX */
-       /* These OIDs are not published yet, but will be in the next
-        * I-D for PKIX LDAPv3 schema as have been advanced by David
-        * Chadwick in private mail.
-        */
-       {"( 1.2.826.0.1.3344810.7.1 DESC 'Serial Number and Issuer' )",
-               0, serialNumberAndIssuerValidate, NULL},
-
-       /* OpenLDAP Experimental Syntaxes */
-#ifdef SLAPD_ACI_ENABLED
-       {"( 1.3.6.1.4.1.4203.666.2.1 DESC 'OpenLDAP Experimental ACI' )",
+       /* From PKIX *//* This OID is not published yet. */
+       {"( 1.2.826.0.1.3344810.7.1 DESC 'Certificate Serial Number and Issuer' )",
                SLAP_SYNTAX_HIDE,
-               UTF8StringValidate /* THIS WILL CHANGE FOR NEW ACI SYNTAX */,
-               NULL},
-#endif
+               serialNumberAndIssuerValidate,
+               serialNumberAndIssuerPretty},
 
 #ifdef SLAPD_AUTHPASSWD
        /* needs updating */
@@ -2533,17 +3429,34 @@ static slap_syntax_defs_rec syntax_defs[] = {
                SLAP_SYNTAX_HIDE, NULL, NULL},
 #endif
 
+       {"( 1.3.6.1.1.16.1 DESC 'UUID' )",
+               0, UUIDValidate, NULL},
+
+       {"( 1.3.6.1.4.1.4203.666.11.2.1 DESC 'CSN' )",
+               SLAP_SYNTAX_HIDE, csnValidate, NULL},
+
        /* OpenLDAP Void Syntax */
        {"( 1.3.6.1.4.1.4203.1.1.1 DESC 'OpenLDAP void' )" ,
                SLAP_SYNTAX_HIDE, inValidate, NULL},
+
+#ifdef SLAP_AUTHZ_SYNTAX
+       /* FIXME: OID is unused, but not registered yet */
+       {"( 1.3.6.1.4.1.4203.666.2.7 DESC 'OpenLDAP authz' )",
+               SLAP_SYNTAX_HIDE, authzValidate, authzPretty},
+#endif /* SLAP_AUTHZ_SYNTAX */
+
        {NULL, 0, NULL, NULL}
 };
 
-#ifdef HAVE_TLS
 char *certificateExactMatchSyntaxes[] = {
        "1.3.6.1.4.1.1466.115.121.1.8" /* certificate */,
        NULL
 };
+#ifdef LDAP_COMP_MATCH
+char *componentFilterMatchSyntaxes[] = {
+       "1.3.6.1.4.1.1466.115.121.1.8" /* certificate */,
+       NULL
+};
 #endif
 char *directoryStringSyntaxes[] = {
        "1.3.6.1.4.1.1466.115.121.1.44" /* printableString */,
@@ -2569,22 +3482,22 @@ char *objectIdentifierFirstComponentMatchSyntaxes[] = {
 /*
  * Other matching rules in X.520 that we do not use (yet):
  *
- * 2.5.13.9            numericStringOrderingMatch
  * 2.5.13.25   uTCTimeMatch
  * 2.5.13.26   uTCTimeOrderingMatch
- * 2.5.13.31   directoryStringFirstComponentMatch
- * 2.5.13.32   wordMatch
- * 2.5.13.33   keywordMatch
- * 2.5.13.35   certificateMatch
+ * 2.5.13.31*  directoryStringFirstComponentMatch
+ * 2.5.13.32*  wordMatch
+ * 2.5.13.33*  keywordMatch
  * 2.5.13.36   certificatePairExactMatch
  * 2.5.13.37   certificatePairMatch
  * 2.5.13.38   certificateListExactMatch
  * 2.5.13.39   certificateListMatch
  * 2.5.13.40   algorithmIdentifierMatch
- * 2.5.13.41   storedPrefixMatch
+ * 2.5.13.41*  storedPrefixMatch
  * 2.5.13.42   attributeCertificateMatch
  * 2.5.13.43   readerAndKeyIDMatch
  * 2.5.13.44   attributeIntegrityMatch
+ *
+ * (*) described in RFC 3698 (LDAP: Additional Matching Rules)
  */
 static slap_mrule_defs_rec mrule_defs[] = {
        /*
@@ -2623,6 +3536,64 @@ static slap_mrule_defs_rec mrule_defs[] = {
                octetStringIndexer, octetStringFilter,
                NULL },
 
+       {"( 1.3.6.1.4.1.4203.666.4.9 NAME 'dnSubtreeMatch' "
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.12 )",
+               SLAP_MR_HIDE | SLAP_MR_EXT, NULL,
+               NULL, dnNormalize, dnRelativeMatch,
+               NULL, NULL,
+               NULL },
+
+       {"( 1.3.6.1.4.1.4203.666.4.8 NAME 'dnOneLevelMatch' "
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.12 )",
+               SLAP_MR_HIDE | SLAP_MR_EXT, NULL,
+               NULL, dnNormalize, dnRelativeMatch,
+               NULL, NULL,
+               NULL },
+
+       {"( 1.3.6.1.4.1.4203.666.4.10 NAME 'dnSubordinateMatch' "
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.12 )",
+               SLAP_MR_HIDE | SLAP_MR_EXT, NULL,
+               NULL, dnNormalize, dnRelativeMatch,
+               NULL, NULL,
+               NULL },
+
+       {"( 1.3.6.1.4.1.4203.666.4.11 NAME 'dnSuperiorMatch' "
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.12 )",
+               SLAP_MR_HIDE | SLAP_MR_EXT, NULL,
+               NULL, dnNormalize, dnRelativeMatch,
+               NULL, NULL,
+               NULL },
+
+       {"( 1.2.36.79672281.1.13.3 NAME 'rdnMatch' "
+               "SYNTAX 1.2.36.79672281.1.5.0 )",
+               SLAP_MR_EQUALITY | SLAP_MR_EXT, NULL,
+               NULL, rdnNormalize, rdnMatch,
+               octetStringIndexer, octetStringFilter,
+               NULL },
+
+#ifdef LDAP_COMP_MATCH
+       {"( 1.2.36.79672281.1.13.2 NAME 'componentFilterMatch' "
+               "SYNTAX 1.2.36.79672281.1.5.2 )",
+               SLAP_MR_EXT|SLAP_MR_COMPONENT, componentFilterMatchSyntaxes,
+               NULL, NULL , componentFilterMatch,
+               octetStringIndexer, octetStringFilter,
+               NULL },
+
+        {"( 1.2.36.79672281.1.13.6 NAME 'allComponentsMatch' "
+                "SYNTAX 1.2.36.79672281.1.5.3 )",
+                SLAP_MR_EQUALITY|SLAP_MR_EXT|SLAP_MR_COMPONENT, NULL,
+                NULL, NULL , allComponentsMatch,
+                octetStringIndexer, octetStringFilter,
+                NULL },
+
+        {"( 1.2.36.79672281.1.13.7 NAME 'directoryComponentsMatch' "
+                "SYNTAX 1.2.36.79672281.1.5.3 )",
+                SLAP_MR_EQUALITY|SLAP_MR_EXT|SLAP_MR_COMPONENT, NULL,
+                NULL, NULL , directoryComponentsMatch,
+                octetStringIndexer, octetStringFilter,
+                NULL },
+#endif
+
        {"( 2.5.13.2 NAME 'caseIgnoreMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.15 )",
                SLAP_MR_EQUALITY | SLAP_MR_EXT, directoryStringSyntaxes,
@@ -2639,8 +3610,8 @@ static slap_mrule_defs_rec mrule_defs[] = {
 
        {"( 2.5.13.4 NAME 'caseIgnoreSubstringsMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.58 )",
-               SLAP_MR_SUBSTR, NULL,
-               NULL, UTF8StringNormalize, octetStringSubstringsMatch,
+               SLAP_MR_SUBSTR, directoryStringSyntaxes,
+               NULL, UTF8StringNormalize, directoryStringSubstringsMatch,
                octetStringSubstringsIndexer, octetStringSubstringsFilter,
                "caseIgnoreMatch" },
 
@@ -2661,17 +3632,24 @@ static slap_mrule_defs_rec mrule_defs[] = {
        {"( 2.5.13.7 NAME 'caseExactSubstringsMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.58 )",
                SLAP_MR_SUBSTR, directoryStringSyntaxes,
-               NULL, UTF8StringNormalize, octetStringSubstringsMatch,
+               NULL, UTF8StringNormalize, directoryStringSubstringsMatch,
                octetStringSubstringsIndexer, octetStringSubstringsFilter,
                "caseExactMatch" },
 
        {"( 2.5.13.8 NAME 'numericStringMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.36 )",
                SLAP_MR_EQUALITY | SLAP_MR_EXT, NULL,
-               NULL, numericStringNormalize, octetStringSubstringsMatch,
-               octetStringSubstringsIndexer, octetStringSubstringsFilter,
+               NULL, numericStringNormalize, octetStringMatch,
+               octetStringIndexer, octetStringFilter,
                NULL },
 
+       {"( 2.5.13.9 NAME 'numericStringOrderingMatch' "
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.36 )",
+               SLAP_MR_ORDERING, NULL,
+               NULL, numericStringNormalize, octetStringOrderingMatch,
+               NULL, NULL,
+               "numericStringMatch" },
+
        {"( 2.5.13.10 NAME 'numericStringSubstringsMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.58 )",
                SLAP_MR_SUBSTR, NULL,
@@ -2763,7 +3741,7 @@ static slap_mrule_defs_rec mrule_defs[] = {
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.34 )",
                SLAP_MR_EQUALITY | SLAP_MR_EXT, NULL,
                NULL, uniqueMemberNormalize, uniqueMemberMatch,
-               NULL, NULL,
+               uniqueMemberIndexer, uniqueMemberFilter,
                NULL },
 
        {"( 2.5.13.24 NAME 'protocolInformationMatch' "
@@ -2773,15 +3751,15 @@ static slap_mrule_defs_rec mrule_defs[] = {
 
        {"( 2.5.13.27 NAME 'generalizedTimeMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.24 )",
-               SLAP_MR_EQUALITY | SLAP_MR_EXT, NULL,
+               SLAP_MR_EQUALITY | SLAP_MR_EXT | SLAP_MR_ORDERED_INDEX, NULL,
                NULL, generalizedTimeNormalize, octetStringMatch,
-               NULL, NULL,
+               generalizedTimeIndexer, generalizedTimeFilter,
                NULL },
 
        {"( 2.5.13.28 NAME 'generalizedTimeOrderingMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.24 )",
-               SLAP_MR_ORDERING, NULL,
-               NULL, generalizedTimeNormalize, octetStringOrderingMatch,
+               SLAP_MR_ORDERING | SLAP_MR_ORDERED_INDEX, NULL,
+               NULL, generalizedTimeNormalize, generalizedTimeOrderingMatch,
                NULL, NULL,
                "generalizedTimeMatch" },
 
@@ -2801,14 +3779,27 @@ static slap_mrule_defs_rec mrule_defs[] = {
                octetStringIndexer, octetStringFilter,
                NULL },
 
-#ifdef HAVE_TLS
        {"( 2.5.13.34 NAME 'certificateExactMatch' "
                "SYNTAX 1.2.826.0.1.3344810.7.1 )",
                SLAP_MR_EQUALITY | SLAP_MR_EXT, certificateExactMatchSyntaxes,
+#ifdef HAVE_TLS
                NULL, certificateExactNormalize, octetStringMatch,
                octetStringIndexer, octetStringFilter,
+#else
+               NULL, NULL, NULL, NULL, NULL,
+#endif
                NULL },
+
+       {"( 2.5.13.35 NAME 'certificateMatch' "
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.8 )",
+               SLAP_MR_EQUALITY | SLAP_MR_EXT, NULL,
+#ifdef HAVE_TLS
+               NULL, NULL, octetStringMatch,
+               octetStringIndexer, octetStringFilter,
+#else
+               NULL, NULL, NULL, NULL, NULL,
 #endif
+               NULL },
 
        {"( 1.3.6.1.4.1.1466.109.114.1 NAME 'caseExactIA5Match' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.26 )",
@@ -2827,14 +3818,14 @@ static slap_mrule_defs_rec mrule_defs[] = {
        {"( 1.3.6.1.4.1.1466.109.114.3 NAME 'caseIgnoreIA5SubstringsMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.26 )",
                SLAP_MR_SUBSTR, NULL,
-               NULL, IA5StringNormalize, octetStringSubstringsMatch,
+               NULL, IA5StringNormalize, directoryStringSubstringsMatch,
                octetStringSubstringsIndexer, octetStringSubstringsFilter,
                "caseIgnoreIA5Match" },
 
        {"( 1.3.6.1.4.1.4203.1.2.1 NAME 'caseExactIA5SubstringsMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.26 )",
                SLAP_MR_SUBSTR, NULL,
-               NULL, IA5StringNormalize, octetStringSubstringsMatch,
+               NULL, IA5StringNormalize, directoryStringSubstringsMatch,
                octetStringSubstringsIndexer, octetStringSubstringsFilter,
                "caseExactIA5Match" },
 
@@ -2848,15 +3839,6 @@ static slap_mrule_defs_rec mrule_defs[] = {
                NULL},
 #endif
 
-#ifdef SLAPD_ACI_ENABLED
-       {"( 1.3.6.1.4.1.4203.666.4.2 NAME 'OpenLDAPaciMatch' "
-               "SYNTAX 1.3.6.1.4.1.4203.666.2.1 )",
-               SLAP_MR_HIDE | SLAP_MR_EQUALITY, NULL,
-               NULL, NULL, OpenLDAPaciMatch,
-               NULL, NULL,
-               NULL},
-#endif
-
        {"( 1.2.840.113556.1.4.803 NAME 'integerBitAndMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.27 )",
                SLAP_MR_EXT, NULL,
@@ -2871,6 +3853,44 @@ static slap_mrule_defs_rec mrule_defs[] = {
                NULL, NULL,
                "integerMatch" },
 
+       {"( 1.3.6.1.1.16.2 NAME 'UUIDMatch' "
+               "SYNTAX 1.3.6.1.1.16.1 )",
+               SLAP_MR_EQUALITY, NULL,
+               NULL, UUIDNormalize, octetStringMatch,
+               octetStringIndexer, octetStringFilter,
+               NULL},
+
+       {"( 1.3.6.1.1.16.3 NAME 'UUIDOrderingMatch' "
+               "SYNTAX 1.3.6.1.1.16.1 )",
+               SLAP_MR_ORDERING, NULL,
+               NULL, UUIDNormalize, octetStringOrderingMatch,
+               octetStringIndexer, octetStringFilter,
+               "UUIDMatch"},
+
+       {"( 1.3.6.1.4.1.4203.666.11.2.2 NAME 'CSNMatch' "
+               "SYNTAX 1.3.6.1.4.1.4203.666.11.2.1 )",
+               SLAP_MR_HIDE | SLAP_MR_EQUALITY | SLAP_MR_ORDERED_INDEX, NULL,
+               NULL, NULL, csnMatch,
+               csnIndexer, csnFilter,
+               NULL},
+
+       {"( 1.3.6.1.4.1.4203.666.11.2.3 NAME 'CSNOrderingMatch' "
+               "SYNTAX 1.3.6.1.4.1.4203.666.11.2.1 )",
+               SLAP_MR_HIDE | SLAP_MR_ORDERING | SLAP_MR_ORDERED_INDEX, NULL,
+               NULL, NULL, csnOrderingMatch,
+               NULL, NULL,
+               "CSNMatch" },
+
+#ifdef SLAP_AUTHZ_SYNTAX
+       /* FIXME: OID is unused, but not registered yet */
+       {"( 1.3.6.1.4.1.4203.666.4.12 NAME 'authzMatch' "
+               "SYNTAX 1.3.6.1.4.1.4203.666.2.7 )",
+               SLAP_MR_HIDE | SLAP_MR_EQUALITY, NULL,
+               NULL, authzNormalize, authzMatch,
+               NULL, NULL,
+               NULL},
+#endif /* SLAP_AUTHZ_SYNTAX */
+
        {NULL, SLAP_MR_NONE, NULL,
                NULL, NULL, NULL, NULL, NULL,
                NULL }
@@ -2929,4 +3949,7 @@ schema_destroy( void )
        mr_destroy();
        mru_destroy();
        syn_destroy();
+
+       ldap_pvt_thread_mutex_destroy( &ad_undef_mutex );
+       ldap_pvt_thread_mutex_destroy( &oc_undef_mutex );
 }