subversion/libsvn_wc/wc-checks.sql - subversion - Git at Google

 /* wc-checks.sql -- trigger-based checks for the wc-metadata database.
  *     This is intended for use with SQLite 3
  *
  * ====================================================================
  *    Licensed to the Apache Software Foundation (ASF) under one
  *    or more contributor license agreements.  See the NOTICE file
  *    distributed with this work for additional information
  *    regarding copyright ownership.  The ASF licenses this file
  *    to you under the Apache License, Version 2.0 (the
  *    "License"); you may not use this file except in compliance
  *    with the License.  You may obtain a copy of the License at
  *
  *      http://www.apache.org/licenses/LICENSE-2.0
  *
  *    Unless required by applicable law or agreed to in writing,
  *    software distributed under the License is distributed on an
  *    "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
  *    KIND, either express or implied.  See the License for the
  *    specific language governing permissions and limitations
  *    under the License.
  * ====================================================================
  */


 -- STMT_VERIFICATION_TRIGGERS

 /* ------------------------------------------------------------------------- */

 CREATE TEMPORARY TRIGGER no_repository_updates BEFORE UPDATE ON repository
 BEGIN
   SELECT RAISE(FAIL, 'Updates to REPOSITORY are not allowed.');
 END;

 /* ------------------------------------------------------------------------- */

 /* Verify: on every NODES row: parent_relpath is parent of local_relpath */
 CREATE TEMPORARY TRIGGER validation_01 BEFORE INSERT ON nodes
 WHEN NOT ((new.local_relpath = '' AND new.parent_relpath IS NULL)
           OR (relpath_depth(new.local_relpath)
               = relpath_depth(new.parent_relpath) + 1))
 BEGIN
   SELECT RAISE(FAIL, 'WC DB validity check 01 failed');
 END;

 /* Verify: on every NODES row: its op-depth <= its own depth */
 CREATE TEMPORARY TRIGGER validation_02 BEFORE INSERT ON nodes
 WHEN NOT new.op_depth <= relpath_depth(new.local_relpath)
 BEGIN
   SELECT RAISE(FAIL, 'WC DB validity check 02 failed');
 END;

 /* Verify: on every NODES row: it is an op-root or it has a parent with the
     sames op-depth. (Except when the node is a file external) */
 CREATE TEMPORARY TRIGGER validation_03 BEFORE INSERT ON nodes
 WHEN NOT (
     (new.op_depth = relpath_depth(new.local_relpath))
     OR
     (EXISTS (SELECT 1 FROM nodes
               WHERE wc_id = new.wc_id AND op_depth = new.op_depth
                 AND local_relpath = new.parent_relpath))
   )
  AND NOT (new.file_external IS NOT NULL AND new.op_depth = 0)
 BEGIN
   SELECT RAISE(FAIL, 'WC DB validity check 03 failed');
 END;

 /* Verify: on every ACTUAL row (except root): a NODES row exists at its
  * parent path. */
 CREATE TEMPORARY TRIGGER validation_04 BEFORE INSERT ON actual_node
 WHEN NOT (new.local_relpath = ''
           OR EXISTS (SELECT 1 FROM nodes
                        WHERE wc_id = new.wc_id
                          AND local_relpath = new.parent_relpath))
 BEGIN
   SELECT RAISE(FAIL, 'WC DB validity check 04 failed');
 END;

 -- STMT_STATIC_VERIFY
 SELECT local_relpath, op_depth, 1, 'Invalid parent relpath set in NODES'
 FROM nodes n WHERE local_relpath != ''
  AND (parent_relpath IS NULL
       OR NOT IS_STRICT_DESCENDANT_OF(local_relpath, parent_relpath)
       OR relpath_depth(local_relpath) != relpath_depth(parent_relpath)+1)

 UNION ALL

 SELECT local_relpath, -1, 2, 'Invalid parent relpath set in ACTUAL'
 FROM actual_node a WHERE local_relpath != ''
  AND (parent_relpath IS NULL
       OR NOT IS_STRICT_DESCENDANT_OF(local_relpath, parent_relpath)
       OR relpath_depth(local_relpath) != relpath_depth(parent_relpath)+1)

 UNION ALL

 /* All ACTUAL nodes must have an equivalent NODE in NODES
    or be only one level deep (delete-delete tc) */
 SELECT local_relpath, -1, 10, 'No ancestor in ACTUAL'
 FROM actual_node a WHERE local_relpath != ''
  AND NOT EXISTS(SELECT 1 from nodes i
                 WHERE i.wc_id=a.wc_id
                   AND i.local_relpath=a.parent_relpath)
  AND NOT EXISTS(SELECT 1 from nodes i
                 WHERE i.wc_id=a.wc_id
                   AND i.local_relpath=a.local_relpath)

 UNION ALL
 /* Verify if the ACTUAL data makes sense for the related node.
    Only conflict data is valid if there is none */
 SELECT a.local_relpath, -1, 11, 'Bad or Unneeded actual data'
 FROM actual_node a
 LEFT JOIN nodes n on n.wc_id = a.wc_id AND n.local_relpath = a.local_relpath
    AND n.op_depth = (SELECT MAX(op_depth) from nodes i
                      WHERE i.wc_id=a.wc_id AND i.local_relpath=a.local_relpath)
 WHERE (a.properties IS NOT NULL
        AND (n.presence IS NULL
             OR n.presence NOT IN (MAP_NORMAL, MAP_INCOMPLETE)))
    OR (a.changelist IS NOT NULL AND (n.kind IS NOT NULL AND n.kind != MAP_FILE))
    OR (a.conflict_data IS NULL AND a.properties IS NULL AND a.changelist IS NULL)
  AND NOT EXISTS(SELECT 1 from nodes i
                 WHERE i.wc_id=a.wc_id
                   AND i.local_relpath=a.parent_relpath)

 UNION ALL

 /* A parent node must exist for every normal node except the root.
    That node must exist at a lower or equal op-depth */
 SELECT local_relpath, op_depth, 20, 'No ancestor in NODES'
 FROM nodes n WHERE local_relpath != ''
  AND file_external IS NULL
  AND NOT EXISTS(SELECT 1 from nodes i
                 WHERE i.wc_id=n.wc_id
                   AND i.local_relpath=n.parent_relpath
                   AND i.op_depth <= n.op_depth)

 UNION ALL
 /* If a node is not present in the working copy (normal, add, copy) it doesn't
    have revision details stored on this record */
 SELECT local_relpath, op_depth, 21, 'Unneeded node data'
 FROM nodes
 WHERE presence NOT IN (MAP_NORMAL, MAP_INCOMPLETE)
 AND (properties IS NOT NULL
      OR checksum IS NOT NULL
      OR depth IS NOT NULL
      OR symlink_target IS NOT NULL
      OR changed_revision IS NOT NULL
      OR (changed_date IS NOT NULL AND changed_date != 0)
      OR changed_author IS NOT NULL
      OR translated_size IS NOT NULL
      OR last_mod_time IS NOT NULL
      OR dav_cache IS NOT NULL
      OR file_external IS NOT NULL
      OR inherited_props IS NOT NULL)

 UNION ALL
 /* base-deleted nodes don't have a repository location. They are just
    shadowing without a replacement */
 SELECT local_relpath, op_depth, 22, 'Unneeded base-deleted node data'
 FROM nodes
 WHERE presence IN (MAP_BASE_DELETED)
 AND (repos_id IS NOT NULL
      OR repos_path IS NOT NULL
      OR revision IS NOT NULL)

 UNION ALL
 /* Verify if type specific data is set (or not set for wrong type) */
 SELECT local_relpath, op_depth, 23, 'Kind specific data invalid on normal'
 FROM nodes
 WHERE presence IN (MAP_NORMAL, MAP_INCOMPLETE)
 AND (kind IS NULL
      OR (repos_path IS NULL
          AND (properties IS NOT NULL
               OR changed_revision IS NOT NULL
               OR changed_author IS NOT NULL
               OR (changed_date IS NOT NULL AND changed_date != 0)))
      OR (CASE WHEN kind = MAP_FILE AND repos_path IS NOT NULL
                                    THEN checksum IS NULL
                                    ELSE checksum IS NOT NULL END)
      OR (CASE WHEN kind = MAP_DIR THEN depth IS NULL
                                   ELSE depth IS NOT NULL END)
      OR (CASE WHEN kind = MAP_SYMLINK THEN symlink_target IS NULL
                                       ELSE symlink_target IS NOT NULL END))

 UNION ALL
 /* Local-adds are always their own operation (read: they don't have
    op-depth descendants, nor are op-depth descendants */
 SELECT local_relpath, op_depth, 24, 'Invalid op-depth for local add'
 FROM nodes
 WHERE presence IN (MAP_NORMAL, MAP_INCOMPLETE)
   AND repos_path IS NULL
   AND op_depth != relpath_depth(local_relpath)

 UNION ALL
 /* op-depth descendants are only valid if they have a direct parent
    node at the same op-depth. Only certain types allow further
    descendants */
 SELECT local_relpath, op_depth, 25, 'Node missing op-depth ancestor'
 FROM nodes n
 WHERE op_depth < relpath_depth(local_relpath)
   AND file_external IS NULL
   AND NOT EXISTS(SELECT 1 FROM nodes p
                  WHERE p.wc_id=n.wc_id AND p.local_relpath=n.parent_relpath
                    AND p.op_depth=n.op_depth
                    AND (p.presence IN (MAP_NORMAL, MAP_INCOMPLETE)
                         OR (p.presence IN (MAP_BASE_DELETED, MAP_NOT_PRESENT)
                             AND n.presence = MAP_BASE_DELETED)))

 UNION ALL
 /* Present op-depth descendants have the repository location implied by their
    ancestor */
 SELECT n.local_relpath, n.op_depth, 26, 'Copied descendant mismatch'
 FROM nodes n
 JOIN nodes p
   ON p.wc_id=n.wc_id AND p.local_relpath=n.parent_relpath
   AND n.op_depth=p.op_depth
 WHERE n.op_depth > 0 AND n.presence IN (MAP_NORMAL, MAP_INCOMPLETE)
    AND (n.repos_id != p.repos_id
         OR n.repos_path !=
            RELPATH_SKIP_JOIN(n.parent_relpath, p.repos_path, n.local_relpath)
         OR n.revision != p.revision
         OR p.kind != MAP_DIR
         OR n.moved_here IS NOT p.moved_here)

 UNION ALL
 /* Only certain presence values are valid as op-root.
    Note that the wc-root always has presence normal or incomplete */
 SELECT n.local_relpath, n.op_depth, 27, 'Invalid op-root presence'
 FROM nodes n
 WHERE n.op_depth = relpath_depth(local_relpath)
   AND presence NOT IN (MAP_NORMAL, MAP_INCOMPLETE, MAP_BASE_DELETED)

 UNION ALL
 /* If a node is shadowed, all its present op-depth descendants
    must be shadowed at the same op-depth as well */
 SELECT n.local_relpath, s.op_depth, 28, 'Incomplete shadowing'
 FROM nodes n
 JOIN nodes s ON s.wc_id=n.wc_id AND s.local_relpath=n.local_relpath
  AND s.op_depth = relpath_depth(s.local_relpath)
  AND s.op_depth = (SELECT MIN(op_depth) FROM nodes d
                    WHERE d.wc_id=s.wc_id AND d.local_relpath=s.local_relpath
                      AND d.op_depth > n.op_depth)
 WHERE n.presence IN (MAP_NORMAL, MAP_INCOMPLETE)
   AND EXISTS(SELECT 1
              FROM nodes dn
              WHERE dn.wc_id=n.wc_id AND dn.op_depth=n.op_depth
                AND dn.presence IN (MAP_NORMAL, MAP_INCOMPLETE)
                AND IS_STRICT_DESCENDANT_OF(dn.local_relpath, n.local_relpath)
                AND dn.file_external IS NULL
                AND NOT EXISTS(SELECT 1
                               FROM nodes ds
                               WHERE ds.wc_id=n.wc_id AND ds.op_depth=s.op_depth
                                 AND ds.local_relpath=dn.local_relpath))

 UNION ALL
 /* A base-delete is only valid if it directly deletes a present node */
 SELECT s.local_relpath, s.op_depth, 29, 'Invalid base-delete'
 FROM nodes s
 LEFT JOIN nodes n ON n.wc_id=s.wc_id AND n.local_relpath=s.local_relpath
  AND n.op_depth = (SELECT MAX(op_depth) FROM nodes d
                    WHERE d.wc_id=s.wc_id AND d.local_relpath=s.local_relpath
                      AND d.op_depth < s.op_depth)
 WHERE s.presence = MAP_BASE_DELETED
   AND (n.presence IS NULL
        OR n.presence NOT IN (MAP_NORMAL, MAP_INCOMPLETE)
        /*OR n.kind != s.kind*/)

 UNION ALL
 /* Moves are stored in the working layers, not in BASE */
 SELECT n.local_relpath, n.op_depth, 30, 'Invalid data for BASE'
 FROM nodes n
 WHERE n.op_depth = 0
   AND (n.moved_to IS NOT NULL
        OR n.moved_here IS NOT NULL)

 UNION ALL
 /* If moved_here is set on an op-root, there must be a proper moved_to */
 SELECT d.local_relpath, d.op_depth, 60, 'Moved here without origin'
 FROM nodes d
 WHERE d.op_depth = relpath_depth(d.local_relpath)
   AND d.moved_here IS NOT NULL
   AND NOT EXISTS(SELECT 1 FROM nodes s
                  WHERE s.wc_id = d.wc_id AND s.moved_to = d.local_relpath)

 UNION ALL
 /* If moved_to is set there should be an moved op root at the target */
 SELECT s.local_relpath, s.op_depth, 61, 'Moved to without target'
 FROM nodes s
 WHERE s.moved_to IS NOT NULL
   AND NOT EXISTS(SELECT 1 FROM nodes d
                  WHERE d.wc_id = s.wc_id AND d.local_relpath = s.moved_to
                    AND d.op_depth = relpath_depth(d.local_relpath)
                    AND d.moved_here =1 AND d.repos_path IS NOT NULL)
	/* wc-checks.sql -- trigger-based checks for the wc-metadata database.
	* This is intended for use with SQLite 3
	*
	* ====================================================================
	* Licensed to the Apache Software Foundation (ASF) under one
	* or more contributor license agreements. See the NOTICE file
	* distributed with this work for additional information
	* regarding copyright ownership. The ASF licenses this file
	* to you under the Apache License, Version 2.0 (the
	* "License"); you may not use this file except in compliance
	* with the License. You may obtain a copy of the License at
	*
	* http://www.apache.org/licenses/LICENSE-2.0
	*
	* Unless required by applicable law or agreed to in writing,
	* software distributed under the License is distributed on an
	* "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
	* KIND, either express or implied. See the License for the
	* specific language governing permissions and limitations
	* under the License.
	* ====================================================================
	*/


	-- STMT_VERIFICATION_TRIGGERS

	/* ------------------------------------------------------------------------- */

	CREATE TEMPORARY TRIGGER no_repository_updates BEFORE UPDATE ON repository
	BEGIN
	SELECT RAISE(FAIL, 'Updates to REPOSITORY are not allowed.');
	END;

	/* ------------------------------------------------------------------------- */

	/* Verify: on every NODES row: parent_relpath is parent of local_relpath */
	CREATE TEMPORARY TRIGGER validation_01 BEFORE INSERT ON nodes
	WHEN NOT ((new.local_relpath = '' AND new.parent_relpath IS NULL)
	OR (relpath_depth(new.local_relpath)
	= relpath_depth(new.parent_relpath) + 1))
	BEGIN
	SELECT RAISE(FAIL, 'WC DB validity check 01 failed');
	END;

	/* Verify: on every NODES row: its op-depth <= its own depth */
	CREATE TEMPORARY TRIGGER validation_02 BEFORE INSERT ON nodes
	WHEN NOT new.op_depth <= relpath_depth(new.local_relpath)
	BEGIN
	SELECT RAISE(FAIL, 'WC DB validity check 02 failed');
	END;

	/* Verify: on every NODES row: it is an op-root or it has a parent with the
	sames op-depth. (Except when the node is a file external) */
	CREATE TEMPORARY TRIGGER validation_03 BEFORE INSERT ON nodes
	WHEN NOT (
	(new.op_depth = relpath_depth(new.local_relpath))
	OR
	(EXISTS (SELECT 1 FROM nodes
	WHERE wc_id = new.wc_id AND op_depth = new.op_depth
	AND local_relpath = new.parent_relpath))
	)
	AND NOT (new.file_external IS NOT NULL AND new.op_depth = 0)
	BEGIN
	SELECT RAISE(FAIL, 'WC DB validity check 03 failed');
	END;

	/* Verify: on every ACTUAL row (except root): a NODES row exists at its
	* parent path. */
	CREATE TEMPORARY TRIGGER validation_04 BEFORE INSERT ON actual_node
	WHEN NOT (new.local_relpath = ''
	OR EXISTS (SELECT 1 FROM nodes
	WHERE wc_id = new.wc_id
	AND local_relpath = new.parent_relpath))
	BEGIN
	SELECT RAISE(FAIL, 'WC DB validity check 04 failed');
	END;

	-- STMT_STATIC_VERIFY
	SELECT local_relpath, op_depth, 1, 'Invalid parent relpath set in NODES'
	FROM nodes n WHERE local_relpath != ''
	AND (parent_relpath IS NULL
	OR NOT IS_STRICT_DESCENDANT_OF(local_relpath, parent_relpath)
	OR relpath_depth(local_relpath) != relpath_depth(parent_relpath)+1)

	UNION ALL

	SELECT local_relpath, -1, 2, 'Invalid parent relpath set in ACTUAL'
	FROM actual_node a WHERE local_relpath != ''
	AND (parent_relpath IS NULL
	OR NOT IS_STRICT_DESCENDANT_OF(local_relpath, parent_relpath)
	OR relpath_depth(local_relpath) != relpath_depth(parent_relpath)+1)

	UNION ALL

	/* All ACTUAL nodes must have an equivalent NODE in NODES
	or be only one level deep (delete-delete tc) */
	SELECT local_relpath, -1, 10, 'No ancestor in ACTUAL'
	FROM actual_node a WHERE local_relpath != ''
	AND NOT EXISTS(SELECT 1 from nodes i
	WHERE i.wc_id=a.wc_id
	AND i.local_relpath=a.parent_relpath)
	AND NOT EXISTS(SELECT 1 from nodes i
	WHERE i.wc_id=a.wc_id
	AND i.local_relpath=a.local_relpath)

	UNION ALL
	/* Verify if the ACTUAL data makes sense for the related node.
	Only conflict data is valid if there is none */
	SELECT a.local_relpath, -1, 11, 'Bad or Unneeded actual data'
	FROM actual_node a
	LEFT JOIN nodes n on n.wc_id = a.wc_id AND n.local_relpath = a.local_relpath
	AND n.op_depth = (SELECT MAX(op_depth) from nodes i
	WHERE i.wc_id=a.wc_id AND i.local_relpath=a.local_relpath)
	WHERE (a.properties IS NOT NULL
	AND (n.presence IS NULL
	OR n.presence NOT IN (MAP_NORMAL, MAP_INCOMPLETE)))
	OR (a.changelist IS NOT NULL AND (n.kind IS NOT NULL AND n.kind != MAP_FILE))
	OR (a.conflict_data IS NULL AND a.properties IS NULL AND a.changelist IS NULL)
	AND NOT EXISTS(SELECT 1 from nodes i
	WHERE i.wc_id=a.wc_id
	AND i.local_relpath=a.parent_relpath)

	UNION ALL

	/* A parent node must exist for every normal node except the root.
	That node must exist at a lower or equal op-depth */
	SELECT local_relpath, op_depth, 20, 'No ancestor in NODES'
	FROM nodes n WHERE local_relpath != ''
	AND file_external IS NULL
	AND NOT EXISTS(SELECT 1 from nodes i
	WHERE i.wc_id=n.wc_id
	AND i.local_relpath=n.parent_relpath
	AND i.op_depth <= n.op_depth)

	UNION ALL
	/* If a node is not present in the working copy (normal, add, copy) it doesn't
	have revision details stored on this record */
	SELECT local_relpath, op_depth, 21, 'Unneeded node data'
	FROM nodes
	WHERE presence NOT IN (MAP_NORMAL, MAP_INCOMPLETE)
	AND (properties IS NOT NULL
	OR checksum IS NOT NULL
	OR depth IS NOT NULL
	OR symlink_target IS NOT NULL
	OR changed_revision IS NOT NULL
	OR (changed_date IS NOT NULL AND changed_date != 0)
	OR changed_author IS NOT NULL
	OR translated_size IS NOT NULL
	OR last_mod_time IS NOT NULL
	OR dav_cache IS NOT NULL
	OR file_external IS NOT NULL
	OR inherited_props IS NOT NULL)

	UNION ALL
	/* base-deleted nodes don't have a repository location. They are just
	shadowing without a replacement */
	SELECT local_relpath, op_depth, 22, 'Unneeded base-deleted node data'
	FROM nodes
	WHERE presence IN (MAP_BASE_DELETED)
	AND (repos_id IS NOT NULL
	OR repos_path IS NOT NULL
	OR revision IS NOT NULL)

	UNION ALL
	/* Verify if type specific data is set (or not set for wrong type) */
	SELECT local_relpath, op_depth, 23, 'Kind specific data invalid on normal'
	FROM nodes
	WHERE presence IN (MAP_NORMAL, MAP_INCOMPLETE)
	AND (kind IS NULL
	OR (repos_path IS NULL
	AND (properties IS NOT NULL
	OR changed_revision IS NOT NULL
	OR changed_author IS NOT NULL
	OR (changed_date IS NOT NULL AND changed_date != 0)))
	OR (CASE WHEN kind = MAP_FILE AND repos_path IS NOT NULL
	THEN checksum IS NULL
	ELSE checksum IS NOT NULL END)
	OR (CASE WHEN kind = MAP_DIR THEN depth IS NULL
	ELSE depth IS NOT NULL END)
	OR (CASE WHEN kind = MAP_SYMLINK THEN symlink_target IS NULL
	ELSE symlink_target IS NOT NULL END))

	UNION ALL
	/* Local-adds are always their own operation (read: they don't have
	op-depth descendants, nor are op-depth descendants */
	SELECT local_relpath, op_depth, 24, 'Invalid op-depth for local add'
	FROM nodes
	WHERE presence IN (MAP_NORMAL, MAP_INCOMPLETE)
	AND repos_path IS NULL
	AND op_depth != relpath_depth(local_relpath)

	UNION ALL
	/* op-depth descendants are only valid if they have a direct parent
	node at the same op-depth. Only certain types allow further
	descendants */
	SELECT local_relpath, op_depth, 25, 'Node missing op-depth ancestor'
	FROM nodes n
	WHERE op_depth < relpath_depth(local_relpath)
	AND file_external IS NULL
	AND NOT EXISTS(SELECT 1 FROM nodes p
	WHERE p.wc_id=n.wc_id AND p.local_relpath=n.parent_relpath
	AND p.op_depth=n.op_depth
	AND (p.presence IN (MAP_NORMAL, MAP_INCOMPLETE)
	OR (p.presence IN (MAP_BASE_DELETED, MAP_NOT_PRESENT)
	AND n.presence = MAP_BASE_DELETED)))

	UNION ALL
	/* Present op-depth descendants have the repository location implied by their
	ancestor */
	SELECT n.local_relpath, n.op_depth, 26, 'Copied descendant mismatch'
	FROM nodes n
	JOIN nodes p
	ON p.wc_id=n.wc_id AND p.local_relpath=n.parent_relpath
	AND n.op_depth=p.op_depth
	WHERE n.op_depth > 0 AND n.presence IN (MAP_NORMAL, MAP_INCOMPLETE)
	AND (n.repos_id != p.repos_id
	OR n.repos_path !=
	RELPATH_SKIP_JOIN(n.parent_relpath, p.repos_path, n.local_relpath)
	OR n.revision != p.revision
	OR p.kind != MAP_DIR
	OR n.moved_here IS NOT p.moved_here)

	UNION ALL
	/* Only certain presence values are valid as op-root.
	Note that the wc-root always has presence normal or incomplete */
	SELECT n.local_relpath, n.op_depth, 27, 'Invalid op-root presence'
	FROM nodes n
	WHERE n.op_depth = relpath_depth(local_relpath)
	AND presence NOT IN (MAP_NORMAL, MAP_INCOMPLETE, MAP_BASE_DELETED)

	UNION ALL
	/* If a node is shadowed, all its present op-depth descendants
	must be shadowed at the same op-depth as well */
	SELECT n.local_relpath, s.op_depth, 28, 'Incomplete shadowing'
	FROM nodes n
	JOIN nodes s ON s.wc_id=n.wc_id AND s.local_relpath=n.local_relpath
	AND s.op_depth = relpath_depth(s.local_relpath)
	AND s.op_depth = (SELECT MIN(op_depth) FROM nodes d
	WHERE d.wc_id=s.wc_id AND d.local_relpath=s.local_relpath
	AND d.op_depth > n.op_depth)
	WHERE n.presence IN (MAP_NORMAL, MAP_INCOMPLETE)
	AND EXISTS(SELECT 1
	FROM nodes dn
	WHERE dn.wc_id=n.wc_id AND dn.op_depth=n.op_depth
	AND dn.presence IN (MAP_NORMAL, MAP_INCOMPLETE)
	AND IS_STRICT_DESCENDANT_OF(dn.local_relpath, n.local_relpath)
	AND dn.file_external IS NULL
	AND NOT EXISTS(SELECT 1
	FROM nodes ds
	WHERE ds.wc_id=n.wc_id AND ds.op_depth=s.op_depth
	AND ds.local_relpath=dn.local_relpath))

	UNION ALL
	/* A base-delete is only valid if it directly deletes a present node */
	SELECT s.local_relpath, s.op_depth, 29, 'Invalid base-delete'
	FROM nodes s
	LEFT JOIN nodes n ON n.wc_id=s.wc_id AND n.local_relpath=s.local_relpath
	AND n.op_depth = (SELECT MAX(op_depth) FROM nodes d
	WHERE d.wc_id=s.wc_id AND d.local_relpath=s.local_relpath
	AND d.op_depth < s.op_depth)
	WHERE s.presence = MAP_BASE_DELETED
	AND (n.presence IS NULL
	OR n.presence NOT IN (MAP_NORMAL, MAP_INCOMPLETE)
	/OR n.kind != s.kind/)

	UNION ALL
	/* Moves are stored in the working layers, not in BASE */
	SELECT n.local_relpath, n.op_depth, 30, 'Invalid data for BASE'
	FROM nodes n
	WHERE n.op_depth = 0
	AND (n.moved_to IS NOT NULL
	OR n.moved_here IS NOT NULL)

	UNION ALL
	/* If moved_here is set on an op-root, there must be a proper moved_to */
	SELECT d.local_relpath, d.op_depth, 60, 'Moved here without origin'
	FROM nodes d
	WHERE d.op_depth = relpath_depth(d.local_relpath)
	AND d.moved_here IS NOT NULL
	AND NOT EXISTS(SELECT 1 FROM nodes s
	WHERE s.wc_id = d.wc_id AND s.moved_to = d.local_relpath)

	UNION ALL
	/* If moved_to is set there should be an moved op root at the target */
	SELECT s.local_relpath, s.op_depth, 61, 'Moved to without target'
	FROM nodes s
	WHERE s.moved_to IS NOT NULL
	AND NOT EXISTS(SELECT 1 FROM nodes d
	WHERE d.wc_id = s.wc_id AND d.local_relpath = s.moved_to
	AND d.op_depth = relpath_depth(d.local_relpath)
	AND d.moved_here =1 AND d.repos_path IS NOT NULL)