A Hybrid Fragmentation Approach for Distributed Deductive Database Systems

被引:0
|
作者
Seung-Jin Lim
Yiu-Kai Ng
机构
[1] Computer Science Department,
[2] Brigham Young University,undefined
[3] Provo,undefined
[4] Utah,undefined
[5] USA,undefined
关键词
Keywords: Deductive databases; Distributed systems; Hybrid fragmentation; Horizontal fragmentation; Vertical fragmentation;
D O I
10.1007/PL00011666
中图分类号
学科分类号
摘要
Fragmentation of base relations in distributed database management systems increases the level of concurrency and therefore system throughput for query processing. Algorithms for horizontal and vertical fragmentation of relations in relational, object-oriented and deductive databases exist; however, hybrid fragmentation techniques based on variable bindings appearing in user queries and query-access-rule dependency are lacking for deductive database systems. In this paper, we propose a hybrid fragmentation approach for distributed deductive database systems. Our approach first considers the horizontal partition of base relations according to the bindings imposed on user queries, and then generates vertical fragments of the horizontally partitioned relations and clusters rules using affinity of attributes and access frequency of queries and rules. The proposed fragmentation technique facilitates the design of distributed deductive database systems.
引用
收藏
页码:198 / 224
页数:26
相关论文
共 50 条
  • [41] Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
    Taube, Marcelo
    Losa, Giuliano
    McMillan, Kenneth L.
    Padon, Oded
    Sagiv, Mooly
    Shoham, Sharon
    Wilcox, James R.
    Woos, Doug
    ACM SIGPLAN NOTICES, 2018, 53 (04) : 662 - 677
  • [42] Modularity for decidability of deductive verification with applications to distributed systems
    Taube M.
    Losa G.
    McMillan K.L.
    Padon O.
    Sagiv M.
    Shoham S.
    Wilcox J.R.
    Woos D.
    2018, Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States (53): : 662 - 677
  • [43] Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
    Taube, Marcelo
    Losa, Giuliano
    McMillan, Kenneth L.
    Padon, Oded
    Sagiv, Mooly
    Shoham, Sharon
    Wilcox, James R.
    Woos, Doug
    PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018, 2018, : 662 - 677
  • [44] The logic of totally and partially ordered plans: A deductive database approach
    Brogi, A
    Subrahmanian, VS
    Zaniolo, C
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 19 (1-2) : 27 - 58
  • [45] Deductive database security
    Barker, S
    RESEARCH DIRECTIONS IN DATA AND APPLICATIONS SECURITY, 2003, 128 : 103 - 114
  • [46] A deductive reasoning approach for database applications using verification conditions
    Alam, Md. Imran
    Halder, Raju
    Pinto, Jorge Sousa
    JOURNAL OF SYSTEMS AND SOFTWARE, 2021, 175
  • [47] A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
    Shang-Ching Chou
    Xiao-Shan Gao
    Jing-Zhong Zhang
    Journal of Automated Reasoning, 2000, 25 : 219 - 246
  • [48] The logic of totally and partially ordered plans: a deductive database approach
    Antonio Brogi
    V.S. Subrahmanian
    Carlo Zaniolo
    Annals of Mathematics and Artificial Intelligence, 1997, 19 : 27 - 58
  • [49] DEDUCTIVE DATABASE TOOLS
    TOPOR, RW
    KEDDIS, T
    WRIGHT, DW
    AUSTRALIAN COMPUTER JOURNAL, 1985, 17 (04): : 163 - 173
  • [50] Hybrid intelligent systems for predictive toxicology - A distributed approach
    Neagu, D
    Craciun, MV
    Stroia, SA
    Bumbaru, S
    5TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS, PROCEEDINGS, 2005, : 26 - 31