A label constraint reachability computation method on recursive partition

被引：0
|
作者：
College of Electronic Science and Engineering, National University of Defense Technology, Changsha [1 ]
410073, China
机构：
来源：
Guofang Keji Daxue Xuebao | / 5卷 / 98-104期
关键词：
Query processing;
D O I：
10.11887/j.cn.201405017
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] A hierarchical model for label constraint reachability computation
    Chen, Luo
    Wu, Ye
    Zhong, Zhinong
    Xiong, Wei
    Jing, Ning
    NEUROCOMPUTING, 2015, 162 : 67 - 84
  • [2] Computation method on scheduling reachability decision domain for timing constraint Petri nets
    Jisuanji Xuebao, 1 (34-39):
  • [3] Distance-Constraint Reachability Computation in Uncertain Graphs
    Jin, Ruoming
    Liu, Lin
    Ding, Bolin
    Wang, Haixun
    PROCEEDINGS OF THE VLDB ENDOWMENT, 2011, 4 (09): : 551 - 562
  • [4] Efficient Methods for Label-Constraint Reachability Query
    Du M.
    Yang Y.
    Zhou J.
    Chen Z.
    Yang A.
    Zhou, Junfeng (zhoujf@dhu.edu.cn), 1949, Science Press (57): : 1949 - 1960
  • [5] Label and Distance-Constraint Reachability Queries in Uncertain Graphs
    Chen, Minghan
    Gu, Yu
    Bao, Yubin
    Yu, Ge
    DATABASE SYSTEMS FOR ADVANCED APPLICATIONS, DASFAA 2014, PT I, 2014, 8421 : 188 - 202
  • [6] Efficient processing of label-constraint reachability queries in large graphs
    Zou, Lei
    Xu, Kun
    Yu, Jeffrey Xu
    Chen, Lei
    Xiao, Yanghua
    Zhao, Dongyan
    INFORMATION SYSTEMS, 2014, 40 : 47 - 66
  • [7] A Constraint-Pattern Based Method for Reachability Determination
    Wang, Yuexing
    Gu, Zuxing
    Cheng, Xi
    Zhou, Min
    Song, Xiaoyu
    Gu, Ming
    Sun, Jiaguang
    2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2017, : 85 - 90
  • [8] A Constraint Partition Method for Combinatorial Optimization Problems
    Onoda, Makoto
    Komatsu, Kazuhiko
    Kumagai, Masahito
    Sato, Masayuki
    Kobayashi, Hiroaki
    2023 IEEE 16TH INTERNATIONAL SYMPOSIUM ON EMBEDDED MULTICORE/MANY-CORE SYSTEMS-ON-CHIP, MCSOC, 2023, : 600 - 607
  • [9] RECURSIVE METHOD FOR CALCULATING CERTAIN PARTITION-FUNCTIONS
    WOODRUM, L
    TAVEL, M
    TAVEL, J
    AMERICAN JOURNAL OF PHYSICS, 1978, 46 (11) : 1151 - 1153
  • [10] A method of verifying partition congruences by symbolic computation
    Radu, Cristian-Silviu
    Smoot, Nicolas Allen
    JOURNAL OF SYMBOLIC COMPUTATION, 2021, 104 : 105 - 133
12345