Efficient Processing of Reachability and Time-Based Path Queries in a Temporal Graph
时间图是其中顶点在特定时间彼此通信的图，例如，$A$在上午11点呼叫$B$，并通话7分钟，这是由从$A$到$B$的边建模的，起始时间为“上午11点”。“和持续时间“7分钟”。时态图可以用来建模许多网络与时间相关的活动，但有效的算法来分析时态图是严重不足。我们研究的基本问题，如回答可达性和基于时间的路径查询的时间图，并提出了一个高效的索引技术，专门设计用于处理这些查询的时间图。我们的实验结果表明，我们的方法是有效的和可扩展的索引建设和查询处理。
2016-01-25 cs.DB
Efficient Reachability Ratio Computation for 2-hop Labeling Scheme
可达性查询处理作为图的基本操作之一，在过去的几十年里得到了广泛的研究。许多方法遵循设计2跳标签的路线来进行加速。考虑到使用所有节点构造2跳标签时索引大小无法有界，研究者提出使用部分重要节点构造2跳标签（部分2跳标签），以覆盖尽可能多的可达性信息。然后，我们可以实现更好的查询性能与有限的索引大小和索引的建设时间。然而，部分2跳标签并不总是在不同的图上表现良好。在本文中，我们专注于如何有效地计算可达性比率的问题，以帮助用户确定是否部分2跳标签应用于回答给定图的可达性查询。直观地说，可达性比率表示可以由部分2跳标签回答的可达查询的数量与给定图中涉及的可达查询的总数的比率。讨论了可达比计算的困难，提出了一种增量-分区算法。实验结果表明，该算法能够有效地得到可达性比的结果，并说明了不同的部分2跳标签对查询性能的影响。基于实验结果，我们给出了我们的发现，部分2跳标签是否应该使用到给定的图可达性查询处理。
2022-03-05 cs.DB
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
Huazhong University of Science and Technology（华中科技大学）
针对复杂边标记有向图提出模式约束的可达性查询（PCR），并构建二维可达性（TDR）索引以高效修剪搜索空间，在16个数据集上优于现有技术。
2025-11-02 cs.DB cs.DS
DBL: Efficient Reachability Queries on Dynamic Graphs (Complete Version)
图的可达性查询是图的基本问题之一，在学术界和工业界都得到了广泛的研究。由于图在许多应用程序中经常更新，因此必须支持有效的图更新，同时在可达性查询中提供良好的性能。现有的解决方案使用有向无环图（DAG）压缩原始图，并提出有效的查询处理和索引更新技术。然而，他们专注于优化强连接组件（SCC）保持不变的场景，忽略了更新SCC时DAG维护的高昂成本。在本文中，我们提出了DBL，一个有效的无DAG索引，以支持可达性查询的动态图与插入只更新。DBL建立在两个互补的索引上：动态地标（DL）标签和双向叶（BL）标签。前者利用地标节点来快速确定可达对，而后者通过索引图中的叶节点来修剪不可达对。我们评估DBL对国家的最先进的方法动态可达性指标与广泛的实验在现实世界的数据集。结果表明，DBL在索引更新方面实现了数量级的加速，同时仍然产生有竞争力的查询效率。
2021-04-15 cs.DB
Performance Guarantees for Distributed Reachability Queries
在现实世界中，一个图通常是碎片化的，分布在不同的站点上。这突出了在分布式图上评估查询的需要。本文提出了三种类型的查询的分布式评估算法：可达性，以确定一个节点是否可以到达另一个，有界可达性，以确定是否存在一个有界长度的路径之间的一对节点，并定期可达性检查是否存在一个路径连接两个节点，使路径上的节点标签形成一个字符串在一个给定的正则表达式。我们开发这些算法的基础上部分评估，探索并行计算。当在分布图G上计算查询Q时，我们证明了这些算法具有以下性能保证，无论G如何分割和分布：（1）每个站点只被访问一次;（2）网络总流量由Q的大小和G的分割决定，与G的大小无关;（3）响应时间由G的最大片段而不是整个G决定。此外，我们表明，这些算法可以很容易地在MapReduce框架中实现。使用合成和现实生活中的数据，我们实验验证，这些算法是可扩展的大型图形，无论图形是如何分布。
2012-08-01 cs.DB
Optimizing Traversal Queries of Sensor Data Using a Rule-Based Reachability Approach
本文提出基于规则的可达性标准，利用链接数据文档中超媒体描述中的逻辑语句剪除不相关数据源，并通过修改Comunica引擎验证可显著减少HTTP请求和查询执行时间而不损失完整性。
2024-08-30 cs.DB
DAGGER: A Scalable Index for Reachability Queries in Large Dynamic Graphs
随着大规模图数据在各种应用领域的普遍存在，有效地查询它们是一个挑战。特别是，可达性查询变得越来越重要，特别是对于包含、包容和连接检查。尽管已经提出了许多方法来实现静态图的可达性，但许多现实世界的图都在不断发展，这就需要动态索引。在本文中，我们提出了一个完全动态的可达性指标的动态图。我们的方法称为DAGGER，是一种基于区间标记的轻量级索引，可扩展到百万节点图及更高。我们对真实世界和合成图进行了广泛的实验评估，证实了其对基线方法的有效性。
2013-01-06 cs.DB cs.DS
BitPath -- Label Order Constrained Reachability Queries over Large Graphs
在本文中，我们专注于边标记图（如RDF）上的以下约束可达性问题-“给定源节点x，目的节点y和一系列边标签（a，b，c，d），是否存在两个节点之间的路径，使得路径上的边标签满足正则表达式“*a.*”。b.* c.* d.* ".“a”前的“*”允许任何其他边标签出现在边“a”之前的路径上。“a.*“强制至少一个带有标签“a”的边。".*“a”之后的“b”允许在“a”之后和“b”之前有零个或多个边缘标签。我们的查询处理算法使用简单的分治和贪婪修剪过程来限制搜索空间。然而，我们的图索引技术-基于“压缩位向量”-允许索引大型图，否则将是不可行的。我们已经在具有超过2200万条边和600万个节点的图上评估了我们的方法-与当代路径查询工作中使用的数据集相比要大得多。
2012-03-13 cs.DB cs.DS
GeoReach: An Efficient Approach for Evaluating Graph Reachability Queries with Spatial Range Predicates
图被广泛用于在许多应用领域中对数据建模。由于启用GPS的设备的广泛使用，许多应用将空间属性分配给图顶点（例如，地理标记的社交媒体）。用户可以发出具有空间范围谓词（abbr. RangeReach）。RangeReach查找输入顶点是否可以到达位于输入空间范围内的任何空间顶点。RangeReach查询的一个例子是：给定一个社交图，查找Alice是否可以到达位于亚利桑那州立大学地理区域内的任何场所。本文提出了GeoReach的一种方法，增加了空间数据感知的图形数据库管理系统（GDBMS）。GeoReach允许高效执行RangeReach查询，但不会对整体系统的可扩展性（以存储大小和初始化/维护时间衡量）造成很大影响。为了实现这一点，GeoReach配备了一个轻量级的数据结构，即SPA-Graph，它通过空间索引目录增强了底层图形数据。当发出RangeReach查询时，系统采用修剪图遍历方法。基于Neo4j内部真实系统实现的实验证明，GEOREACH的查询响应时间比最先进的空间和可达性索引方法提高了两个数量级，存储量减少了四倍。
2016-03-17 cs.DB cs.SI
Efficient k-step Weighted Reachability Query Processing Algorithms
本文针对加权图中带权重约束的k步可达性查询问题，提出WKRI索引及基于剪枝策略的构建方法，还基于顶点覆盖集设计GWKRI、LWKRI优化索引，实验验证了方法的高效性。
2024-10-06 cs.DB
Efficient Reachability Query Evaluation in Large Spatiotemporal Contact Datasets
随着可靠定位技术的出现和基于位置的服务的流行，现在可以准确地研究诸如传染性病毒、敏感信息片段和恶意软件之类的项目通过移动对象的群体的传播，个人、移动设备和车辆。在这样的应用场景中，当两个对象足够接近（即，当它们处于所谓的接触中时），因此一旦一个项目被启动，它就可以通过对象之间的不断发展的接触网络（称为接触网络）渗透对象群体。在本文中，我们第一次定义和研究大规模的可达性查询（即，磁盘驻留的）联系人数据集，其记录在空间环境中移动的一组（可能很大的）对象在延长的时间段内的移动。可达性查询验证两个对象是否通过由这样的联系人数据集表示的演进的联系人网络是“可达的”。我们提出了两个接触数据集索引，使这种查询的有效评估，尽管潜在的巨大的接触数据集的大小。与第一个索引，称为ReachGrid，在查询时，只有一个小的必要部分的接触网络，这是所需的可达性评估的构造和遍历。使用第二种方法，称为ReachGraph，我们预先计算在不同的规模可达性，并利用这些预先计算在查询时进行高效的查询处理。我们优化了这两个索引在磁盘上的位置，使高效的索引遍历查询处理过程中。我们研究的优点和缺点，我们提出的方法进行了广泛的实验与真实和合成数据。基于我们的实验结果，我们提出的方法优于现有的可达性查询处理技术在接触N…[截断]。
2012-05-30 cs.DB
Answering Regular Path Queries on Workflow Provenance
本文提出了一种新的方法，有效地评估经常路径查询的起源图的工作流，可能包括递归。该方法假设工作流G的执行g使用现有技术被标记有查询不可知的可达性标签。在查询时，给定g，G和规则路径查询R，该方法将R分解成子查询R1，.，Rk对G是安全的。对于每个安全子查询Ri，G被重写，使得使用g中的节点的可达性标签，可以在恒定时间内判定两个节点之间是否存在与Ri匹配的路径。然后，每个安全子查询的结果被组合，可能有一些小的不安全余数，以产生R的答案。该方法的结果在一个算法，显着减少了现有技术的子查询k的数量，通过增加它们的大小和复杂性，并评估每个子查询的时间限制其输入和输出大小。实验结果证明了这种方法的好处。
2014-08-05 cs.DB
HL-index: Fast Reachability Query in Hypergraphs
The University of New South Wales（新南威尔士大学）；University of Technology Sydney（悉尼科技大学）
本文提出HL-index，一种针对超图max可达性查询的高效索引，通过快速覆盖关系检测和轻量级邻居索引提升查询效率。
2025-12-29 cs.DB
Labeling Workflow Views with Fine-Grained Dependencies
本文认为，有效地回答可达性查询的起源图的意见，来自执行工作流，可能包括递归的问题。这些视图包括复合模块和模块输入与输出之间的细粒度依赖关系模型。一种新的视图自适应动态标记方案的开发，高效的查询评价，其中视图规范被静态标记（即，因为他们被创建）和数据项被动态标记，因为他们是在工作流执行过程中产生的。虽然细粒度的依赖关系和递归工作流的组合需要，在一般情况下，长（线性大小）的数据标签，我们表明，对于一个大的自然类的工作流和视图，标签是紧凑的（几何尺寸）和可达性查询可以在恒定的时间进行评估。实验结果表明，这种方法的好处超过国家的最先进的技术时，适用于标记多个视图。
2012-08-01 cs.DB
High-Performance Reachability Query Processing under Index Size Restrictions
在本文中，我们提出了一个可扩展的和高效的索引结构的可达性问题的图。我们建立在著名的节点间隔标签计划，从一个特定的节点可达的顶点集是compensable编码为一个集合的节点标识符范围。我们施加一个明确的约束的索引的大小，并灵活地分配近似的可达性范围的节点的图形，这样的索引探针回答查询的数量最小化。如果空间预算增加，则所得到的可调索引结构生成更好的范围标记，从而提供对索引大小和查询处理性能之间的权衡的直接控制。通过使用一个快速的递归查询方法，结合我们的索引结构，我们表明，在实践中，可达性查询可以回答在微秒的顺序上的现成的计算机-即使是对的情况下，真实世界的图形。我们的主张得到了一组广泛的实验结果的支持，这些实验结果使用了大量的基准和真实世界的网络规模的图形数据集。
2012-11-29 cs.DB cs.SI
Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data
随着数据越来越多地被建模为用于表达复杂关系的图，图结构数据上的树模式查询成为现实世界应用中的重要查询类型。大多数实用的查询语言，如XQuery和SPARQL，都支持使用逻辑AND/OR/NOT运算符来定义树模式的结构约束的逻辑表达式。在本文中，（1）我们提出了广义树模式查询（GTPQs），它完全支持结构约束的命题逻辑。(2)本文深入研究了可满足性、包容性和极小化等基本问题，分析了这些问题的计算复杂性和决策过程。(3)我们提出了一个紧凑的图形表示的中间结果和修剪方法，以减少中间结果的大小和连接操作的数量-两个因素，往往损害传统算法的效率，用于评估树模式查询。(4)我们提出了一个有效的算法，用于评估GTPQs使用3跳作为底层的可达性指标。(5)在真实数据集和合成数据集上的实验证明了该算法的有效性和效率，在计算时间上比现有算法快了几倍到几个数量级，即使对于只使用合取操作的传统树模式查询也是如此.
2012-04-16 cs.DB
Dynamic Complexity under Definable Changes
本文在Patnaik和Immerman的DynFO框架下研究了可定义变更操作下的动态复杂性。它示出的变化定义的参数自由的一阶公式，所有（统一）$AC^1$查询可以保持一阶动态程序。进一步地，许多单元组变化的维护结果被扩展到更强大的变化操作：（1）无向图的可达性查询在单元组变化和一阶定义插入下是一阶维护，同样地，有向无环图的可达性查询在无量词插入下也是一阶维护。(2)上下文无关语言是在$Σ_1$定义的变化下的一阶维护。这些结果是补充了几个不可表达的结果，例如，可达性查询不能保持下定义的，无量词删除的无量词程序。
2017-01-10 cs.DB cs.LO
Dynamically Detect and Fix Hardness for Efficient Approximate Nearest Neighbor Search
College of Computer Science, Nankai University（南开大学计算机学院）；Alibaba Group Holding Limited（阿里巴巴集团控股有限公司）
针对近似最近邻搜索中OOD查询精度下降问题，提出Escape Hardness度量并分两阶段动态修复图缺陷，显著提升搜索速度与构建效率。
2025-10-25 cs.DB
